Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 15th International Conference on Text, Speech and Dialogue, TSD 2012, held in Brno, Czech Republic, in September 2012. The 82 papers presented together with 2 invited talks were carefully reviewed and selected from 173 submissions. The papers are organized in topical sections on corpora and language resources, speech recognition, tagging, classification and parsing of text and speech, speech and spoken language generation, semantic processing of text and speech, integrating applications of text and speech processing, machine translation, automatic dialogue systems, multimodal techniques and modeling."

"This book constitutes the thoroughly reviewed post-proceedings of the 8th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2011, held in Taipei, Taiwan in May 2011 in association with the 10th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2011). The 8 revised full papers taken from ArgMAS 2011. Also included are 5 invited papers based on presentations on argumentation at the AAMAS 2011 main conference. All together the 13 papers included in the book give a representative overview on current research on argumentation in multi-agent systems. The papers are listed alphabetically by first author within three thematic topics, foundations and theory, argumentation and dialogue, and applications."

"This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Unconventional Computation, UC 2012, held in Orléans, France, during September 3-7, 2012. The 28 revised full papers presented were carefully selected from numerous submissions. Conference papers are organized in 4 technical sessions, covering topics of hypercomputation, chaos and dynamical systems based computing, granular, fuzzy and rough computing, mechanical computing, cellular, evolutionary, molecular, neural, and quantum computing, membrane computing, amorphous computing, swarm intelligence; artificial immune systems, physics of computation, chemical computation, evolving hardware, the computational nature of self-assembly, developmental processes, bacterial communication, and brain processes."

"This book constitutes the refereed proceedings of the 8th International Conference on Trust and Privacy in Digital Business, TrustBus 2012, held in Vienna, Austria, in September 2012 in conjunction with DEXA 2012. The 18 revised full papers presented together with 12 presentations of EU projects were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections, web security, secure management processes and procedures, access control, intrusion detection - trust, applied cryptography, secure services, databases, and data warehouses, and presentations of EU projects."

"This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries."

"This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper were carefully revised and selected from numerous submissions. Topics addressed are such as testing, typing and verification; bidirectionality; applications and visualization; transformation languages, virtual machines; pattern matching; and transformations in modelling, reutilization."

"The book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with TOOLS 2012 Federated Conferences. The 12 revised full papers were carefully reviewed and selected from 42 submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on software composition in specification languages; context-aware and dynamic composition; composition in software development; and applications of software composition."

"This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and related fields and demonstrate practical applications backed up by formal analysis and thorough experimental evaluation. In particular, every topic in advanced software technology is adressed the scope of TOOLS."

"This book constitutes the refereed proceedings of the 15th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2012, held in Kuching, Sarawak, Malaysia, in September 2012. The conference was collocated with the 12th Pacific Rim International Conference on Artificial Intelligence, PRICAI. The 17 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on foundations, auctions and negotiation, coalition formation and teamwork, norms and institutions, and applications."

"This volume constitutes the refereed proceedings of the 12th Pacific Rim Conference on Artificial Intelligence, PRICAI 2012, held in Kuching, Malaysia, in September 2012. The 60 revised full papers presented together with 2 invited papers, 22 short papers, and 11 poster papers in this volume were carefully reviewed and selected from 240 submissions. The topics roughly include AI foundations, applications of AI, cognition and intelligent interactions, computer-aided education, constraint and search, creativity support, decision theory, evolutionary computation, game playing, information retrieval and extraction, knowledge mining and acquisition, knowledge representation and logic, linked open data and semantic web, machine learning and data mining, multimedia and AI, natural language processing, robotics, social intelligence, vision and perception, web and text mining, web and knowledge-based system."