4962 search results - page 491 / 993 » Stochastic Model Checking |
107
click to vote
FUIN
2006
15 years 4 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
134
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
This paper introduces a new registration method estimating the displacement field of bodies which deformations are constrained by an articulated rigid body. We propose an articula...
142
click to vote
ICML
1998
IEEE
16 years 5 months ago
1998
IEEE
Stochastic topological models, and hidden Markov models in particular, are a useful tool for robotic navigation and planning. In previous work we have shown how weak odometric dat...
146
Voted
P2P
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Peer-to-peer storage systems aim to provide a reliable long-term storage at low cost. In such systems, peers fail continuously, hence, the necessity of self-repairing me...
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper presents a systematic analysis of the motion of microscale structures actuated by flagellated bacteria. We perform the study both experimentally and theoretically. ...