59 search results - page 6 / 12 » A New Approach to Model-Based Diagnosis Using Probabilistic ... |
ILP
2005
Springer
14 years 6 days ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
ASIAN
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
CBMS
1999
IEEE
13 years 11 months ago
1999
IEEE
Recent advances in networking, robotics, and computer technology allow today realtime diagnosis, consultation, and education by using images obtained through remote microscopy. Th...
IJAR
2002
13 years 6 months ago
2002
The usual methods of applying Bayesian networks to the modeling of temporal processes, such as Dean and Kanazawa's dynamic Bayesian networks (DBNs), consist in discretizing t...
ITC
1997
IEEE
13 years 11 months ago
1997
IEEE
: Accurate diagnosis is an essential requirement in many testing environments, since it is the basis for any repair or replacement strategy used for chip or system fault-tolerance....