1445 search results - page 18 / 289 » Properties of state spaces and their applications |
182
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— Bilateral Control by States Convergence is a novel and little exploited control strategy that has been successfully applied to the teleoperation of robotic manipulators using S...
151
click to vote
MOBIQUITOUS
2007
IEEE
16 years 11 days ago
2007
IEEE
Abstract— In this paper we present the design and implementation of a space service that gives pervasive computing applications both a hierarchical and coordinate-based view of p...
170
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...
169
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
165
click to vote
AAAI
1996
15 years 7 months ago
1996
The state space of most adversary games is a directed graph. However, due to the success of simple recursive algorithms based on Alpha-Beta, theoreticians and practitioners have c...