81 search results - page 8 / 17 » PARAM: A Model Checker for Parametric Markov Models |
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Tracking moving objects from image sequences obtained by a moving camera is a difficult problem since there exists apparent motion of the static background. It becomes more dif...
AAAI
2010
13 years 10 months ago
2010
Many machine learning applications that involve relational databases incorporate first-order logic and probability. Markov Logic Networks (MLNs) are a prominent statistical relati...
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
This paper presents an efficient method to integrate various spatial-temporal constraints to regularize the contour tracking. The global shape of the contour is represented in a p...
ECBS
2007
IEEE
14 years 15 days ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
CSFW
2002
IEEE
14 years 1 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...