Informatik, EDV (136 Artikel)

Agent-Based Methods in Finance, Game Theory and Their Applications

Keynote Speech.- Games for Formal Design and Verification of Reactive Systems.- Evolution of Model Checking into the EDA Industry.- Abstraction Refinement.- Invited Speech.- Tools for Automated Ver...

Kann man Software automatisch erzeugen? Kann man kostenintensive manuelle Tätigkeiten während Entwurfs- und Implementierungsphasen automatisieren? Diese und ähnliche Fragestellungen führten zum vor...

This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC 2008, held in Oslo, Norway, in June 2008, co-located with UIC 2008, the 5th...

The evolution of the Internet has led us to the new era of the information infrastructure. As the information systems operating on the Internet are getting larger and more complicated, it is clear ...

Face Recognition.- Face Recognition Based on Locally Salient ICA Information.- Pose Invariant Face Recognition Under Arbitrary Unknown Lighting Using Spherical Harmonics.- Biometric Face Authentica...

Mobile agents are a quite new and interesting paradigm for the implementation of distributed systems. As with most distributed systems, mobile agent applications are usually developed and installed...

This volume presents the proceedings of the 10th International Workshop on Combinatorial Image Analysis, held December 1-3, 2004, in Auckland, New Zealand. Prior meetings took place in Paris (Franc...

Sharper Upper and Lower Bounds for an Approximation Scheme for Consensus-Pattern.- On the Longest Common Rigid Subsequence Problem.- Text Indexing with Errors.- A New Compressed Suffix Tree Support...

The fourth campaign of the Cross-language Evaluation Forum (CLEF) for European languages was held from January to August 2003. Participation in this campaign showed a slight rise in the number of p...

The Logical Way to Be Artificially Intelligent.- The Logical Way to Be Artificially Intelligent.- Foundational Aspects of Agency.- Ability in a Multi-agent Context: A Model in the Situation Calculu...

Over recent years, the notion of agency has claimed a major role in de?ning the trends of modern research. In?uencing a broad spectrum of disciplines such as sociology, psychology, philosophy and m...

Section 1 - Fundamentals of Cortical Dynamics.- Dynamics of Storage and Recall in Hippocampal Associative Memory Networks.- On the Nested Hierarchical Organization of CNS: Basic Characteristics of ...

The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, S...

The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, S...