Expert & knowledge-based systems books

The papers in this volume are the refereed papers presented at AI-2011, the Thirty-first SGAI International Conference...  Read More >>

This book constitutes the refereed proceedings of the Third International KR4HC 2011 workshop held in conjunction...  Read More >>

This book constitutes the thoroughly refereed post-worksop proceedings of the 7th International Workshop Radio Frequency...  Read More >>

Constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer...  Read More >>

Constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer...  Read More >>

Constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer...  Read More >>

<p>The exploitation of theoretical results in knowledge representation, language standardization by W3C and data...  Read More >>

7 ERICSSON Safety System for Railway Control . 23 Use of Diversity in Experimental Reactor Safety Systems . Voges...  Read More >>

For the editors of this book, as well as for many other researchers in the area of fault-tolerant computing, Dr....  Read More >>

We show the need to go beyond the view of logic as a geometry of static truths, and to see logic, both at the proof-theoretic...  Read More >>

A festschrift dedicated to Prof Dr Heinz Gerhauser on the occasion of his retirement both from the position of Executive...  Read More >>

While automation is generally accepted as a method of improving system safety and performance, high levels of automation...  Read More >>

This view was reinforced at the EG '87 Hardware Workshop in Amsterdam and firmly established the need for such a...  Read More >>

Proceedings of the NATO Advanced Research Workshop on Real- Time Object and Environment Measurement and Qualification,...  Read More >>

The TRON Association, which was founded as an independent organization in March 1988, has been taking over the activities...  Read More >>

CAD (Computer Aided Design) technology is now crucial for every division of modern industry, from a viewpoint of...  Read More >>

The reader will find papers on the mathematical background, on reliability problems in establishments where system...  Read More >>

Jump Time-Delay Systems (JTDS) represent a new class of piece-wise deterministic systems, in which the underlying...  Read More >>

Hence, the different source code trans­ formations developed here lead to impressive performance improvements on...  Read More >>

Almost 4 years have elapsed since Dr. Ken Sakamura of The University of Tokyo first proposed the TRON (the realtime...  Read More >>

Das zeigt sich bereits bei den Anfängen der Bewegtbildübertragung und setzt sich fort im Ringen um die optimale...  Read More >>

This monograph describes a methodology for the design of knowledge-based systems. In knowledge engineering terms,...  Read More >>

Proceedings of the NATO Advanced Study Institute on Numerical Linear Algebra, Digital Signal Processing and Parallel...  Read More >>

The origin of the development of integrated circuits up to VLSI is found in the invention of the transistor, which...  Read More >>

The genesis of the NATO Advanced Study Institute (ASI) upon which this volume is based, occurred during the summer...  Read More >>