Sciweavers

163 search results - page 19 / 33
» event 2001
Sort
View
IJCAI
2001
13 years 11 months ago
Causal interaction: from a high-level representation to an operational event-based representation
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
Irène Grosclaude, Marie-Odile Cordier, Rene...
IJCAI
2001
13 years 11 months ago
From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax
This paper describes the Region Occlusion Calculus (ROC-20), that can be used to model spatial occlusion and the effects of motion parallax of arbitrary shaped objects. ROC-20 ass...
David A. Randell, Mark Witkowski, Murray Shanahan
IJCAI
2001
13 years 11 months ago
Distributed Monitoring of Hybrid Systems: A model-directed approach
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
Feng Zhao, Xenofon D. Koutsoukos, Horst W. Haussec...
SDL
2001
73views Hardware» more  SDL 2001»
13 years 11 months ago
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
Jens Grabowski, Peter Graubmann, Ekkart Rudolph
TREC
2001
13 years 11 months ago
Integrating Features, Models, and Semantics for TREC Video Retrieval
In this paper, we describe a system for automatic and interactive content-based retrieval of video that integrates features, models, and semantics. The novelty of the approach lie...
John R. Smith, Savitha Srinivasan, Arnon Amir, San...