Computer science

This volume contains the proceedings of the 19th annual International Conference on Application and Theory of Petri Nets.

This volume constitutes the refereed proceedings of the First International Conference on Rough Sets and Current Trends in Computing, RSCTC'98, held in Warsaw, Poland, in June 1998.

Heterogeneous object modelling is a new and quickly developing research area.

This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 10-12, 1997, 'back to back' with the Fourteenth International Conference on Logic Programming, ICLP '97.

Machine Translation and the Information Soup!

Code motion techniques are integrated in many optimizing production and research compilers.

This volume is based on the contributions to the International Workshop on the Web and Databases (WebDB'98), held in Valencia, Spain, March 27 and 28, 1998, in conjunction with the Sixth International Conference on Extending Database Technology (EDBT'98).

This volume contains a collection of selected papers presented at the Symposium on Conceptual Modeling, which was held in Los Angeles, California, on December 2, th 1997, immediately before the 16 International Conference on Conceptual Modeling (ER'97), which was held at UCLA.

This book constitutes, together with its compagnion LNCS 1607, the refereed proceedings of the International Work-Conference on Artificial and Natural Neural Networks, IWANN'99, held in Alicante, Spain in June 1999.

This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM'99), which took place at the ETH Zurich in Switzerland and was hosted by the Computer Engineering and Networking Laboratory, TIK.

Information extraction (IE) is a new technology enabling relevant content to be extracted from textual information available electronically.

This book constitutes the refereed proceedings of the 6th International Conference on Intelligent Tutoring Systems, ITS 2002, held in Biarritz, France, and San Sebastian, Spain, in June 2002The 93 revised full papers presented together with 5 invited papers and 16 posters were carefully reviewed and selected from 167 full paper submissions.

Premiering in 1990 in Antibes, France, the European Conference on Computer Vision, ECCV, has been held biennially at venues all around Europe.

Premiering in 1990 in Antibes, France, the European Conference on Computer Vision, ECCV, has been held biennially at venues all around Europe.

The papers in this volume were presented at the Sixth Workshop on Algorithms and Data Structures (WADS '99).

This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany.

This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi.

Nowadays, the Internet is the most commonly used medium for the exchange of data in di?

The Seventh International Symposium on Spatial and Temporal Databases (SSTD 2001), held in Redondo Beach, CA, USA, July 12{15, 2001, brought together leading researchers and developers in the area of spatial, temporal, and spatio-temporal databases to discuss the state of the art in spatial and temporal data management and applications, and to understand the challenges and - search directions in the advancing area of data management for moving objects.

Creation Techniques for Software Development and Deployment, Agent-Based Management, Virtual Home Environment, Integrated and Scalable Solutions for Telecommunications Management.

The papers in this volume were presented at the Fourth Italian Conference on Algorithms and Complexity (CIAC 2000).

This book constitutes the refereed proceedings of the 19th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-13, held in Honolulu, Hawaii, USA in November 1999.

Human language capabilities are based on mental proceduresthat are closely linked to the time domain.

The full title of the HCM network project behind this volume is VIM: A virtual multicomputer for symbolic applications.

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.

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 papers collected in this volume were presented at the 6th European C- ference on Case-Based Reasoning (ECCBR 2002) held at The Robert Gordon University in Aberdeen, UK.

Computational Science is the scienti?

ECDL 2002 was the 6th conference in the series of European Conferences on Research and Advanced Technologies for Digital Libraries.

Autonomous agents have become a vibrant research and development topic in recent years attracting activity and attention from various areas.

This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets.

This book constitutes the refereed proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science, MFCS 2002, held in Warsaw, Poland in August 2002.

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002.

This book presents refereed and revised papers presented at GREC 2001, the 4th IAPR International Workshop on Graphics Recognition, which took place in Kingston, Ontario, Canada in September 2001.

This volume contains the papers selected for presentation at the Third Inter- tional Conference on Rough Sets and Current Trends in Computing (RSCTC 2002) held at Penn State Great Valley, Malvern, Pennsylvania, U.

We are pleased to present the proceedings of the Second Workshop on Al- rithms in Bioinformatics (WABI 2002), which took place on September 17-21, 2002 in Rome, Italy.