Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions."

"This book constitutes the refereed proceedings of the 11th International Conference on Entertainment Computing, ICEC 2012, held in Bremen, Germany, in September 2012. The 21 full papers, 13 short papers, 16 posters, 8 demos, 4 workshops, 1 tutorial and 3 doctoral consortium submissions presented were carefully reviewed and selected from 115 submissions. The papers are organized in topical sections on story telling, serious games (learning and training), self and identity, interactive performance, mixed reality and 3D worlds; serious games (health and social), player experience, tools and methods, user interface, demonstrations, industry demonstration, harnessing collective intelligence with games, game development and model-driven software development, mobile gaming, mobile life–interweaving the virtual and the real, exploring the challenges of ethics, privacy and trust in serious gaming, and open source software for entertainment."

"This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints."

"This book constitutes the refereed proceedings of the 5th International Conference on Brain Inspired Cognitive Systems, BICS 2012, held in Shenyang, Liaoning, China in July 2012. The 46 high-quality papers presented were carefully reviewed and selected from 116 submissions. The papers are organized in topical sections on biologically inspired systems, cognitive neuroscience, models of consciousness, and neural computation."

"This book contains the refereed proceedings of the 13th International Conference on Business Process Modeling, Development and Support (BPMDS 2012) and the 17th International Conference on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2012), held together with the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012) in Gdańsk, Poland, in June 2012.The 17 papers accepted for BPMDS were selected from 48 submissions and cover a wide spectrum of issues related to business process development, modeling, and support. They are grouped into sections on business process in the cloud, advanced BPM in an organizational context, similarity, variations and configuration, BPM and requirements engineering, humans and business process models, and BPM technologies using computational methods.The 13 papers accepted for EMMSAD were chosen from 28 submissions and focus on exploring, evaluating, and enhancing current information modeling methods and methodologies. They are grouped in sections on modeling of enterprise architecture, modeling facts and rules, business process modeling, modeling of non-functional requirements, safety modeling and analysis, quality of models and modeling languages, and supporting the learning of conceptual modeling."

"This book constitutes the refereed proceedings of the 3rd International Conference on Serious Games Development and Applications, SGDA 2012, held in Bremen, Germany in September 2012. The 22 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers cover various topics on serious games including engineering, education, health care, military applications, game design, game study, game theories, virtual reality, 3D visualisation and medical applications of games technology."

"This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches."

"This volume contains the Proceedings of the 5th International Conference on Intelligent Interactive Multimedia Systems and Services (KES-IIMSS-12). The Conference was jointly organised by Nagoya University in Japan and the KES International organisation, and held in the attractive city of Gifu. The KES-IIMSS conference series, presents novel research in various areas of intelligent multimedia system relevant to the development of a new generation of interactive, user-centric devices and systems. The aim of the conference is to provide an internationally respected forum for scientific research in the technologies and applications of this new and dynamic research area."

"The three volume set LNAI 7506, LNAI 7507 and LNAI 7508 constitutes the refereed proceedings of the 5th International Conference on Intelligent Robotics and Applications, ICIRA 2012, held in Montreal, Canada, in October 2012. The 197 revised full papers presented were thoroughly reviewed and selected from 271 submissions. They present the state-of-the-art developments in robotics, automation and mechatronics. This volume covers the topics of adaptive control systems, automotive systems, estimation and identification, intelligent visual systems, application of differential geometry in robotic mechanisms, unmanned systems technologies and applications, new development on health management, fault diagnosis, and fault-tolerant control, biomechatronics, intelligent control of mechanical and mechatronic systems."

"The three volume set LNAI 7506, LNAI 7507 and LNAI 7508 constitutes the refereed proceedings of the 5th International Conference on Intelligent Robotics and Applications, ICIRA 2012, held in Montreal, Canada, in October 2012. The 197 revised full papers presented were thoroughly reviewed and selected from 271 submissions. They present the state-of-the-art developments in robotics, automation and mechatronics. This volume covers the topics of robotics for rehabilitation and assistance, mechatronics and integration technology in electronics and information devices fabrication, man-machine interactions, manufacturing, micro and nano systems, mobile robots and intelligent autonomous systems, motion control, multi-agent systems and distributed control, and multi-sensor data fusion algorithms."