Informatik (15 755 Artikel)

This book constitutes the refereed proceedings of the 5th European Conference on Principles of Data Mining and Knowledge Discovery, PKDD 2001, held in Freiburg, Germany, in September 2001.The 40 re...

This book constitutes the refereed proceedings of the 12th European Conference on Machine Learning, ECML 2001, held in Freiburg, Germany, in September 2001.The 50 revised full papers presented toge...

Digital libraries (DLs) are major advances in information technology that frequently fall short of expectations [7, 28]. Covi & Kling [7] argue that understanding the wider context of technology us...

A Refinement Operator for Theories.- Learning Logic Programs with Neural Networks.- A Genetic Algorithm for Propositionalization.- Classifying Uncovered Examples by Rule Stretching.- Relational Lea...

This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods. CHARME 2001 is the 11th in a series of wor...

These are the proceedings of the Fifth International Workshop on Cooperative Information Agents, held in Modena, Italy, September 6-8, 2001. Information agent technology has become one of the major...

The size, complexity, and integration level of software systems is increasing c- stantly. Companies in all domains identify that software de?nes the competitive edge of their products. These develo...

Die stetige Weiterentwicklung von Methoden und Konzepten der Sensorfusion, der künstlichen und verteilten künstlichen Intelligenz sowie die Innovationen auf dem Gebiet der Sensorik und Aktorik und ...

Data Warehousing and Knowledge Discovery technology is emerging as a key technology for enterprises that wish to improve their data analysis, decision support activities, and the automatic extracti...

Invited Papers.- Local Reasoning about Programs that Alter Data Structures.- Applications of Alfred Tarski's Ideas in Database Theory.- Locus Solum: From the Rules of Logic to the Logic of Rules.- ...

This book constitutes the refereed proceedings of the 4th International Conference on Text, Speech and Dialogue, TSD 2001, held in Zelezna Ruda, Czech Republic in September 2001.The 59 revised pape...

This volume constitutes the proceedings of the second International Workshop on the Semantics, Applications, and Implementation of Program Generation (SAIG 2001)held on 6 September, 2001, in Floren...

ALENEX'01.- Solving a "Hard" Problem to Approximate an "Easy" One: Heuristics for Maximum Matchings and Maximum Traveling Salesman Problems.- CNOP - A Package for Constrained Network Optimization.-...

Welcome to Free Convection Film Flows and Heat Transfer! Free convection ?lm ?ows occur in many industrial processes. However, engineers still have to deal with many unresolved problems. This book ...

Why is the question of the di?erence between living and non-living matter - tellectually so attractive to the man of the West? Where are our dreams about our own ability to understand this di?erenc...