478 search results - page 30 / 96 » Formal Modelling of Cognitive Interpretation |
128
click to vote
KI
2002
Springer
15 years 1 months ago
2002
Springer
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
154
Voted
CAV
2009
Springer
15 years 6 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
SEMCO
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper is a theoretical analysis of formal annotation and ontology for the expression of the semantics of document. They are found wanting in this respect, not only for techni...
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...
107
click to vote
ICANN
2003
Springer
15 years 7 months ago
2003
Springer
The problem of category learning has been traditionally investigated by employing disembodied categorization models. One of the basic tenets of embodied cognitive science states th...