Sciweavers

1402 search results - page 169 / 281
» Sparse-Memory Graph Search
Sort
View
SOFSEM
2004
Springer
15 years 11 months ago
A Model of Versioned Web Sites
In this paper we present a model of versioned web sites which is aimed at building a web site configuration. The web site configuration is a consistent version of the web site an...
Mária Bieliková, Ivan Noris
ICRA
2003
IEEE
108views Robotics» more  ICRA 2003»
15 years 11 months ago
PCG: a foothold selection algorithm for spider robot locomotion in 2D tunnels
This paper presents an algorithm, called PCG, for planning the foothold positions of spider-like robots in planar tunnels bounded by piecewise linear walls. The paper focuses on 3-...
Amir Shapiro, Elon Rimon
SI3D
2003
ACM
15 years 11 months ago
Interactive navigation in complex environments using path planning
We present a novel approach for interactive navigation in complex 3D synthetic environments using path planning. Our algorithm precomputes a global roadmap of the environment by u...
Brian Salomon, Maxim Garber, Ming C. Lin, Dinesh M...
160
Voted
ADBIS
2003
Springer
95views Database» more  ADBIS 2003»
15 years 11 months ago
Distance Join Queries of Multiple Inputs in Spatial Databases
Let a tuple of n objects obeying a query graph (QG) be called the n-tuple. The “Ddistance-value” of this n-tuple is the value of a linear function of distances of the n objects...
Antonio Corral, Yannis Manolopoulos, Yannis Theodo...
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 10 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann