Informatik (15 757 Artikel)

4th International Conference, EC-Web, Prague, Czech Republic, September 2-5, 2003, Proceedings

We are glad to present the proceedings of the 5th biennial conference in the Intelligent Data Analysis series. The conference took place in Berlin, Germany, August 28-30, 2003. IDA has by now clear...

We are pleased to present the proceedings of Performance TOOLS 2003, the 13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. The series of TOOLS con...

A Formal Approach to Real-Time Systems

The EGOV Conference Series intends to assess the state of the art in e-Gove- ment and to provide guidance for research and development in this fast-moving ?eld. The annual conferences bring togethe...

Multimedia Applications

Soft computing techniques have reached a significant level of recognition and - ceptance from both the academic and industrial communities. The papers collected in this volume illustrate the depth ...

The conference on Object Oriented Information Systems (OOIS) is now an es- blished international conference where innovative ideas, research, applications, and experiences in the design, developmen...

Image Analysis I.- Coherence-Enhancing Shock Filters.- Spherical Decision Surfaces Using Conformal Modelling.- Median Filtering of Tensor-Valued Images.- Edge and Junction Detection with an Improve...

Here are the proceedings of the 12th International Workshop on Security P- tocols. We hope that you will enjoy them, and that they will cause you to think at least one heretical thought. Please wri...

Invited Lectures.- 1: Tools and Theory.- 2: Applications.

Invited Talks.- Exploiting Large-Scale Semantics on the Web.- Acquiring and Sharing Knowledge in Large Organizations: Issues, Requirements and Methodologies.- Agents.- Property Based Coordination.-...

This book constitutes the refereed proceedings of the 8th Annual European Symposium on Algorithms, ESA 2000, held in Saarbrücken, Germany in September 2000. The 39 revised full papers presented tog...

Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing paradigm, which is considered one of the best ...

Inference of Finite-State Transducers by Using Regular Grammars and Morphisms.- Computational Complexity of Problems on Probabilistic Grammars and Transducers.- Efficient Ambiguity Detection in C-N...