2969 search results - page 391 / 594 » A space efficient algorithm for group structure computation |
170
click to vote
STOC
2001
ACM
16 years 5 months ago
2001
ACM
We study two fundamental static data structure problems, membership and perfect hashing, in Yao's cell probe model. The first space and bit probe optimal worst case upper bou...
136
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
– Future robotic space missions will employ a precision soft-landing capability that will enable exploration of previously inaccessible sites that have strong scientific signific...
152
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
139
click to vote
CCGRID
2009
IEEE
15 years 8 months ago
2009
IEEE
The understanding of H diffusion in materials is pivotal to designing suitable processes. Though a nudged elastic band (NEB)+molecular dynamics (MD)/quantum mechanics (QM) algori...
360
click to vote
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
Given a dataset P and a preference function f, a top-k query retrieves the k tuples in P with the highest scores according to f. Even though the problem is well-studied in convent...