You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
An overview of the techniques developed to circumvent computational intractability, a key challenge in many areas of computer science.
This book constitutes the thoroughly refereed postproceedings of the 5th International Workshop on Technologies for E-Services, TES 2004, held in Toronto, Canada in August 2004 in conjunction with VLDB 2004. The 12 revised full papers presented went through two rounds of reviewing and selection. Among the topics addressed are current issues on various aspects of e-services, in particular of Web services, such as Web service composition, Web service selection, formal Web service development, e-service coordination, wireless ad-hoc networking, b26 information services, enterprise application integration, and m-commerce.
This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2005. The 33 revised full papers presented together with abstracts of 4 invited papers were carefully reviewed and selected from 77 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, fuzzy logic, linear logic, multi-modal logic, proof theory, formal verification, protocol verification, constraint logic programming, programming calculi, theorem proving, etc.
None
This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002. The 38 revised full papers and 6 innovative application papers as well as the 14 short papers presented toghether with 25 abstracts from contributions to the doctoral program were carefully reviewed and selected from 146 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to application in various fields.
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, held in Cork, Ireland in June 2002. The 14 revised full papers presented were carefully selected for inclusion in the book during two rounds of reviewing and revision. Among the topics addressed are verification and debugging of constraint logic programs, modeling and solving CSPs, explanation generation, inference and inconsistency processing, SAT and 0/1 encodings of CSPs, soft constraints and constraint relaxation, real-world applications, and distributed constraint solving.
S. Chands ICSE Commerical Applications for Classes 9