15754 search results - page 824 / 3151 » Programs are Knowledge Bases |
184
click to vote
PPDP
2010
Springer
15 years 6 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
394
click to vote
COSIT
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
186
click to vote
ITS
1992
Springer
15 years 11 months ago
1992
Springer
One aim of intelligent tutoring systems is to tailor lessons to each individual student's needs. To do this a tutoring system requires a model of the student's knowledge...
189
click to vote
FLAIRS
2007
15 years 10 months ago
2007
Although the elaboration of the case representation is the key problem of the case-based reasoning system conception, there exists no proven methodology targeted to this task. Thi...
228
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Recognizing and localizing objects is a classical problem in computer vision that is an important stage for many automated systems. In order to perform object recognition many res...