1056 search results - page 120 / 212 » A Probabilistic Applied Pi-Calculus |
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— This paper presents an approach to create topological maps from geometric maps obtained with a mobile robot in an indoor-environment using range data. Our approach util...
ACRI
2006
Springer
14 years 2 months ago
2006
Springer
For simulating physical and chemical processes on molecular level asynchronous cellular automata with probabilistic transition rules are widely used being sometimes referred to as ...
NPAR
2006
ACM
14 years 2 months ago
2006
ACM
Felt is mankind’s oldest and simplest textile, composed of a pressed mass of fibers. Images can be formed directly in the fabric by arranging the fibers to represent the image...
CSFW
2005
IEEE
14 years 2 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper proposed a novel video shot clustering algorithm using spectral method by joint modeling of inter and intra shot. Gauss Mixture Model (GMM) is used for probabilistic sp...