Sciweavers

1317 search results - page 120 / 264
» Fusions of Description Logics and Abstract Description Syste...
Sort
View
AGI
2011
14 years 10 months ago
Towards a General Vision System Based on Symbol-Relation Grammars and Bayesian Networks
Abstract. A novel approach to create a general vision system is presented. The proposed method is based on a visual grammar representation which is transformed to a Bayesian networ...
Elias Ruiz, Augusto Meléndez, Luis Enrique ...
PARA
2004
Springer
15 years 11 months ago
Automatic Derivation of Linear Algebra Algorithms with Application to Control Theory
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
Paolo Bientinesi, Sergey Kolos, Robert A. van de G...
FASE
2001
Springer
15 years 11 months ago
A CSP View on UML-RT Structure Diagrams
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
Clemens Fischer, Ernst-Rüdiger Olderog, Heike...
OSDI
2002
ACM
16 years 6 months ago
CMC: A Pragmatic Approach to Model Checking Real Code
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
Madanlal Musuvathi, David Y. W. Park, Andy Chou, D...
WSC
1998
15 years 7 months ago
Emulation of a Material Delivery System
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...
Todd LeBaron, Kelly Thompson