Informatik (15 755 Artikel)

Description logics (DLs) are used to represent structured knowledge. Inference services testing consistency of knowledge bases and computing subconcept/superconcept hierarchies are the main feature...

The first international symposium on mathematical foundations of the finite element method was held at the University of Maryland in 1973. During the last three decades there has been great progres...

Cognitive Technology: Instruments of Mind Cognitive Technology is the study of the impact of technology on human cog- tion, the externalization of technology from the human mind, and the pragmatics...

Dieses Lehrbuch gibt eine praxisnahe Einführung in die Informatik.Zunächst werden die Grundlagen der Kodierung und der Informationsdarstellung abgehandelt und Kontroll- und Datenstrukturen vorgeste...

This volume is the third in an ongoing series of books that deal with the state of the art in timetabling research. It contains a selection of the papers presented at the 3rd International Conferen...

Intelligent agents are one of the most important developments in computer science of the past decade. Agents are of interest in many important application areas, ranging from human-computer interac...

Session 1 - Invited Talk.- Approximation of Multiobjective Optimization Problems.- Session 2A.- Optimal, Suboptimal, and Robust Algorithms for Proximity Graphs.- Optimal Möbius Transformations for ...

1 Computer Animated Mathematics Videotapes.- 2 A Virtual Reconstruction of a Virtual Exhibit.- 3 An Intuitive Approach to Elementary Mathematics on the Web.- 4 OpenMath Technology for Interactive M...

Genetic programming (GP), one of the most advanced forms of evolutionary computation, has been highly successful as a technique for getting computers to automatically solve problems without having ...

Crypto 2001, the 21st Annual Crypto conference, was sponsored by the Int- national Association for Cryptologic Research (IACR) in cooperation with the IEEE Computer Society Technical Committee on S...

Dynamic Congestion Avoidance Using Multi-Agents Systems.- Use of agents for resolving feature interactions.- IMAGO: A Prolog-based System for Intelligent Mobile Agents.- Mobile Agents and Legacy Sy...

This book constitutes the refereed proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001, held in Toulouse, France in Septem...

This book constitutes the joint refereed proceedings of the 4th International Workshop on Approximation Algorithms for Optimization Problems, APPROX 2001 and of the 5th International Workshop on Ra...

Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied ...

Invited Papers.- Towards Axiomatic Basis of Inductive Inference.- Approximation Algorithms for Fractional Covering and Packing Problems, and Applications.- Challenges of Commutation.- Approximating...