The study of permutation complexity can be envisioned as a new kind of symbolic dynamics whose basic blocks are ordinal patterns, that is, permutations defined by the order relations among points in the orbits of dynamical systems.
Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization, and theory of programming languages.
During the last few years, we have seen quite spectacular progress in the area of approximation algorithms: for several fundamental optimization problems we now actually know matching upper and lower bounds for their approximability.
Large-scale open distributed systems provide an infrastructure for assembling global applications on the basis of software and hardware components originating from multiple sources.
This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS'99) held in Tsukuba, Japan, November 11-13, 1999, and hosted by the Electrotechnical Laboratory (ETL).
Crypto 2002, the 22nd Annual Crypto Conference, was sponsored by IACR, the International Association for Cryptologic Research, in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy and the Computer Science Department of the University of California at Santa Barbara.
This book constitutes the refereed proceedings of the 8th Annual European Symposium on Algorithms, ESA 2000, held in Saarbrucken, Germany in September 2000.
We are pleased to present the proceedings of Performance TOOLS 2003, the 13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation.
This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.
This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000.
This book constitutes the refereed proceedings of the 4th International Conference on Text, Speech and Dialogue, TSD 2001, held in Zelezna Ruda, Czech Republic in September 2001.
This book constitutes the refereed proceedings of the 7th International Conference on High Performance Computing, HiPC 2000, held in Bangalore, India in December 2000.
The proceedings of ECML/PKDD2003 are published in two volumes: the P- ceedings of the 14th European Conference on Machine Learning (LNAI 2837) and the Proceedings of the 7th European Conference on Principles and Practice of Knowledge Discovery in Databases (LNAI 2838).
The result of four years of intensive research in a large multimodal dialogue project involving 12 partners from academia and industry, SmartKom is one of the most advanced multimodal dialogue systems worldwide and is a landmark project in the history of intelligent user interfaces.
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003.
This volume comprises papers from the following three workshops that were part of the complete program for the International Conference on Extending Database Technology (EDBT) held in Prague, Czech Republic, in March 2002: XML-Based Data Management (XMLDM) Second International Workshop on Multimedia Data and Document Engineering (MDDE) Young Researchers Workshop (YRWS) Together, the three workshops featured 48 high-quality papers selected from approximately 130 submissions.
Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to nondeterministic and open environments, like the Internet, in order to achieve systems design goals through the coordination of autonomously distributed services.
This state-of-the-art survey features topics related to the impact of multicore, manycore, and coprocessor technologies in science and for large-scale applications in an interdisciplinary environment.
This book presents a collection of 36 pieces of scientific work in the areas of complexity theory and foundations of cryptography: 20 research contributions, 13 survey articles, and 3 programmatic and reflective viewpoint statements.
The denotational and expressive needs in cognitive informatics, computational intelligence, software engineering, and knowledge engineering have led to the development of new forms of mathematics collectively known as denotational mathematics.