63 search results - page 4 / 13 » A parametric programming approach to moving-horizon state es... |
71
Voted
PEPM
2009
ACM
15 years 7 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...
119
click to vote
SIGMETRICS
2008
ACM
14 years 10 months 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 ...
CDC
2009
IEEE
15 years 2 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...
62
Voted
AAAI
2006
15 years 9 days 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 ...
128
click to vote
ICIP
2001
IEEE
16 years 14 days 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...