Skip to main content
main-content

Zeitschrift

Soft Computing

Soft Computing 4/2018

Ausgabe 4/2018

special issue on Quantitative Models and Weighted Automata

Inhaltsverzeichnis ( 23 Artikel )

23.01.2018 | Preface | Ausgabe 4/2018

Preface: Dedicated to the memory of Zoltán Ésik (1951–2016)

Manfred Droste, Kim G. Larsen

29.05.2015 | Focus | Ausgabe 4/2018

Characterizations of recognizable weighted tree languages by logic and bimorphisms

Zoltán Fülöp, Heiko Vogler

29.12.2015 | Focus | Ausgabe 4/2018

A unifying survey on weighted logics and weighted automata

Core weighted logic: minimal and versatile specification of quantitative properties
Paul Gastin, Benjamin Monmege

11.05.2016 | Focus | Ausgabe 4/2018

Weighted restarting automata

Friedrich Otto, Qichao Wang

06.06.2016 | Focus | Ausgabe 4/2018

On decidability of recursive weighted logics

Kim G. Larsen, Radu Mardare, Bingtian Xue

26.09.2016 | Focus | Ausgabe 4/2018

A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata

Barbara König, Sebastian Küpper

30.01.2017 | Focus | Ausgabe 4/2018

Weighted finite automata with output

Jelena Ignjatović, Miroslav Ćirić, Zorana Jančić

24.02.2017 | Focus | Ausgabe 4/2018

Compositionality for quantitative specifications

Uli Fahrenberg, Jan Křetínský, Axel Legay, Louis-Marie Traonouez

09.02.2017 | Foundations | Ausgabe 4/2018

Objective reduction for many-objective optimization problems using objective subspace extraction

Naili Luo, Xia Li, Qiuzhen Lin

29.03.2017 | Foundations | Ausgabe 4/2018

Efficient and secure outsourced approximate pattern matching protocol

Xiaochao Wei, Minghao Zhao, Qiuliang Xu

15.05.2017 | Foundations | Ausgabe 4/2018

Commutative deductive systems of pseudo-BCK-algebras

Lavinia Corina Ciungu

05.05.2017 | Foundations | Ausgabe 4/2018

Reduced axioms for the propositional logics induced by basic algebras

Ivan Chajda, Miroslav Kolařík

15.10.2016 | Methodologies and Application | Ausgabe 4/2018

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

21.10.2016 | Methodologies and Application | Ausgabe 4/2018

Nearest neighbor search with locally weighted linear regression for heartbeat classification

Juyoung Park, Md Zakirul Alam Bhuiyan, Mingon Kang, Junggab Son, Kyungtae Kang

22.10.2016 | Methodologies and Application | Ausgabe 4/2018

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

05.11.2016 | Methodologies and Application | Ausgabe 4/2018

Research on the measurement and evaluation of trusted cloud service

Zifei Ma, Rong Jiang, Ming Yang, Tong Li, Qiujin Zhang

22.10.2016 | Methodologies and Application | Ausgabe 4/2018

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

25.10.2016 | Methodologies and Application | Ausgabe 4/2018

Heterogeneous investment in spatial public goods game with mixed strategy

Hong Ding, Yao Zhang, Yizhi Ren, Benyun Shi, Kim-Kwang Raymond Choo

02.11.2016 | Methodologies and Application | Ausgabe 4/2018

A novel technical analysis-based method for stock market forecasting

Yuh-Jen Chen, Yuh-Min Chen, Shiang-Ting Tsao, Shu-Fan Hsieh

11.11.2016 | Methodologies and Application | Ausgabe 4/2018

APDDE: self-adaptive parameter dynamics differential evolution algorithm

Hong-bo Wang, Xue-na Ren, Guo-qing Li, Xu-yan Tu

03.11.2016 | Methodologies and Application | Ausgabe 4/2018

Adaptive harmony search with best-based search strategy

Zhaolu Guo, Huogen Yang, Shenwen Wang, Caiying Zhou, Xiaosheng Liu

08.11.2016 | Methodologies and Application | Ausgabe 4/2018

Face image retrieval: super-resolution based on sketch-photo transformation

Shu Zhan, Jingjing Zhao, Yucheng Tang, Zhenzhu Xie

27.11.2017 | Methodologies and Application | Ausgabe 4/2018

Study on centroid type-reduction of general type-2 fuzzy logic systems with weighted enhanced Karnik–Mendel algorithms

Yang Chen, Dazhi Wang

Aktuelle Ausgaben

Premium Partner

    Bildnachweise