5267 search results - page 239 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
196
click to vote
FMCO
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
255
click to vote
ICRA
2006
IEEE
16 years 16 days ago
2006
IEEE
— In this paper, we present a trajectory tracking control algorithm for an autonomous motorcycle for the DARPA Grand Challenge. The mathematical dynamic model of the autonomous m...
197
click to vote
IJCV
2007
15 years 6 months ago
2007
In this article we present the integration of 3-D shape knowledge into a variational model for level set based image segmentation and contour based 3-D pose tracking. Given the sur...
166
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper, we discuss a Distributed Monte Carlo (DMC) tracking method which achieves real-time and accurate face tracking for wearable active vision systems. The DMC is an ext...
153
click to vote
PDIS
1993
IEEE
15 years 10 months ago
1993
IEEE
semantic knowledge all concurrent partitionedAbstract updates to an object must be treated as conflicting, andOptimistic replication is an important technique for merged manually b...