Informatik (15.757 Artikel)

An Invitation to the Dance It is an underappreciated fact that sets may have various types of complex ity, and not all types are in harmony with each other. The primary goal of this book is to unif...

The book comprises an assembly of benchmarks and examples for porous media mechanics collected over the last twenty years. Analysis of thermo-hydro-mechanical-chemical (THMC) processes is essential...

Invited Contributions.- What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code.- Bounded Model Checking and SAT-Based Methods.- Automatic Abstraction without Counterexampl...

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

This book constitutes the refereed proceedings of the 7th International Conference on , TACAS 2001.The 36 revised full papers presented together with an invited contribution were carefully reviewed...

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Be...

Tools and Applications with Artificial Intelligence

Tools and Applications with Artificial Intelligence

As more and more hardware platforms support parallelism, parallel programming is gaining momentum. Applications can only leverage the performance of multi-core processors or graphics processing uni...

The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of System Manageme...

Cryptographers' Track at the RSA Conference 2023, San Francisco, CA, USA, April 24-27, 2023, Proceedings

Topics in Grammatical Inference

Topics in Grammatical Inference

Toward Category-Level Object Recognition

When we learn from books or daily experience, we make associations and draw inferences on the basis of information that is insufficient for under standing. One example of insufficient information m...