714 search results - page 73 / 143 » Formal Verification of Cognitive Models |
114
click to vote
COMPSAC
2007
IEEE
15 years 5 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
WETICE
2006
IEEE
15 years 8 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
143
Voted
DAGSTUHL
2006
15 years 3 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...
133
click to vote
SRDS
1999
IEEE
15 years 6 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
108
click to vote
DLOG
2003
15 years 3 months ago
2003
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...