2492 search results - page 320 / 499 » On the General Signature Trees |
135
click to vote
ICRA
2007
IEEE
16 years 8 days ago
2007
IEEE
Abstract— The Rapidly-exploring Random Tree (RRT) algorithm has found widespread use in the field of robot motion planning because it provides a single-shot, probabilistically c...
158
click to vote
IPPS
2007
IEEE
16 years 7 days ago
2007
IEEE
The problem of counting specified combinations of a given set of variables arises in many statistical and data mining applications. To solve this problem, we introduce the PDtree...
136
click to vote
APPROX
2007
Springer
16 years 4 days ago
2007
Springer
abstract Manor Mendel1 and Assaf Naor2 1 The Open University of Israel 2 Courant Institute Let (X, dX ) be an n-point metric space. We show that there exists a distribution D over ...
171
click to vote
ATVA
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
159
click to vote
CONCUR
2007
Springer
16 years 3 days ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...