Informatik (15 755 Artikel)

Following the highly successful International Conference on Computer Vision - stems held in Las Palmas, Spain (ICVS'99), this second International Workshop on Computer Vision Systems, ICVS 2001 was...

Keynote Papers.- Algorithms, Games, and the Internet.- Automata, Circuits, and Hybrids: Facets of Continuous Time.- Invited Papers.- Languages, Rewriting Systems, and Verification of Infinite-State...

As the first book devoted to relational data mining, this coherently written multi-author monograph provides a thorough introduction and systematic overview of the area. The first part introduces t...

This book constitutes the refereed proceedings of the 9th International Conference on High-Performance Computing and Networking, HPCN Europe 2001, held in Amsterdam, The Netherlands in June 2001.Th...

This book constitutes the refereed proceedings of the 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001, held in Cascais, Portugal in July 2001. The 31 revised full papers ...

This book constitutes the refereed proceedings of the Second International Conference on Web-Age Information Management, WAIM 2001, held in Xi'an, China, in July 2001.The 21 revised full papers and...

Praktische Einführung in das Hochleistungsrechnen auf Linux-Clustern

A Few Thoughts on E-Commerce.- New CBC-MAC Forgery Attacks.- Cryptanalysis of a Public Key Cryptosystem Proposed at ACISP 2000.- Improved Cryptanalysis of the Self-Shrinking Generator.- Attacks Bas...

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 ...

Papers.- Dudeney Dissections of Polygons and Polyhedrons - A Survey -.- Universal Measuring Devices Without Gradations.- A Note on the Purely Recursive Dissection for a Sequentially n-Divisible Squ...

The Advanced Course on Artificial Intelligence ACAI 2001 with the subtitle M ulti- Agent Systems and Their Applications , held in Prague, Czech Republic, was a joint event of ECCAI (the European Co...

Invited Paper.- Analysis of Multithreaded Programs.- Program Transformation.- Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.- Using Slicing to Identif...

Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like planning, scheduling, coordination, communication, transport, simulation, an...

This book constitutes the refereed proceedings of the Third International Conference on Scale-Space and Morphology in Computer Vision, Scale-Space 2001, held in Vancouver, Canada in July 2001.The 1...

Full Papers.- Harnessing Models of Users' Goals to Mediate Clarification Dialog in Spoken Language Systems.- Modeling the Acquisition of English: An Intelligent CALL Approach ?.- Recognizing Time P...