1024 search results - page 17 / 205 » Compositional Methods for Probabilistic Systems |
103
click to vote
EVOW
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A system for automatic composition using grammatical evolution is presented. Compositions are created under the constraints of a generative grammar, and under the bias of...
TSMC
2008
15 years 1 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
Recent work in matting, hole filling, and compositing allows image elements to be mixed in a new composite image. Previous algorithms for matting foreground elements have assumed ...
102
click to vote
CSFW
2007
IEEE
15 years 7 months ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
114
click to vote
SRDS
1994
IEEE
15 years 5 months ago
1994
IEEE
We propose an improved probabilistic method for reading remote clocks in systems subject to unbounded communication delays and use this method to design a family of fault-tolerant...