4962 search results - page 468 / 993 » Stochastic Model Checking |
147
click to vote
CVPR
1999
IEEE
16 years 6 months ago
1999
IEEE
A spatio-temporal representation for complex optical flow events is developed that generalizes traditional parameterized motion models (e.g. affine). These generative spatio-tempo...
VLSID
2005
IEEE
16 years 4 months ago
2005
IEEE
This paper explores the recovery and rate capacity effect for batteries used in embedded systems. It describes the prominent battery models with their advantages and drawbacks. It...
142
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— To realize the harmonious cooperation with the operator, the man-machine cooperative system must be designed so as to accommodate with the characteristics of the operator’s s...
114
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes a novel method of estimating 3-D hand posture from images observed in complex backgrounds. Conventional methods often cause mistakes by mis-matches of local ima...
115
click to vote
RE
2005
Springer
15 years 9 months ago
2005
Springer
The importance of assumptions in Requirements Engineering has long been recognised. However, to the best of our knowledge, no quantitative models for the relation between assumpti...