The Third International Workshop on Hybrid Artificial Intelligence Systems (HAIS 2008) presented the most recent developments in the dynamically expanding realm of symbolic and sub-symbolic techniques aimed at the construction of highly robust and reliable problem-solving techniques.
The Visual Information Systems International Conference series is designed to provide a forum for researchers and practitioners from diverse areas of computing including computer vision, databases, human-computer interaction, information security, image processing, information visualization and mining, as well as knowledge and information management to exchange ideas, discuss challenges, present their latest results and to advance research and development in the construction and application of visual information systems.
The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague,Czech Republic on July 16-18, 2007.
This book contains the best papers of the 4th International Conference on E-business and Telecommunications (ICETE), which was held during July 28-31, 2007 in Barcelona, Spain.
The Mexican International Conference on Artificial Intelligence (MICAI), a yearly international conference series organized by the Mexican Society for Artificial Intel- gence (SMIA), is a major international AI forum and the main event in the academic life of the country's growing AI community.
The International Symposium on Rule Interchange and Applications (RuleML-2007), collocated in Orlando, Florida, with the Tenth International Business Rules Forum, was the first symposium devoted to work on practical distributed rule technologies and rule-based applications which need language standards for rules operating in the context of modern infrastructures, including the Semantic Web, intelligent multi-agent systems, event-driven architectures, and service-oriented computing applications.
This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, which was held in Porto Sani (Kassandra, Chalkidiki), Greece during October 13-15, 2008, sponsored by EASST and in cooperation with the IEEE Technical Committee on Complex Systems.
This volume contains the best papers presented at the 12th East-European Conference on Advances in Databases and Information Systems (ADBIS 2008) held during S- tember 5-9, 2008, in Pori, Finland.
The seventh international workshop ESAW 2006 - Engineering Societies in the Agents World VII-was hosted in the School of Computer Science and Inf- matics, University College Dublin, Ireland in September 2006.
The 11th International Conference on Medical Imaging and Computer Assisted Intervention, MICCAI 2008, was held at the Helen and Martin Kimmel Center of New York University, New York City, USA on September 6-10, 2008.
Software architecture has emerged as an important subdiscipline of software engineering encompassing a broad set of languages, styles, models, tools, and processes.
This book includes selected papers from the first International Conferences on Computer Vision Theory and Applications (VISAPP), and Computer Graphics Theory and Applications (GRAPP), jointly held in Setubal, Portugal, on February 25-28, 2006.
This textbook is intended for use by SPI (Software Process Improvement) managers and researchers, quality managers, and experienced project and research managers.
This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.
This volume contains the proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) held in Sydney, Australia, September 14-18, 2008.
Engineering Interactive Systems (EIS) 2008 was an international event combining the 2nd working conference on Human-Centred Software Engineering (HCSE 2008) and the 7th International Workshop on TAsk MOdels and DIAgrams (TAMODIA 2008).