391 search results - page 7 / 79 » Code Improvements for Model Elimination Based Reasoning Syst... |
TSMC
2010
13 years 2 months ago
2010
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
NC
1998
13 years 9 months ago
1998
: This paper describes a system, which integrates Neural Network (NN) models into adaptation circle of Case-based Reasoning (CBR) system. Neural Network supported adaptation can pr...
TABLEAUX
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
CAEPIA
2003
Springer
13 years 11 months ago
2003
Springer
CBR systems are normally used to assist experts in the resolution of problems. During the last few years, researchers have been working in the development of techniques to automate...
ICMCS
2008
IEEE
14 years 2 months ago
2008
IEEE
This proposal presents a new error robust strategy for encoding redundant pictures for the H.264/AVC standard. The method is based on providing motion vectors as redundant data, i...