Informatik (15 757 Artikel)

Sequential behavior is essential to intelligence in general and a fundamental part of human activities, ranging from reasoning to language, and from everyday skills to complex problem solving. Sequ...

Die Unified Modeling Language (UML) ist die Standardnotation für objektorientierte Modelle. Unter durchgehender Verwendung der UML werden wesentliche Bestandteile der objektorientierten Software-En...

presents a unique collection of expository papers on major current issues in the field of computer science and information technology. The 26 contributions written by leading researchers on persona...

Eingeladener Vortrag I.- Resource Pricing for Differentiated Services.- Session 1: Verkehrsmanagement I.- Policy-basiertes Metering für IP-Netze.- PCR Policing: A Comparison of Fuzzy Policers vs. G...

Self-adaptive software evaluates its own behavior and changes its behavior when the evaluation indicates that the software does not accomplish what it is intended to do or when better functionality...

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether - ganising this event would have ...

These post-proceedings contain the revised versions of the papers presented at the \Symposium on Objects and Databases" which was held in Sophia-Antipolis, France, June 13, 2000, in conjunction wit...

It is now no longer necessary to argue the importance of agent technology. Be- des numerous conferences and workshops on speci c aspects of agent technology there are also many companies that are e...

CICLing 2001 is the second annual Conference on Intelligent text processing and Computational Linguistics (hence the name CICLing), see It is intended to provide a balanced view of the cutting edge...

Active Perception.- Visual Cues for a Fixating Active Agent.- Tracking with a Novel Pose Estimation Algorithm.- Real-Time Tracking of Articulated Human Models Using a 3D Shape-from-Silhouette Metho...

Invited Presentations.- Recurrence in Infinite Words.- Generalized Model-Checking Problems for First-Order Logic.- Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebr...

0.- Eingeladene Vorträge.- Database Support for Document and Multimedia Databases.- Bringing the Internet to your Database: Using SQLServer 2000 and XML to Build Loosely-Coupled Systems.- Sitzung 1...

Anonymity and unobservability have become key issues in the context of securing privacy on the Internet and in other communication networks. Services that provide anonymous and unobservable access ...

Software measurement is one of the key technologies employed to control and manage the software development process. Research avenues such as the applicability of metrics, the efficiency of measure...

This book constitutes the refereed proceedings of the First International Conference on Multi-Criterion Optimization, EMO 2001, held in Zurich, Switzerland in March 2001.The 45 revised full papers ...