5740 search results - page 386 / 1148 » Dynamic Distributed BackJumping |
217
click to vote
DAGSTUHL
2000
15 years 8 months ago
2000
This paper introduces our one-armed stationary humanoid robot GripSee together with research projects carried out on this platform. The major goal is to have it analyze a table sce...
173
click to vote
UAI
1998
15 years 8 months ago
1998
The monitoring and control of any dynamic system depends crucially on the ability to reason about its current status and its future trajectory. In the case of a stochastic system,...
172
click to vote
IM
1997
15 years 8 months ago
1997
In this paper we present the initial specification of a system that covers both the control and management planes of network operation, with emphasis on fault, performance, and co...
244
click to vote
AVSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Visual tracking with moving cameras is a challenging task. The global motion induced by the moving camera moves the target object outside the expected search area, according to th...
192
click to vote
IJCSA
2006
15 years 6 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...