Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruña, Spain in March 2012. The 41 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 114 initial submissions. The volume features contributions from both classical theory fields and application areas; e.g. innformatics, systems biology, language technology, artificial intelligence, etc. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition."

"This book constitutes the refereed proceedings of the First International Conference, TPNC 2012, held in Tarragona, Spain, in October 2012. The 12 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 34 submissions. The papers are organized in topical sections on nature-inspired models of computation; synthesizing nature by means of computation; nature-inspired materials; and information processing in nature."

"The two LNAI volumes 7208 and 7209 constitute the proceedings of the 7th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2012, held in Salamanca, Spain, in March 2012. The 118 papers published in these proceedings were carefully reviewed and selected from 293 submissions. They are organized in topical sessions on agents and multi agents systems, HAIS applications, cluster analysis, data mining and knowledge discovery, evolutionary computation, learning algorithms, systems, man, and cybernetics by HAIS workshop, methods of classifier fusion, HAIS for computer security (HAISFCS), data mining: data preparation and analysis, hybrid artificial intelligence systems in management of production systems, hybrid artificial intelligent systems for ordinal regression, hybrid metaheuristics for combinatorial optimization and modelling complex systems, hybrid computational intelligence and lattice computing for image and signal processing and nonstationary models of pattern recognition and classifier combinations."

"The two LNAI volumes 7208 and 7209 constitute the proceedings of the 7th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2012, held in Salamanca, Spain, in March 2012. The 118 papers published in these proceedings were carefully reviewed and selected from 293 submissions. They are organized in topical sessions on agents and multi agents systems, HAIS applications, cluster analysis, data mining and knowledge discovery, evolutionary computation, learning algorithms, systems, man, and cybernetics by HAIS workshop, methods of classifier fusion, HAIS for computer security (HAISFCS), data mining, data preparation and analysis, hybrid artificial intelligence systems in management of production systems, hybrid artificial intelligent systems for ordinal regression, hybrid metaheuristics for combinatorial optimization and modelling complex systems, hybrid computational intelligence and lattice computing for image and signal processing and nonstationary models of pattern recognition and classifier combinations."

"This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012. The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and knowledge systems, such as discrete mathematics, logic and algebra, model theory, informaiton theory, complexity theory, algorithmics and computation, statistics, and optimization."

"This book constitutes the refereed proceedings of the 6th International Conference, COCOA 2012, held in Banff, Alberta, Canada, in August 2012. The 33 revised papers including one invited talk and one keynote talk were carefully reviewed and selected from 57 submissions. The papers are focused to theoretical results and also on recent works on experimental and applied research of general algorithmic interest."

"This book constitutes the refereed proceedings of the 16th International Conference on Developments in Language Theory, DLT 2012, held in Taipei, Taiwan, in August 2012. The 34 regular papers presented were carefully reviewed and selected from numerous submissions. The volume also contains the papers or extended abstracts of 4 invited lectures, as well as a special memorial presentation in honor of Sheng Yu. The topics covered include grammars, acceptors and transducers for words, trees and graphs, algebraic theories of automata, algorithmic, combinatorial and algebraic properties of words and languages; variable length codes, symbolic dynamics, cellular automata, polyominoes and multidimensional patterns, decidability questions, image manipulation and compression, efficient text algorithms, relationships to cryptography, concurrency, complexity theory and logic, bio-inspired computing, quantum computing."

"This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 revised full papers presented together with 5 invited papers and 7 short papers were carefully selected from 53 submissions. The papers cover various topics such as automata applications in formal verification methods, natural language processing, pattern matching, data storage and retrieval, and bioinformatics, as well as theoretical work on automata theory."

"This volume constitutes the refereed proceedings of the Spanish Conference, IberSPEECH 2012: Joint VII “Jornadas en Tecnología del Habla” and III Iberian SLTech Workshop, held in Madrid, Spain, in November 21-23, 2012. The 29 revised papers were carefully reviewed and selected from 80 submissions. The papers are organized in topical sections on speaker characterization and recognition, audio and speech segmentation, pathology detection and speech characterization, dialogue and multimodal systems, robustness in automatic speech recognition, applications of speech and language technologies."

"This book constitutes the refereed proceedings of the 5th International Conference on Interactive Digital Storytelling, ICIDS 2012, San Sebastián, Spain, November 2012. The 14 revised full papers presented together with 6 short papers were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on theory and aesthetics, authoring tools and applications, evaluation and user experience reports, virtual characters and agents, new storytelling modes, and workshops."