1973 search results - page 172 / 395 » The Construction of Ludic Space |
141
click to vote
TACAS
2005
Springer
15 years 12 months ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
177
click to vote
ESA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we study the external memory planar point enclosure problem: Given N axis-parallel rectangles in the plane, construct a data structure on disk (an index) su...
198
click to vote
HT
1996
ACM
15 years 10 months ago
1996
ACM
HyPursuit is a new hierarchical network search engine that clusters hypertext documents to structure a given information space for browsing and search activities. Our content-link...
166
click to vote
NIPS
2008
15 years 7 months ago
2008
Sequential optimal design methods hold great promise for improving the efficiency of neurophysiology experiments. However, previous methods for optimal experimental design have in...
211
click to vote
PDPTA
1996
15 years 7 months ago
1996
An important research topic in image processing is stereo vision. The objective is to compute a 3-dimensional representation of some scenery from two 2-dimensional digital images....