13917 search results - page 54 / 2784 » Abstraction of Probabilistic Systems |
109
click to vote
DPD
2010
14 years 7 months ago
2010
Abstract Bloom filters are extensively used in distributed applications, especially in distributed databases and distributed information systems, to reduce network requirements and...
BIBE
2008
IEEE
2008
IEEE
Assessment of muscle fatigue using a probabilistic framework for an EMG-based robot control scenario
14 years 11 months ago
Abstract-- Human-robot control interfaces have received in
CSFW
1998
IEEE
15 years 1 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
164
click to vote
ENTCS
2006
14 years 9 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
ECML
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Explanation based learning produces generalized explanations from examples. These explanations are typically built in a deductive manner and they aim to capture the essen...