This volume constitutes the proceedings of the "e;Second International Workshop on Cooperative Buildings (CoBuild'99) - Integrating Information, Organizations, and Architecture"e; held at the Carnegie Museum of Art in Pittsburgh on October 1-2, 1999.
This book constitutes the refereed proceedings of the Second International Conference on Meta-Level Architectures and Reflection, Reflection'99, held in St.
This book contains the papers presented at the 9th International Workshop on Field ProgrammableLogic and Applications (FPL'99), hosted by the University of Strathclyde in Glasgow, Scotland, August 30 - September 1, 1999.
Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like planning, scheduling, coordination, communication, transport, simulation, and module integration technologies and as such constitutes a great challenge to the individual researcher active in the area.
This book constitutes the refereed proceedings of the 17th International Conference on Information Processing in Medical Imaging, IPMI 2001, held in Davis, CA, USA, in June 2001.
As distinct from other security and cryptography conferences, the Information Security Conference (ISC) 2002 brought together individuals involved in a wide variety of different disciplines of information security to foster the exchange of ideas.
Due to the popularity of knowledge discovery and data mining, in practice as well as among academic and corporate R&D professionals, association rule mining is receiving increasing attention.
It is our great pleasure to welcome you all to the 2002 AFSS International Conference on Fuzzy Systems (AFSS 2002) to be held in Calcutta, the great City of Joy.
It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains.
The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting the development of software technology on a mathematical basis.
The Ninth International Workshop on Persistent Object Systems (POS 9) took place at the SAS Radisson Hotel in Lillehammer, Norway, from 6th to 8th September 2000.
This book presents revised versions of the lectures given at the 8th ELSNET European Summer School on Language and Speech Communication held on the Island of Chios, Greece, in summer 2000.
This book constitutes the refereed proceedings of the 8th International Symposium on Spatial and Temporal Databases, SSTD 2003, held at Santorini Island, Greece in July 2003.
This book constitutes the refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in Szeged, Hungary, in July 2003.
This book constitutes the refereed proceedings of the 4th International Workshop on Multiple Classifier Systems, MCS 2003, held in Guildford, UK in June 2003.
It is generally understood that the present approachs to computing do not have the performance, flexibility, and reliability of biological information processing systems.
This book constitutes the refereed proceedings of the first International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH 2000, held in Trento, Italy, in August 2000.
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Engineering Societies in the Agents World, ESAW 2000, held in Berlin, Germany in August 2000.
Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic program synthesis has attracted the attention of researchers and professionals since the 1970s.
Component-based software engineering (CBSE) is concerned with the devel- ment of software-intensive systems from reusable parts (components), the dev- opmentofsuchreusableparts,andthemaintenanceandimprovementofsystems by means of component replacement and customization.
Mathematical theorem proving has undergone an impressive development during the last two decades, resulting in a variety of powerful systems for applications in mathematical deduction and knowledge processing.
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002.
The aim of this book is to advocate and promote network models of linguistic systems that are both based on thorough mathematical models and substantiated in terms of linguistics.
The astonishingly rapid development of the Large-Eddy Simulation technique during the last two or three years, both from the theoretical and applied points of view, have rendered the first edition of this book lacunary in some ways.
There is increasing interaction among communities with multiple languages, thus we need services that can effectively support multilingual communication.
This book documents the R&D outcome of the PRIME Project, an R&D project partially funded by the European Union's Sixth Framework Programme and the Swiss Federal Office for Education and Science.
This volume serves as the post-conference proceedings for the Second GeoSensor Networks Conference that was held in Boston, Massachusetts in October 2006.
This workshop was a continuation of the PCRCW '94 workshop that focused on issues in parallel communication and routing in support of parallel processing.
Fifteen papers were presented at the first workshop on Multi-Agent Systems and Agent-Based Simulation held as part of the Agents World conference in Paris, July 4-- 6, 1998.
This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC'99) to be held March 29- 31, 1999, in the village Berg en Dal near Nijmegen, The Netherlands.