Computer science

This book constitutes the refereed proceedings of the 5th International Symposium, Latin American Theoretical Informatics, LATIN 2002, held in Cancun, Mexico, in April 2002.

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22-25 September 2002.

This volume continues the tradition established in 2001 of publishing the c- tributions presented at the Cryptographers' Track (CT-RSA) of the yearly RSA Security Conference in Springer-Verlag's Lecture Notes in Computer Science series.

After Ole-Johan's retirement at the beginning of the new millennium, some of us had thought and talked about making a "e;Festschrift"e; in his honor.

The 5th International Workshop on Learning Classi?

This book constitutes the refereed proceedings of the 4th International Symposium on Medical Data Analysis, ISMDA 2003, held in Berlin, Germany in October 2003.

This volume contains the proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2003, held in Vienna, Austria, September 24-26, 2003.

Speech recognition technology is being increasingly employed in human-machine interfaces.

The workshop on Applications of Natural Language to Information Systems (NLDB)hassince1995providedaforumforacademicandindustrialresearchers and practitioners to discuss the application of natural language to both the development and use of software applications.

 This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of  Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.

This volume contains the proceedings of the Second International Conference on Advances in Information Systems (ADVIS) held in Izmir, Turkey, 23-25 October 2002.

Joseph Goguen is one of the most prominent computer scientists worldwide.

The areas of natural language processing and computational linguistics have continued to grow in recent years, driven by the demand to automatically process text and spoken data.

Formal engineering methods are changing the way that software systems are - veloped.

The 7th International Conference on Medical Imaging and Computer Assisted Intervention, MICCAI 2004, was held in Saint-Malo, Brittany, France at the "e;Palais du Grand Large"e; conference center, September 26-29, 2004.

This volume of the LNCS is the formal proceedings of the 2nd European Symposium on Ambient Intelligence, EUSAI 2004.

"e;Professional engineers can often be distinguished from other designers by the engineers' ability to use mathematical models to describe and 1 analyze their products.

From the foreword to the third edition written by Charles Meneveau: "e;.

This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science.

Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas.

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.

Molecular computing is a rapidly growing subarea of natural computing.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe.

This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in Auckland, New Zealand, in February 2012.

The evaluation of a logical formula can be viewed as a game played by two opponents, one trying to show that the formula is true and the other trying to prove it is false.

Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication, and is now used in various applications including broadcast monitoring, movie fingerprinting, steganography, video indexing and retrieval, and image authentication.

We would like to present, with great pleasure, the inaugural volume of a new scholarly journal, Transactions on Computational Science.

New paradigms can popularize old technologies.

Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains.

EDBT 2000 is the seventh conference in a series dedicated to the advancement of database technology.

Underlying most of the IWANN calls for papers is the aim to reassume some of the motivations of the groundwork stages of biocybernetics and the later bionics formulations and to try to reconsider the present value of two basic questions.

This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9-13, 2002, in Saint-Gilles-les-Bains, R'eunion Island, France.

This textbook is intended to give an introduction to and an overview of sta- of-the-art techniques in the design of complex embedded systems.

The origins of the Asiacrypt series of conferences can be traced back to 1990, when the ?

Middleware is everywhere.

This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy.

This volume presents the proceedings of the 2nd International Workshop on - gebraic Frames for the Perception and Action Cycle.

This volume contains the papers accepted for the 4th Workshop on Algorithm Engineering (WAE 2000) held in Saarbruc * ken, Germany, during 5-8 September 2000, together with the abstract of the invited lecture given by Karsten Weihe.

In this book we present a collection of papers around the topic of Agent-Mediated Electronic Commerce.

This volume contains the papers selected for presentation at the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC 2003) held at Chongqing University of Posts and Telecommunications, Chongqing, P.

This volume contains the papers presented at the 5th International Workshop on Advanced Parallel Processing Technologies, APPT 2003.

RuleML 2003 was the second international workshop on rules and rule markup languages for the Semantic Web, held in conjunction with the International Semantic Web Conference (ISWC).