Sciweavers

149 search results - page 2 / 30
» A Probabilistic Vehicle Diagnostic System Using Multiple Mod...
Sort
View
AMAI
2002
Springer
13 years 4 months ago
Probabilistic Argumentation Systems and Abduction
Probabilistic argumentation systems are based on assumption-based reasoning for obtaining arguments supporting hypotheses and on probability theory to compute probabilities of sup...
Jürg Kohlas, Dritan Berzati, Rolf Haenni
AAAI
1993
13 years 6 months ago
Hybrid Case-Based Reasoning for the Diagnosis of Complex Devices
A novel approach to integrating case-based reasoning with model-based diagnosis is presented. The main idea is to use the model of the device and the results of diagnostic tests t...
Michel P. Féret, Janice I. Glasgow
IEEEARES
2006
IEEE
13 years 10 months ago
Application of the Digraph Method in System Fault Diagnostics
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...
E. M. Kelly, L. M. Bartlett
FORMATS
2006
Springer
13 years 8 months ago
Extended Directed Search for Probabilistic Timed Reachability
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
Husain Aljazzar, Stefan Leue
ICRA
2008
IEEE
130views Robotics» more  ICRA 2008»
13 years 11 months ago
Motion estimation using multiple non-overlapping cameras for small unmanned aerial vehicles
— An imaging sensor made of multiple light-weight non-overlapping cameras is an effective sensor for a small unmanned aerial vehicle that has strong payload limitation. This pape...
Jun-Sik Kim, Myung Hwangbo, Takeo Kanade