1632 search results - page 155 / 327 » Sublinear Time Algorithms for Metric Space Problems |
146
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...
134
Voted
CBMS
2007
IEEE
15 years 10 months ago
2007
IEEE
The tertiary structure and biological function of a protein can be better understood given knowledge of the number and location of its disulfide bonds. By utilizing mass spectrome...
122
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present an online method for POMDPs, called RTBSS (Real-Time Belief Space Search), which is based on a look-ahead search to find the best action to execute at e...
152
click to vote
ALGORITHMICA
2007
15 years 4 months ago
2007
In this paper we study the problems of detecting holes and antiholes in general undirected graphs, and we present algorithms for these problems. For an input graph G on n vertices ...
143
click to vote
AI
1999
Springer
15 years 3 months ago
1999
Springer
Bucket elimination is an algorithmic framework that generalizes dynamic programming to accommodate many problem-solving and reasoning tasks. Algorithms such as directional-resolut...