Hasil Pencarian  ::  Simpan CSV :: Kembali

"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 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration."

"This book constitutes the refereed proceedings of the 11th IFIP WG 8.5 International Conference, EGOV 2012, held in Delft, The Netherlands, in September 2012. The 23 revised full papers presented were carefully reviewed and selected from more then 80 submissions. The papers are organized in topical sections on foundations, adoption and diffusion, open government and transformation, infrastructure and technology, evaluation, and citizen perspective, social inclusion, and social media."

"The 14 revised full papers presented were carefully reviewed and selected from numerous submissions. This volume includes complete research work organised in five groups as follows, keynote speech, reviews, policy consultations, case studies, and techniques and analysis."

"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 International Conference on Mathematical Modelling and Scientific Intelligence, ICMMSC 2012, Gandhigram, Tamil Nadu, India, in March 2012. The 62 revised full papers presented were carefully reviewed and selected from 332 submissions. The papers are organized in two topical sections on mathematical modelling and on scientific computation."

"The two volume set LNCS 7431 and 7432 constitutes the refereed proceedings of the 8th International Symposium on Visual Computing, ISVC 2012, held in Rethymnon, Crete, Greece, in July 2012. The 68 revised full papers and 35 poster papers presented together with 45 special track papers were carefully reviewed and selected from more than 200 submissions. The papers are organized in topical sections, Part I (LNCS 7431) comprises computational bioimaging, computer graphics, calibration and 3D vision, object recognition, illumination, modeling, and segmentation, visualization, 3D mapping, modeling and surface reconstruction, motion and tracking, optimization for vision, graphics, and medical imaging, HCI and recognition. Part II (LNCS 7432) comprises topics such as unconstrained biometrics, advances and trends, intelligent environments, algorithms and applications; applications, virtual reality, face processing and recognition."

"The two volume set LNCS 7431 and 7432 constitutes the refereed proceedings of the 8th International Symposium on Visual Computing, ISVC 2012, held in Rethymnon, Crete, Greece, in July 2012. The 68 revised full papers and 35 poster papers presented together with 45 special track papers were carefully reviewed and selected from more than 200 submissions. The papers are organized in topical sections, Part I (LNCS 7431) comprises computational bioimaging, computer graphics, calibration and 3D vision, object recognition, illumination, modeling, and segmentation, visualization, 3D mapping, modeling and surface reconstruction, motion and tracking, optimization for vision, graphics, and medical imaging, HCI and recognition. Part II (LNCS 7432) comprises topics such as unconstrained biometrics, advances and trends, intelligent environments, algorithms and applications; applications, virtual reality, face processing and recognition."

"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 constitutes the refereed proceedings of the 8th International Conference on Intelligent Computing, ICIC 2012, held in Huangshan, China, in July 2012. The 242 revised full papers presented in the three volumes LNCS 7389, LNAI 7390, and CCIS 304 were carefully reviewed and selected from 753 submissions. The papers in this volume (CCIS 304) are organized in topical sections on neural networks, particle swarm optimization and niche technology, kernel methods and supporting vector machines, biology inspired computing and optimization, knowledge discovery and data mining, intelligent computing in bioinformatics, intelligent computing in pattern recognition, intelligent computing in image processing, intelligent computing in computer vision, intelligent control and automation, knowledge representation/reasoning and expert systems, advances in information security, protein and gene bioinformatics, soft computing and bio-inspired techiques in real-world applications, bio-inspired computing and applications."