478 search results - page 9 / 96 » Formal Modelling of Cognitive Interpretation |
EURODAC
1994
IEEE
14 years 1 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
CAD
2002
Springer
13 years 9 months ago
2002
Springer
In this paper we discuss how to reconstruct 3D models from multi-view engineering draws by employing human engineers' approaches. Human's `divide and conquer' inter...
IFM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
TCS
2008
13 years 9 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
AAAI
2006
13 years 11 months ago
2006
I propose that the notion of cognitive state be broadened from the current predicate-symbolic, Language-of-Thought framework to a multi-modal one, where perception and kinesthetic...