13917 search results - page 95 / 2784 » Abstraction of Probabilistic Systems |
184
click to vote
RSP
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose the novel concept of probabilistic design for multimedia systems and a methodology to quickly explore such design space at an early design stage. The pro...
196
click to vote
ASIAN
2003
Springer
15 years 11 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
178
click to vote
HUMO
2007
Springer
16 years 15 days ago
2007
Springer
In this paper, we introduce a first-order probabilistic model that combines multiple cues to classify human activities from video data accurately and robustly. Our system works in...
124
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
We report on the experiments undertaken by the NICTA I2D2 Group as part of GeoCLEF 2006, as well as post-GeoCLEF evaluations and improvements to the submitted system. In particular...
170
click to vote
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
15 years 4 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...