This book constitutes the refereed proceedings of the 8th International Conference on Language and Automata Theory and Applications, LATA 2014, held in Madrid, Spain in March 2014.;The 45 revised full papers presented...
详细信息
ISBN:
(数字)9783319049212
ISBN:
(纸本)9783319049205
This book constitutes the refereed proceedings of the 8th International Conference on Language and Automata Theory and Applications, LATA 2014, held in Madrid, Spain in March 2014.;The 45 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 116 submissions. The papers cover the following topics: algebraic language theory; algorithms on automata and words; automata and logic; automata for system analysis and program verification; automata, concurrency and Petri nets; automatic structures; combinatorics on words; computability; computational complexity; descriptional complexity; DNA and other models of bio-inspired computing; foundations of finite state technology; foundations of XML; grammars (Chomsky hierarchy, contextual, unification, categorial, etc.); grammatical inference and algorithmic learning; graphs and graph transformation; language varieties and semigroups; parsing; patterns; quantum, chemical and optical computing; semantics; string and combinatorial issues in computational biology and bioinformatics; string processing algorithms; symbolic dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted automata.
The four-volume set LNAI 6881-LNAI 6884 constitutes the refereed proceedings of the 15th International Conference on Knowledge-Based Intelligent Information and engineering Systems, KES 2011, held in Kaiserslautern, G...
详细信息
ISBN:
(数字)9783642238635
ISBN:
(纸本)9783642238628
The four-volume set LNAI 6881-LNAI 6884 constitutes the refereed proceedings of the 15th International Conference on Knowledge-Based Intelligent Information and engineering Systems, KES 2011, held in Kaiserslautern, Germany, in September 2011. Part 2: The total of 244 high-quality papers presented were carefully reviewed and selected from numerous submissions. The 70 papers of Part 2 are organized in topical sections on web intelligence, text and multimedia mining and retrieval, intelligent tutoring systems and e-learning environments, other / misc. intelligent systems topics, methods and techniques of artificial and computational intelligence in economics, finance and decision making, workshop on seamless integration of semantic technologies in computer-supported office work (sistcow), innovations in chance discovery, advanced knowledge-based systems, recent trends in knowledge engineering, smart systems, and their applications.
The four-volume set LNAI 6881-LNAI 6884 constitutes the refereed proceedings of the 15th International Conference on Knowledge-Based Intelligent Information and engineering Systems, KES 2011, held in Kaiserslautern, G...
详细信息
ISBN:
(数字)9783642238543
ISBN:
(纸本)9783642238536
The four-volume set LNAI 6881-LNAI 6884 constitutes the refereed proceedings of the 15th International Conference on Knowledge-Based Intelligent Information and engineering Systems, KES 2011, held in Kaiserslautern, Germany, in September 2011. Part 3: The total of 244 high-quality papers presented were carefully reviewed and selected from numerous submissions. The 67 papers of Part 3 are organized in topical sections on skill acquisition and ubiquitous human computer interaction, intelligent network and service, management technologies from the perspective of kansei engineering and emotion, data mining and service science for innovation, knowledge-based systems for e-business, knowledge engineering applications in process systems and plant operations, advanced design techniques for adaptive hardware and systems, human-oriented learning technology and learning support environment, design of social intelligence and creativity environment.
This volume contains a selection of revised papers that were presented at the software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during O...
详细信息
ISBN:
(数字)9783642347818
ISBN:
(纸本)9783642347801
This volume contains a selection of revised papers that were presented at the software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computerscience, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.
暂无评论