696 search results - page 82 / 140 » Explaining abstract counterexamples |
110
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
The phenomenon of visual curve completion, where the visual system completes the missing part (e.g., due to occlusion) between two contour fragments, is a major problem in percept...
150
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
We examine a knowledge representation architecture to support context interchange mediation. For autonomous receivers and sources sharing a common subject domain, the mediator’s...
117
click to vote
CG
2000
Springer
15 years 7 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...
132
Voted
ER
1998
Springer
15 years 7 months ago
1998
Springer
Abstract: Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather ...
123
click to vote
ASAP
2004
IEEE
15 years 7 months ago
2004
IEEE
We explain how modern programmable logic devices have capabilities that are well suited for them to assume a central role in the implementation of networked systems, now and in th...