Sciweavers

1322 search results - page 124 / 265
» Efficient Goal-Directed Exploration
Sort
View
112
Voted
VLDB
2001
ACM
102views Database» more  VLDB 2001»
15 years 8 months ago
Form-Based Proxy Caching for Database-Backed Web Sites
We explore a new proxy-caching framework that exploits the query semantics of HTML forms. We identify a common class of form-based queries, and study two representative caching sc...
Qiong Luo, Jeffrey F. Naughton
129
Voted
ICRA
1999
IEEE
118views Robotics» more  ICRA 1999»
15 years 7 months ago
Rapid Physics-Based Rough-Terrain Rover Planning with Sensor and Control Uncertainty
In future planetary exploration missions, rovers will be required to autonomously traverse challenging environments. Much of the previous work in robot motion planning cannot be s...
Karl Iagnemma, Frank Génot, Steven Dubowsky
135
Voted
AI
1998
Springer
15 years 7 months ago
Temporally Invariant Junction Tree for Inference in Dynamic Bayesian Network
Abstract. Dynamic Bayesian networks (DBNs) extend Bayesian networks from static domains to dynamic domains. The only known generic method for exact inference in DBNs is based on dy...
Yang Xiang
126
Voted
CAV
1998
Springer
98views Hardware» more  CAV 1998»
15 years 7 months ago
Verification of Timed Systems Using POSETs
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
Wendy Belluomini, Chris J. Myers
148
Voted
RT
1998
Springer
15 years 7 months ago
Global Ray-Bundle Tracing with Hardware Acceleration
The paper presents a single-pass, view-dependent method to solve the general rendering equation, using a combined finite element and random walk approach. Applying finite element t...
László Szirmay-Kalos, Werner Purgath...