Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?
nd Welcome to the proceedings of PERVASIVE 2004, the 2 International C- ference on Pervasive Computing and the premier forum for the presentation and appraisal of the most recent and most advanced research results in all - undational and applied areas of pervasive and ubiquitous computing.
This book constitutes the refereed proceedings of the 22nd International Conference on Web Information Systems and Applications, WISA 2025, held in Xi'an, China, during October 1, 2025.
This book constitutes the refereed proceedings of the 22nd International Conference on Web Information Systems and Applications, WISA 2025, held in Xi'an, China, during October 1, 2025.
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 two-volume set constitutes the refereed proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-98, held in Benicassim, Castellon, Spain, in June 1998.
Electronic Commerce, as a gamut of activities involving electronic transactions performed over a network via software that may be more or less autonomous, is an emerging reality.
Image-based rendering, as an area of overlap between computer graphics and computer vision, uses computer vision techniques to aid in sythesizing new views of scenes.
The papers contained in this volume were presented at the 13th Annual S- posium on Combinatorial Pattern Matching, held July 3-5, 2002 at the Hotel Uminonakamichi, in Fukuoka, Japan.
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Graph Transformation with Industrial Relevance, AGTIVE'99, held in Kerkrade, The Netherlands, in June 1999.
The papers in this volume were presented at the 6th International Meeting on DNA Based Computers, organized by the Leiden Center for Natural Computing and held from June 13 to June 17, 2000 at The Lorentz Center, University of Leiden, Leiden, The Netherlands.
This book constitutes the refereed proceedings of the Second International Workshop on Machine Learning and Data Mining in Pattern Recognition, MLDM 2001, held in Leipzig, Germany in July 2001.
This book constitutes the refereed proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001, held in Toulouse, France in September 2001.
This 18-volume set constitutes the refereed proceedings of the 8th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2025, held in Shanghai, China, during October 15-18, 2025.
This 18-volume set constitutes the refereed proceedings of the 8th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2025, held in Shanghai, China, during October 15-18, 2025.
Visual Interfaces to Digital Libraries exploit the power of human vision and spatial cognition to help individuals mentally organize and electronically access and manage large and complex information spaces.
This book is an extended collection of contributions that wereoriginally subm- ted to the 1st International Workshop on Adaptive Multimedia Retrieval (AMR 2003), which was organized as part of the 26th German Conference on Arti?
The International Conference on Computational Science (ICCS 2004) held in Krak' ow, Poland, June 6-9, 2004, was a follow-up to the highly successful ICCS 2003 held at two locations, in Melbourne, Australia and St.
This volume contains the postproceedings of the 1st International Workshop on Computational Autonomy - Potential, Risks, Solutions (AUTONOMY 2003), held at the 2nd International Joint Conference on Autonomous Agents and Multi-agentSystems(AAMAS2003),July14,2003,Melbourne,Australia.
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence.
This book contains selected contributions from some of the most renowned researchers in the field of Digital Heritage and 3D representation of the Past, based in large part on invited presentations from the workshop "e;Computational Geometry and Ontologies for Cultural Heritage 3D Digital Libraries: What are the future alternatives for Europeana?
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.
This Festschrift volume, published in honor of Symeon Bozapalidis on the occasion of his retirement after more than 35 years of teaching activity, focuses on the subjects taught by Symeon, namely: algebra, linear algebra, mathematical logic, number theory, automata theory, tree languages and series, algebraic semantics, and fuzzy languages.