13917 search results - page 215 / 2784 » Abstraction of Probabilistic Systems |
221
click to vote
ICFEM
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
201
click to vote
AIME
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...
180
click to vote
CLEAR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Simultaneous tracking of multiple persons in real world environments is an active research field and several approaches have been proposed, based on a variety of features...
197
click to vote
CPAIOR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
225
click to vote
PAA
2008
15 years 7 months ago
2008
Abstract We introduce a system that processes a sequence of images of a front-facing human face and recognises a set of facial expressions. We use an efficient appearance-based fac...