Informatik (15 755 Artikel)

Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for finite model theory are found in database theory, ...

"Anything happens must have its own reason ". Although I cannot really recall exactly when I heard of this statement for the first time, it is always in my mind and in fact it has been one of the m...

Invited Lectures.- Approximation Schemes for Metric Clustering Problems.- Positional Determinacy of Infinite Games.- Structural Complexity (I).- Individual Communication Complexity.- The Complexity...

DIMACS/RECOMB Satellite Workshop, Piscataway, NJ, USA, November 21-22, 2002, Revised Papers

This volume contains the proceedings of the Latin American Theoretical Inf- matics (LATIN) conference that was held in Buenos Aires, Argentina, April 5-8, 2004. The LATIN series of symposia was lau...

The first edition having been sold out, gives me a welcome opportunity to augment this volume by some recent applications of speech research. A new chapter, by Holger Quast, treats speech dialogue ...

Diagrams in the Mind and in the World: Relations between Internal and External Visualizations.- Can Diagrams Have Epistemic Value? The Case of Euclid.- Inferential and Expressive Capacities of Grap...

ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number ...

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spai...

Scientific and Clinical Workflows.- An Ontology-Driven Framework for Data Transformation in Scientific Workflows.- PROVA: Rule-Based Java-Scripting for a Bioinformatics Semantic Web.- Process Based...

The Complete Documentation of the Common Algebraic Specification Language

A Tree-Based Approach

ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number ...

In the mid 1960s, when a single chip contained an average of 50 transistors, Gordon Moore observed that integrated circuits were doubling in complexity every year. In an in?uential article publishe...

Keynote Addresses.- Addressing the Data Problem: The Legal Framework Governing Forensics in an Online Environment.- KAoS: A Policy and Domain Services Framework for Grid Computing and Semantic Web ...