3637 search results - page 207 / 728 » On Dynamic Bit-Probe Complexity |
CAV
2010
Springer
15 years 2 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
ASWC
2008
Springer
15 years 24 days ago
2008
Springer
Both semantic web applications and individuals are in need of knowledge infrastructures that can be used in dynamic and distributed environments where different autonomous entities...
95
Voted
COMPGEOM
2005
ACM
15 years 23 days ago
2005
ACM
We present a new multi-dimensional data structure, which we call the skip quadtree (for point data in R2) or the skip octree (for point data in Rd, with constant d > 2). Our da...
106
click to vote
NIPS
2008
15 years 7 days ago
2008
Motor primitives or motion templates have become an important concept for both modeling human motor control as well as generating robot behaviors using imitation learning. Recent ...
RECOSOC
2007
15 years 7 days ago
2007
Electronic equipments with higher performance, lower power consumption, and smaller size motivate the research for more efficient design methods. Platform-based design is a method...