Sciweavers

2056 search results - page 13 / 412
» time 2000
Sort
View
119
Voted
TACAS
2000
Springer
96views Algorithms» more  TACAS 2000»
15 years 7 months ago
On Memory-Block Traversal Problems in Model-Checking Timed-Systems
Fredrik Larsson, Paul Pettersson, Wang Yi
80
Voted
VLDB
2000
ACM
109views Database» more  VLDB 2000»
15 years 7 months ago
Contrast Plots and P-Sphere Trees: Space vs. Time in Nearest Neighbour Searches
Jonathan Goldstein, Raghu Ramakrishnan