Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the Third Workshop on Human Behavior Understanding, HBU 2012, held in Vilamoura, Portugal, in October 2012. The 14 revised papers presented were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on sensing human behavior, social and affective signals, human-robot interaction, imitation and learning from demonstration."

"This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. The topics covered are automata, grammars, languages and related systems, various measures and modes of operations (e.g., determinism and nondeterminism), trade-offs between computational models and/or operations, succinctness of description of (finite) objects, state explosion-like phenomena, circuit complexity of Boolean functions and related measures, resource-bounded or structure-bounded environments, frontiers between decidability and undecidability, universality and reversibility, structural complexity, formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages), nature-motivated (bio-inspired) architectures and unconventional models of computing, and Kolmogorov complexity."

"This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed."

"This book constitutes the refereed proceedings of the International Workshop on Mesh Processing in Medical Image Analysis, MeshMed 2012, held in Nice, France, in October 2012 in conjunction with MICCAI 2012, the 15th International Conference on Medical Image Computing and Computer Assisted Intervention. The book includes 16 submissions, 8 were selected for presentation along with the 3 plenary talks representative of the meshing, and 8 were selected for poster presentations. The papers cover a broad range of topics, including statistical shape analysis and atlas construction, novel meshing approaches, soft tissue simulation, quad dominant meshing and mesh based shape descriptors. The described techniques were applied to a variety of medical data including cortical bones, ear canals, cerebral aneurysms and vascular structures."

"This book constitutes the refereed proceedings of the Second International Workshop on Multimodal Brain Image Analysis, held in conjunction with MICCAI 2012, in Nice, France, in October 2012. The 19 revised full papers presented were carefully reviewed and selected from numerous submissions. The objective of this workshop is to forward the state of the art in analysis methodologies, algorithms, software systems, validation approaches, benchmark datasets, neuroscience, and clinical applications."

"This book constitutes the refereed proceedings of the International Workshop CCAAI 2012, held in Nice, France, in October 2012. The book includes 31 papers which were carefully reviewed and selected from 37 submissions. All of the accepted papers were revised by incorporating of the reviewers’ comments and re-submitted by the authors to be included in this proceedings volume. The papers are organized into topical sections on colon and other gastrointestinal tract; and liver, kidney, and other organs."

"This book constitutes the refereed proceedings of the 4th International Conference on Human-Centered Software Engineering, HCSE 2012, held in Toulouse, France, in October 2012.The twelve full papers and fourteen short papers presented were carefully reviewed and selected from various submissions. The papers cover the following topics: user interface design, examining the relationship between software engineering and human-computer interaction and on how to strengthen user-centered design as an essential part of software engineering process."

"This book constitutes the refereed proceedings of the Second International Workshop on Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data, STIA 2012, held in conjunction with MICCAI 2012 in Nice, France, in October 2012. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections named, longitudinal registration and transport, spatio-temporal analysis for shapes, spatio-temporal analysis under appearance changes, and spatio-temporal analysis for biology."

"The 33 revised full papers presented were carefully reviewed and selected from 67 submissions. The main aim of this workshop is to help advance the scientific research within the broad field of machine learning in medical imaging. It focuses on major trends and challenges in this area, and it presents work aimed to identify new cutting-edge techniques and their use in medical imaging."

"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."