This book constitutes the refereed proceedings of the First International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2004, held in Nice, France in April 2004.
The 23 revised full papers and 7 revised short papers presented together with an invited talk were carefully reviewed and selected from 56 submissions. Methodological and foundational issues from AI, OR, and algorithmics are presented as well as applications to the solution of combinatorial optimization problems in various fields via constraint...
This book constitutes the refereed proceedings of the First International Conference on Integration of AI and OR Techniques in Constraint Programmi...
The 2nd Workshop on Web Services, E-Business, and the Semantic Web (WES) was held during June 16-17, 2003 in conjunction with CAiSE 2003, the 15th International Conference on Advanced Information Systems Engineering. The Internet is changing the way businesses operate. Organizations are using the Web to deliver their goods and services, to find trading partners, and to link their existing (maybe legacy) applications to other applications. Web services are rapidly becoming the enabling technology of today's e-business and e-commerce systems, and will soon transform the Web as it is now into a...
The 2nd Workshop on Web Services, E-Business, and the Semantic Web (WES) was held during June 16-17, 2003 in conjunction with CAiSE 2003, the 15th Int...
This volume contains the papers selected for presentation at IPCO VIII, the Eighth Conference on Integer Programming and Combinatorial Optimization, Utrecht, The Netherlands, 2001. This meeting isa forum for researchers and practitioners working on various aspects of integer programming and combi- torial optimization. The aim is to present recent developments in theory, com- tation, and application of integer programming and combinatorial optimization. Topics include, but are not limited to: approximation algorithms, branch and bound algorithms, computational biology, computational...
This volume contains the papers selected for presentation at IPCO VIII, the Eighth Conference on Integer Programming and Combinatorial Optimization, U...
This text constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001. The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.
This text constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Coneren...
This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25-26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri?cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci?cation, analysis, and veri?cation of probabilistic systems. Probability is widely used...
This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25-26, 2002 as par...
Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas. Still, in the last ten years, the simple notion of constraints has shown some deficiencies concerning both theory and practice, typically in the way over-constrained problems and preferences are treated. For this reason, the notion of soft constraints has been introduced with semiring-based soft constraints and valued constraints being the two main general frameworks.
This book includes formal definitions and properties of semiring-based soft...
Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas. Still, in t...
These are the pre-proceedings of CHES 2000, the second workshop on Cryp- graphicHardware andEmbedded Systems. The rst workshop, CHES 99, which was held at WPI in August 1999, was received quite enthusiastically by people in academia and industry who are interested in hardware and software imp- mentations of cryptography. We believe there has been a long-standing need for a workshop series combining theory and practice for integrating strong data - curity into modern communications and e-commerce applications. We are very glad that we had the opportunity to serve this purpose and to create the...
These are the pre-proceedings of CHES 2000, the second workshop on Cryp- graphicHardware andEmbedded Systems. The rst workshop, CHES 99, which was hel...
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific Computation, SNSC 2001, held in Hagenberg, Austria, in September 2001.
The 19 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on symbolics and numerics of differential equations, symbolics and numerics in algebra and geometry, and applications in physics and engineering.
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific...
Digital libraries (DLs) are major advances in information technology that frequently fall short of expectations 7, 28]. Covi & Kling 7] argue that understanding the wider context of technology use is essential to understanding digital library use and its - plementation in different social worlds. Recent health informatics research also - gues that social and organisational factors can determine the success or failure of healthcare IT developments 8, 11, 12]. Heathfield 11] suggests that this is due to the complex, autonomous nature of the medical discipline and the specialized (clinician...
Digital libraries (DLs) are major advances in information technology that frequently fall short of expectations 7, 28]. Covi & Kling 7] argue that u...
This volume constitutes the refereed proceedings of the 19th British National Conference on Databases, BNCOD 2002, held in Sheffield, UK, in July 2002. The 10 revised full papers and 9 posters presented together with one invited paper were carefully reviewed and selected for inclusion in the volume. The book offers topical sections on query processing, data warehousing and data mining, quality and integrity, and web and distributed databases.
This volume constitutes the refereed proceedings of the 19th British National Conference on Databases, BNCOD 2002, held in Sheffield, UK, in July 2002...
