Bücher für Datenbanken - englischsprachig  (22.000 Angebote unter 17.391.740 Artikeln)

Many different fractal dimensions have been proposed for networks. In the theory and computation of the most important of these dimensions are reviewed, including the box counting dimension, the co...

The main goal of this book is to explain the core ideas of process mining, and to demonstrate how they can be implemented using just some basic tools that are available to any computer scientist or...

Metrological Comparison of Time-of-flight, Structured-light and Active Stereoscopy Technologies

In the software development process, formal verification and functional testing are complementary approaches which are used to verify the functional correctness of software; however, even perfectly...

A Primer on Scientific Programming with Python

This book presents a comprehensive catalogue of elementary data types like sets, maps, orders, trees and lists, written in Ada. Such data types are often used in systems programming. The major focu...

provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and ...

To understand the problems in metamodeling, this work presents an investigation of bad smells in metamodels. The core contribution of this work is the reference structure. It enables design, evolut...

Searching is an important process in most AI systems, especially in those AI production systems consisting of a global database, a set of production rules, and a control system. Because of the intr...

As in other fields, in computer science certain objects of study can be synthesized from different basic elements, in different ways, and with different resulting stabilities. In subfields such as ...

Ada* is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the US Department of Defense (DoD) ensures that it ...

Taking human factors into account, a visual servoing approach aims to facilitate robots with real-time situational information to accomplish tasks in direct and proximate collaboration with people....

This book presents the first unified formalization for defining novelty across the span of machine learning, symbolic-reasoning, and control and planning-based systems.  Dealing with novelty, thing...

A Rigorous Semantics for BPMN 2.0 Process Diagrams

This book constitutes the refereed proceedings of the International Workshop CCAAI 2012, held in Nice, France, in October 2012. The book includes 31 papers which were carefully reviewed and selecte...