You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This volume constitutes the refereed proceedings of the 6th International Conference on Principles and Practice of Constraint Programming, CP 2000, held in Singapore in September 2000. The 31 revised full papers and 13 posters presented together with three invited contributions were carefully reviewed and selected from 101 submissions. All current issues of constraint processing, ranging from theoretical and foundational issues to applications in various fields are addressed.
This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems.
Despite the topic’s urgency and centrality, this is the first edited volume to offer a comprehensive assessment of the varying approaches to early engagement with new technologies, including nanotechnology, synthetic biology, biotechnology and ICT. Covering five main approaches to early engagement—constructive technology assessment (CTA), value-sensitive design (VSD), midstream modulation (MM), the network approach for moral evaluation, and political technology assessment—the book will be a pivotal text in the rapidly developing research field of ELSI, which explores the ethical, legal, and social implications of new technologies. Featuring leading scholars who discuss each early engag...
This volume is a record of the Workshop on User Interface Management Systems and Environments held at INESC, Lisbon, Portugal, between 4 and 6 June 1990. The main impetus for the workshop came from the Graphics and Interaction in ESPRIT Technical Interest Group of the European Community ESPRIT Programme. The Graphics and Interac tion in ESPRIT Technical Interest Group arose from a meeting of researchers held in Brussels in May 1988, which identified a number of technical areas of common interest across a significant number of ESPRIT I and ESPRIT II projects. It was recognized that there was a need to share information on such activities between projects, to disseminate results from the proje...
Why it matters that our relationship with nature is increasingly mediated and augmented by technology. Our forebears may have had a close connection with the natural world, but increasingly we experience technological nature. Children come of age watching digital nature programs on television. They inhabit virtual lands in digital games. And they play with robotic animals, purchased at big box stores. Until a few years ago, hunters could "telehunt"—shoot and kill animals in Texas from a computer anywhere in the world via a Web interface. Does it matter that much of our experience with nature is mediated and augmented by technology? In Technological Nature, Peter Kahn argues that it does, a...
This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995. The 33 refereed full papers included were selected out of 108 submissions and constitute the main part of the book; in addition there is a 60-page documentation of the four invited papers and a section presenting industrial reports. Thus besides having a very strong research component, the volume will be attractive for practitioners. The papers are organized in sections on efficient constraint handling, constraint logic programming, concurrent constraint programming, computational logic, applications, and operations research.
This book brings together a number of researchers and developers from industry and academia who report on their work. It is of interest to language designers and the creators of toolkits, UIMSs, and other user interface tools.
This volume contains the refereed papers presented at ECOOP 89. They cover topics of contemporary interest in this increasingly active area of computer science research, from formal methods through software engineering to implementations.
This volume gives an overview on new theoretical approaches on computer-aided methods for strategic and operational planning in public transport. The papers of this volume cover the most important steps of the complete process of planning and operational control in public transport and public mass transit. Readers of this book obtain detailed information on current developments in vehicle and crew scheduling and in solving such problems in practice. Interesting results in scheduling theory are shown, using procedures for solving combinatorial problems with more complex structures. Furthermore, experiences in the application of specific software tools are presented. TOC:Vehicle and Crew Scheduling - Methodical Advances.- Vehicle and Crew Scheduling - Practical Issues.- Advanced Transit Service and Vehicle Routing.- Monitoring and Control.- Strategic Decision Problems.- Appendices.
Computer science departments at universities in the U.S.A. are world renowned. This handy reference guide gives detailed profiles of 40 of the best known among them. The profiles are organized in a uniform layout to present basic information, faculty, curriculum, courses for graduate students, affiilated institutions, facilities, research areas, funding, selected projects, and collaborations. Two full alphabetical listings of professors are included, one giving their universities and the other their research areas. The guide will be indispensible for anyone - student or faculty, not only in the U.S.A. - interested in research and education in computer science in the U.S.A.