This book constitutes the refereed proceedings of the Second International Workshop on Electronic Commerce, WELCOM 2001, held in Heidelberg, Germany in November 2001.
This tutorial contains written versions of seven lectures on Computational Combinatorial Optimization given by leading members of the optimization community.
On behalf of the ICES 2001 Conference Committee, it is our pleasure to present to you the proceedings of the fourth International Conference on Evolvable S- tems: From Biology to Hardware, ICES 2001, held in Tokyo, Japan, on 3-5 - tober 2001, addressing the latest developments and discussing challenges facing the ?
This book constitutes the refereed proceedings of the 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, held in Loughborough, UK in June 2003.
This book constitutes the refereed proceedings of the 6th International Symposium on Self-Stabilizing Systems, SSS 2003, held in San Francisco, CA, USA, in June 2003.
Virtual Worlds 2000 is the second in a series of international scientific conferences on virtual worlds held at the International Institute of Multimedia in Paris La Defense (Pole Universitaire Leonard de Vinci).
Agents in multiagent systems are concurrent autonomous entities that need to coordinate and to cooperate so as to perform their tasks; these coordination and cooperation tasks might be achieved through communication.
This book constitutes the refereed proceedings of the 5th East European Conference on Advances in Databases and Information Systems, ADBIS 2001, held in Vilnius, Lithuania, in September 2001.
The phenomenal increases in computer system performance in recent years have been accompanied by a commensurate increase in power and energy dissipation.
Euro-Par - the European Conference on Parallel Computing - is an international conference series dedicated to the promotion and advancement of all aspects of parallel computing.
X Table of Contents Table of Contents XI XII Table of Contents Table of Contents XIII XIV Table of Contents Table of Contents XV XVI Table of Contents K.
The biannual Formal Methods in Computer Aided Design conference (FMCAD 2000)is the third in a series of conferences under that title devoted to the use of discrete mathematical methods for the analysis of computer hardware and so- ware.
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003.
The papers collected here are those selected for presentation at the Second International Symposium on Handheld and Ubiquitous Computing 2000 (HUC 2000) held in Bristol, UK in September 2000.
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks and multi-agent systems.
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012.
The need for flexibility and globalization forces enterprises to decentralize their activities and continuously (re)structure their networks of relationships regarding both their productive "e;supply chains"e; and their design and innovation processes.
The position taken in this collection of pedagogically written essays is that conjugate gradient algorithms and finite element methods complement each other extremely well.
The 9th issue of the Transactions on Computational Science journal, edited by Francois Anton, is devoted to the subject of Voronoi diagrams in science and engineering.
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks.
This book presents the history and state of the art of universal routing strategies, which can be applied to networks independently of their respective topologies.
A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability.
Research on spatial cognition is a rapidly evolving interdisciplinary enterprise for the study of spatial representations and cognitive spatial processes, be they real or abstract, human or machine.
In this book the author employs a cybernetic view of robot cognition and perception as he examines mobile robot simulations, realizations and experiments, and explains the related mathematical models and algorithms.
This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.
This volume brings together the work of researchers from various disciplines where aspects of descriptive, mathematical, computational or design knowledge concerning metaphor and analogy, especially in the context of agents, have emerged.