63 search results - page 4 / 13 » A parametric programming approach to moving-horizon state es... |
84
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
132
Voted
SIGMETRICS
2008
ACM
15 years 11 days ago
2008
ACM
Advances in networking technology have enabled network engineers to use sampled data from routers to estimate network flow volumes and track them over time. However, low sampling ...
96
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper describes a deterministic approach to adaptive state and parameter estimation using a multiple model structure. In the set-up adopted, the plant of interest is described...
AAAI
2006
15 years 1 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...
147
click to vote
ICIP
2001
IEEE
16 years 2 months ago
2001
IEEE
We present an approach to tracking human activities in a monocular video. We model the human body by decomposing it into torso and limbs and use simple 3D shapes to approximate th...