1010 search results - page 179 / 202 » Logics for Contravariant Simulations |
110
click to vote
PARMA
2004
15 years 3 months ago
2004
The purpose of this paper is to study the problem of pattern classification as this is presented in the context of data mining. Among the various approaches we focus on the use of ...
118
click to vote
IJCAI
2003
15 years 3 months ago
2003
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model by specifying the characters involved in the scenario, the sub-sce...
121
click to vote
MCU
1998
15 years 3 months ago
1998
A reversible cellular automaton (RCA) is a cellular automaton (CA) whose global function is injective and every configuration has at most one predecessor. Margolus showed that the...
134
click to vote
AAAI
1996
15 years 3 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
123
click to vote
GLVLSI
2008
IEEE
15 years 2 months ago
2008
IEEE
Due to the increasing complexity of today's circuits a high degree of automation in the design process is mandatory. The detection of faults and design errors is supported qu...