1532 search results - page 216 / 307 » The Symbol Grounding Problem |
184
click to vote
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
114
click to vote
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Recently, there has been an increasing number of depth cameras available at commodity prices. These cameras can usually capture both color and depth images in real-time, ...
124
click to vote
CG
2000
Springer
15 years 8 months ago
2000
Springer
This paper proposes a new method for searching two-valued (binary) game trees in games like chess or Go. Lambda-search uses null-moves together with different orders of threat-sequ...
106
click to vote
AGP
1999
IEEE
15 years 8 months ago
1999
IEEE
We study the problem of an efficient and precise sharing analysis of (constraint) logic programs. After recognizing that neither aring nor its non-redundant (but equivalent) abstra...
117
click to vote
CVPR
1997
IEEE
15 years 8 months ago
1997
IEEE
The exact positioning of patients during radiotherapy is essential for high precision treatment. The registration of portal image sequences can help to control the patient positio...