1086 search results - page 81 / 218 » A Probabilistic Model for Software Projects |
108
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
87
Voted
ICIAP
2003
ACM
16 years 23 days ago
2003
ACM
This paper deals with the problem of error estimation in 3D reconstruction. It shows how interval analysis can be used in this way for 3D vision applications. The description of a...
105
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper describes a model-based probabilistic framework for tracking a fleet of laboratory-scale underwater vehicles using multiple fixed cameras. We model the target moti...
129
Voted
ICDCS
2002
IEEE
15 years 5 months ago
2002
IEEE
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...
97
Voted
FOSSACS
2003
Springer
15 years 5 months ago
2003
Springer
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...