821 search results - page 104 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
109
click to vote
BMVC
2010
14 years 10 months ago
2010
The paper proposes a new method to perform foreground detection by means of background modeling using the tensor concept. Sometimes, statistical modelling directly on image values...
102
click to vote
ECCV
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. There has been much effort invested in increasing the robustness of human body tracking by incorporating motion models. Most approaches are probabilistic in nature and se...
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
DSVIS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
PDP
2009
IEEE
15 years 6 months ago
2009
IEEE
Existing approaches for modelling the Internet delay space predict end-to-end delays between two arbitrary hosts as static values. Further, they do not capture the characteristics...