3902 search results - page 375 / 781 » Hardware Synthesis from C C Models |
154
click to vote
IJCAI
1989
15 years 8 months ago
1989
Diagnostic tasks involve identifying faulty components from observations of symptomatic device behavior. This paper presents a general diagnostic theory that uses the perspective ...
124
click to vote
AUTOMATICA
2007
15 years 7 months ago
2007
: In this paper we address the problem of detecting and isolating faults from noisy input/output measurements of a MIMO uncertain–system, subject to structured dynamic uncertaint...
202
Voted
JDCTA
2008
15 years 6 months ago
2008
Multimodal interfaces are the emerging technology that offers expressive, transparent, efficient, robust, and mobile human-computer interaction. In this paper, we described the sp...
177
Voted
LOGCOM
2006
15 years 6 months ago
2006
In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The ...
185
click to vote
TCS
2002
15 years 6 months ago
2002
We investigate Martin's game (as described in Arruda et al. (Eds.), On Random R. E. Sets, Non-Classical Logics, Model Theory and Computability, North-Holland, Amsterdam, 1977...