13917 search results - page 181 / 2784 » Abstraction of Probabilistic Systems |
174
click to vote
FLAIRS
2008
15 years 9 months ago
2008
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
194
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
201
click to vote
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper analyzes the movements of the human body limbs (hands, feet and head) and center of gravity in order to detect simple actions such as walking, jumping and displacing an...
212
click to vote
LICS
1998
IEEE
15 years 10 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
300
click to vote
AR
2011
15 years 2 months ago
2011
This paper presents a novel method for learning object manipulation such as rotating an object or placing one object on another. In this method, motions are learned using referenc...