The Design of Dynamic Data Structures
In numerous computer applications there is a need of storing large sets of objects in such a way that some questions abo... MoreThe Design of Dynamic Data Structures
Developments in Language Theory: 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers
The refereed proceedings of the 6th International Conference on Developments in Language Theory, DLT 2002, held in Kyo... MoreDevelopments in Language Theory: 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers
Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers
This collection represents the proceedings of the 1st GSFC/JPL Workshop on Radical Agent Concepts (WRAC), which was held... MoreInnovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers
Information Hiding: 5th International Workshop, IH 2002, Noordwijkerhout, The Netherlands, October 7-9, 2002, Revised Papers
These post-proceedings contain 27 papers that were accepted for presentation at the Fifth International Workshop on Info... MoreInformation Hiding: 5th International Workshop, IH 2002, Noordwijkerhout, The Netherlands, October 7-9, 2002, Revised Papers
Agent-Oriented Software Engineering III: Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions
Over the past three decades, software engineers have derived a progressively better understanding of the characteristics... MoreAgent-Oriented Software Engineering III: Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions
Selected Areas in Cryptography: 9th Annual International Workshop, SAC 2002, St. John's, Newfoundland, Canada, August 15-16, 2002, Revised Papers
SAC 2002 was the Ninth Annual Workshop on Selected Areas in Cryptography. Previous workshops have been held at Queen's U... MoreSelected Areas in Cryptography: 9th Annual International Workshop, SAC 2002, St. John's, Newfoundland, Canada, August 15-16, 2002, Revised Papers
Advanced Lectures on Machine Learning: Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures
Machine Learning has become a key enabling technology for many engineering applications and theoretical problems alike. ... MoreAdvanced Lectures on Machine Learning: Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures
Design and Control of Workflow Processes: Business Process Management for the Service Industry
The motivation behind the conception of this monograph was to advance scientific knowledge about the design and control ... MoreDesign and Control of Workflow Processes: Business Process Management for the Service Industry
Symbolic and Numerical Scientific Computation: Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers
The thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific C... MoreSymbolic and Numerical Scientific Computation: Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers
Information Processing in Sensor Networks: Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings
This volume contains the Proceedings of the 2nd International Workshop on Information Processing in Sensor Networks (IPS... MoreInformation Processing in Sensor Networks: Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings
Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning
Adaptive Agents and Multi-Agent Systems is an emerging and exciting interdisciplinary area of research and development... MoreAdaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Gr... MoreTypes for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
Because of its promise to support human programmers in developing correct and efficient program code and in reasoning ... MoreInductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
The thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Trans... MoreLogic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
Advances in Artificial Intelligence: 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003, Proceedings
This book constitutes the refereed proceedings of the 16th Conference of the Canadian Society for Computational ... MoreAdvances in Artificial Intelligence: 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003, Proceedings
Advanced Information Systems Engineering: 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings
The refereed proceedings of the 15th International Conference on Advanced Information Systems Engineering, CaiSE 2003,... MoreAdvanced Information Systems Engineering: 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings
Spatial Cognition III: Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning
This third volume documents the results achieved within a priority program on spatial cognition funded by the German S... MoreSpatial Cognition III: Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning
Multi-Agent Systems and Applications III: 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 2003, Proceedings
The refereed proceedings of the International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2... MoreMulti-Agent Systems and Applications III: 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 2003, Proceedings
Computing and Combinatorics: 9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings
The refereed proceedings of the 9th Annual International Computing and Combinatorics Conference, COCOON 2003, held in ... MoreComputing and Combinatorics: 9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings
Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Techno... MoreFormal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
Developments in Language Theory: 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings
The refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in Sze... MoreDevelopments in Language Theory: 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings
The refereed proceedings of the 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Unce... MoreSymbolic and Quantitative Approaches to Reasoning with Uncertainty: 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings
Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003: Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings
The refereed proceedings of the Joint International Conference on Artificial Neural Networks and International Confere... MoreArtificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003: Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings
OpenMP Shared Memory Parallel Programming: International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003. Proceedings
The refereed proceedings of the International Workshop on OpenMP Applications and Tools, WOMPAT 2003, held in Toronto,... MoreOpenMP Shared Memory Parallel Programming: International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003. Proceedings
High-Speed Networks and Multimedia Communications: 6th IEEE International Conference HSNMC 2003, Estoril, Portugal, July 23-25, 2003, Proceedings
The refereed proceedings of the 6th IEEE International Conference on High Speed Networking and Multimedia Communicatio... MoreHigh-Speed Networks and Multimedia Communications: 6th IEEE International Conference HSNMC 2003, Estoril, Portugal, July 23-25, 2003, Proceedings
Graph Based Representations in Pattern Recognition: 4th IAPR International Workshop, GbRPR 2003, York, UK, June 30 - July 2, 2003. Proceedings
The refereed proceedings of the 4th IAPR International Workshop on Graph-Based Representation in Pattern Recognition, ... MoreGraph Based Representations in Pattern Recognition: 4th IAPR International Workshop, GbRPR 2003, York, UK, June 30 - July 2, 2003. Proceedings
Information Processing in Medical Imaging: 18th International Conference, IPMI 2003
IPMI occupies an important position in the scienti?c calendar. Every two years, it brings together leading researchers i... MoreInformation Processing in Medical Imaging: 18th International Conference, IPMI 2003
Smart Grapics: Third International Symposium, SG 2003, Heidelberg, Germany, July2-4, 2003, Proceedings
The International Symposium on Smart Graphics 2003 was held on July 2-4, 2003 in Heidelberg, Germany. It was the fourth ... MoreSmart Grapics: Third International Symposium, SG 2003, Heidelberg, Germany, July2-4, 2003, Proceedings
Holonic and Multi-Agent Systems for Manufacturing: First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003, Proceedings
The increasing complexity of manufacturing systems as well as the overall demands for flexible and fault-tolerant contro... MoreHolonic and Multi-Agent Systems for Manufacturing: First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003, Proceedings
Image Analysis: 13th Scandinavian Conference, SCIA 2003 Halmstad, Sweden, June 29 - July 2, 2003 Proceedings
The excellently received call for papers of the 13th Scandinavian Conference on Image Analysis, June 29-July 2 (SCIA 200... MoreImage Analysis: 13th Scandinavian Conference, SCIA 2003 Halmstad, Sweden, June 29 - July 2, 2003 Proceedings
RoboCup 2002: Robot Soccer World Cup VI
RoboCup 2002, the 6th Robot World Cup Soccer and Rescue Competitions and Conference, took place during June 19-25, 2002,... MoreRoboCup 2002: Robot Soccer World Cup VI
Security Engineering with Patterns: Origins, Theoretical Models, and New Applications
For quite some time, in systems and software design, security only came as a second thought or even as a nice-to-have ... MoreSecurity Engineering with Patterns: Origins, Theoretical Models, and New Applications
Computer Analysis of Images and Patterns: 10th International Conference, CAIP 2003, Groningen, The Netherlands, August 25-27, 2003, Proceedings
This volume presents the proceedings of the 10th International Conference on Computer Analysis of Images and Patterns (C... MoreComputer Analysis of Images and Patterns: 10th International Conference, CAIP 2003, Groningen, The Netherlands, August 25-27, 2003, Proceedings
Artificial Immune Systems: Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings
In many ways, our immune systems are as complex as our brains. They learn, predict, remember and adapt, protecting us fr... MoreArtificial Immune Systems: Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings
Euro-Par 2003 Parallel Processing: 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003 Proceedings
Euro-ParConferenceSeries The European Conference on Parallel Computing (Euro-Par) is an international conference series ... MoreEuro-Par 2003 Parallel Processing: 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003 Proceedings
Computer Performance Evaluation. Modelling Techniques and Tools: 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings
We are pleased to present the proceedings of Performance TOOLS 2003, the 13th International Conference on Modelling Tech... MoreComputer Performance Evaluation. Modelling Techniques and Tools: 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings
Human-Computer Interaction with Mobile Devices and Services: 5th International Symposium, Mobile HCI 2003, Udine, Italy, September 8-11, 2003, Proceedings
New and adapted user interface design strategies which are overcoming the limitations of today's mobile devices are indi... MoreHuman-Computer Interaction with Mobile Devices and Services: 5th International Symposium, Mobile HCI 2003, Udine, Italy, September 8-11, 2003, Proceedings
Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Goedel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logi... MoreComputer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Goedel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
Computational and Information Science: First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings
The 2004 International Symposium on Computational and Information Sciences (CIS 2004) aimed at bringing researchers in t... MoreComputational and Information Science: First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings
Holonic and Multi-Agent Systems for Manufacturing: Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007, Proceedings
This volume constitutes the refereed proceedings of the Third International Conference on Industrial Applications of H... MoreHolonic and Multi-Agent Systems for Manufacturing: Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007, Proceedings
Artificial Intelligence in Education: 15th International Conference, AIED 2011, Auckland, New Zealand, June 28 - July 2, 2011, Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Artificial Intelligence in Educat... MoreArtificial Intelligence in Education: 15th International Conference, AIED 2011, Auckland, New Zealand, June 28 - July 2, 2011, Proceedings
Informatics in Schools: Focus on Learning Programming: 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Informatics in Schools: Situation... MoreInformatics in Schools: Focus on Learning Programming: 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, Proceedings
