Page 1
Page 1
Numerical Mathematics and Advanced Applications ENUMATH 2019 ; European Conference, Egmond aan Zee, The Netherlands, September 30 - October 4
It contians basic aspects and new trends in numerical mathematics and scientific and industrial applications, all examined at the highest level of international expertise.
Multi-Agent-Based Simulation VIII ; International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Multi-Agent-Based Simulation, MABS 2007, held in Honolulu, HI, USA in May 2007 as an associated event of AAMAS 2007, the main international conference on autonomous agents and multi-agent systems.The 10 revised full papers presented were carefully reviewed and selected from 20 submissions.The papers are organized in topical sections on architectures; teams, learning, education; economy, trust and reputation.
Models in Software Engineering ; Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS 4735).The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007).
Modeling Communication with Robots and Virtual Humans ; Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers
The 17 articles in this state-of-the-art survey address artificial intelligence research on communicative agents and also provide an interdisciplinary perspective from linguistics, behavioral research, theoretical biology, philosophy, communication psychology, and computational neuroscience. The topics include studies on human multimodal communication; the modeling of feedback signals, facial expression, eye contact, and deception; the recognition and comprehension of hand gestures and head movements; communication interfaces for humanoid robots; the evolution of cognition and language; emotion and social appraisal in nonverbal communication; dialogue models and methodologies; theory of mind and intentionality; complex systems, dynamic field theory, and connectionist modeling.
Model Driven Engineering Languages and Systems ; 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on Model Transformation: Foundations; Requirements Modeling; Domain-Specific Modeling; Model Transformation: Techniques, Composition and Analysis of Behavioral Models; Model Comprehension; Model Management; Behavioral Conformance and Refinement; Metamodeling and Modularity; Constraints; Model Analysis; Service-Oriented Architectures; Adaptive and Autonomic Systems; Empirical Studies; Evolution and Reverse Engineering; Modeling Language Semantics; Dependability Analysis and Testing; Aspect-Oriented Modeling; Structural Modeling;and Embedded Systems.
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2005 ; 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part II
Robotics, Image-Guided Surgery and Interventions -- Image Registration II -- Medical Image Computing -- Atlases -- Shape I -- Structural and Functional Brain Analysis -- Model-Based Image Analysis -- Image-Guided Intervention: Simulation, Modeling and Display -- Simulation and Modeling II -- Medical Image Computing -- Shape II -- Image Segmentation and Analysis II -- Image Registration III --
Intelligent Virtual Agents ; 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008. Proceedings
This book constitutes the refereed proceedings of the 8th International Workshop on Intelligent Virtual Agents, IVA 2008, held in Tokyo, Japan, in September 2008.The 18 revised full papers and 28 revised short papers presented together 42 poster papers were carefully reviewed and selected from 99 submissions. The papers are organized in topical sections on motion and empathy; narrative and augmented reality; conversation and negotiation; nonverbal behavior; models of culture and personality; markup and representation languages; architectures for robotic agents; cognitive architectures; agents for healthcare and training; and agents in games, museums and virtual worlds.
Intelligent robotics and applications ; 1st International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008, Proceedings, Part I
These two volumes constitute the refereed proceedings of the First International Conference on Intelligent Robotics and Applications, ICIRA 2008, held in Wuhan, China, in October 2008.The 265 revised full papers presented were thoroughly reviewed and selected from 552 submissions; they are devoted but not limited to robot motion planning and manipulation; robot control; cognitive robotics; rehabilitation robotics; health care and artificial limb; robot learning; robot vision; human-machine interaction & coordination; mobile robotics.
Intelligent robotics and applications ; 1st International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings, Part II
This two volumes constitute the refereed proceedings of the First International Conference on Intelligent Robotics and Applications, ICIRA 2008, held in Wuhan, China, in October 2008.The 265 revised full papers presented were thoroughly reviewed and selected from 552 submissions; they are devoted but not limited to robot motion planning and manipulation; robot control; cognitive robotics; rehabilitation robotics; health care and artificial limb; robot learning; robot vision; human-machine interaction & coordination; mobile robotics.
High-Performance Computing ; 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
This is the joint post-proceedings of the 6th International Symposium on High Performance Computing (ISHPC-VI) and the First International Workshop on Advanced Low Power Systems 2006 (ALPS2006). The post-proceedings also contain the papers presented at the Second HPF International Workshop: - periences and Progress (HiWEP2005) and the Workshop on Applications for PetaFLOPS Computing (APC2005), which are workshops of ISHPC-VI. ISHPC-VI, HiWEP2005 and APC2005 were held in Nara, Japan during September 7–9, 2005. Fifty-eight papers from 11 countries were submitted to ISHPC-VI. After the reviews of the submitted papers, the ISHPC-VI Program Committee selected 15 regular (12-page) papers for oral presentation. In ad- tion, several other papers with favorable reviews were recommended for poster presentation, and 14 short (8-page) papers were also selected.
Heterogeneous Objects Modelling and Applications : Collection of Papers on Foundations and Practice
Heterogeneous object modelling is a new and quickly developing research area. This book is one of the first attempts to systematically cover the most relevant themes and problems of this new and challenging subject area. It is a collection of invited papers and papers co-authored by the editors. Each chapter presents either new research results or a survey on the following topics:Formal models and abstractions of heterogeneous objects including geometric, topological, discrete and continuous models, operations forming special algebras and conversions between different model types.
HCI and usability for education and work ; 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings
This book constitutes the refereed proceedings of the 4th Usability Symposium of the Human-Computer Interaction and Usability Engineering Workgroup of the Austrian Computer Society, USAB 2008, held in Graz, Austria, in November 2008.The 7 revised full papers and 26 revised short papers presented were carefully reviewed and selected from 85 submissions. The papers are organized in topical sections on cognitive processes and end user experience, social software and collaborative knowledge development, knowledge processing, assessment and human performance.
Fundamental approaches to software engineering ; 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
This book cover software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.
From Animals to Animats 10 ; 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, held in Osaka, Japan in July 2008.The 30 revised full papers and 21 revised poster papers presented were carefully reviewed and selected from 110 submissions. The papers are organized in topical sections on the animat approach to adaptive behaviour, evolution, navigation and internal world models, perception and control, learning and adaptation, cognition, emotion and behaviour, collective and social behaviours, adaptive behaviour in language and communication, and applied adaptive behaviour.
Formal Methods in Systems Biology ; 1st International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008.The 9 revised full papers presented were carefully reviewed and selected from the workshop lectures that all were invited contributions. The purpose of this meeting was to identify techniques for the specification, development and verification of biological models. It also focused on the design of tools to execute and analyze biological models that can significantly advance our understanding of biological systems.
Engineering Societies in the Agents World VIII ; 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering Societies in the Agents World, ESAW 2007, held in Athens, Greece, in October 2007. The 19 revised full papers were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections on electronic institutions, models of complex distributed systems with agents and societies; interaction in agent societies; engineering social intelligence in multi-agent systems; trust and reputation in agent societies; analysis, design and development of agent societies.
Engineering Interactive Systems ; EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers
This book constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction (EHCI 2007), the WG 13.2 First Conference on Human Centred Software Engineering (HCSE 2007), and the 14th Conference on Design Specification and Verification of Interactive Systems (DSV-IS 2007); jointly held as EIS 2007, the international event on Engineering Interactive Systems, in Salamanca, Spain, in March 2007 - under the auspices of IFIP.
Engineering Interactive Systems ; 2nd Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings
This book constitutes the combined proceedings of the second working conference on Human-Centred Software Engineering (HCSE 2008) and the 6th International Workshop on TAsk MOdels and DIAgrams (TAMODIA 2008); jointly held as EIS 2008, the international event on Engineering Interactive Systems, in Pisa, Italy, in September 2008.
Discrete Geometry for Computer Imagery ; 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 14th IAPR TC-18 International Conference on Discrete Geometry for Computer Imagery, DGCI 2008, held in Lyon, France, in April 2008.
Digital Human Modeling : Trends in Human Algorithms
The emerging information technologies have given rise to new human patterns in terms of both physiological and psychological interactions. Human Algorithms aim to model human forms, interactions, and dynamics in this new context.
