422 search results - page 25 / 85 » A Model of Plausibility |
ITS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
73
Voted
BC
2005
14 years 9 months ago
2005
Recent physiological findings revealed that about one-third of motion-sensitive neurons in the pigeon's pretectal nucleus encoded the acceleration of visual motion. Here we pr...
COGSR
2011
14 years 4 months ago
2011
Methods for cleaning up (or recognizing) states of a neural network are crucial for the functioning of many neural cognitive models. For example, Vector Symbolic Architectures pro...
IEPOL
2008
14 years 9 months ago
2008
We study the distribution dynamics of the demand for books in Italy. We find that for each of three broad sub-markets in which the book publishing industry can be classified - Ita...
95
Voted
UAI
1992
14 years 10 months ago
1992
In this paper, a unified framework for representing uncertain information based on the notion of an interval structure is proposed. It is shown that the lower and upper approximat...