Ausgabe 4/2018
special issue on Quantitative Models and Weighted Automata
Inhalt (23 Artikel)
Characterizations of recognizable weighted tree languages by logic and bimorphisms
Zoltán Fülöp, Heiko Vogler
A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
Barbara König, Sebastian Küpper
Compositionality for quantitative specifications
Uli Fahrenberg, Jan Křetínský, Axel Legay, Louis-Marie Traonouez
Objective reduction for many-objective optimization problems using objective subspace extraction
Naili Luo, Xia Li, Qiuzhen Lin
Efficient and secure outsourced approximate pattern matching protocol
Xiaochao Wei, Minghao Zhao, Qiuliang Xu
Reduced axioms for the propositional logics induced by basic algebras
Ivan Chajda, Miroslav Kolařík
The importance of implementation details and parameter settings in black-box optimization: a case study on Gaussian estimation-of-distribution algorithms and circles-in-a-square packing problems
Peter A. N. Bosman, Marcus Gallagher
Nearest neighbor search with locally weighted linear regression for heartbeat classification
Juyoung Park, Md Zakirul Alam Bhuiyan, Mingon Kang, Junggab Son, Kyungtae Kang
New distance measures on hesitant fuzzy sets based on the cardinality theory and their application in pattern recognition
Fangwei Zhang, Shuyan Chen, Jianbo Li, Weiwei Huang
Research on the measurement and evaluation of trusted cloud service
Zifei Ma, Rong Jiang, Ming Yang, Tong Li, Qiujin Zhang
Self-adaptive differential evolution algorithm with hybrid mutation operator for parameters identification of PMSM
Chuan Wang, Yancheng Liu, Xiaoling Liang, Haohao Guo, Yang Chen, Youtao Zhao
Heterogeneous investment in spatial public goods game with mixed strategy
Hong Ding, Yao Zhang, Yizhi Ren, Benyun Shi, Kim-Kwang Raymond Choo
A novel technical analysis-based method for stock market forecasting
Yuh-Jen Chen, Yuh-Min Chen, Shiang-Ting Tsao, Shu-Fan Hsieh
APDDE: self-adaptive parameter dynamics differential evolution algorithm
Hong-bo Wang, Xue-na Ren, Guo-qing Li, Xu-yan Tu
Adaptive harmony search with best-based search strategy
Zhaolu Guo, Huogen Yang, Shenwen Wang, Caiying Zhou, Xiaosheng Liu
Face image retrieval: super-resolution based on sketch-photo transformation
Shu Zhan, Jingjing Zhao, Yucheng Tang, Zhenzhu Xie
Study on centroid type-reduction of general type-2 fuzzy logic systems with weighted enhanced Karnik–Mendel algorithms
Yang Chen, Dazhi Wang