529 search results - page 87 / 106 » Property Directed Abstract Interpretation |
CDC
2009
IEEE
14 years 11 days ago
2009
IEEE
Abstract—This work considers the problem of reaching consensus in an unreliable linear consensus network. A solution to this problem is relevant for several tasks in multi-agent ...
CDC
2009
IEEE
14 years 11 days ago
2009
IEEE
Abstract— In this paper we consider the problem of estimating the attitude of a rigid body equipped with a triad of rate gyros and a pan and tilt camera. The nonlinear attitude o...
ICCS
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. The results of analytical approximations and extensive calculations based on a path integral Monte Carlo (PIMC) scheme are presented. A new (direct) PIMC method allows fo...
CAIP
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. We propose a new computational method for segmenting topological sub-dimensional point-sets in scalar images of arbitrary spatial dimensions. The technique is based on co...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We study resolving conflicts between an action description and a set of conditions (possibly obtained from observations), in the context of action languages. In this form...