Sciweavers

3 search results - page 1 / 1
» Sampling with Memoization
Sort
View
ACCV
2009
Springer
13 years 11 months ago
Robust Real-Time Multiple Target Tracking
We propose a novel efficient algorithm for robust tracking of a fixed number of targets in real-time with low failure rate. The method is an instance of Sequential Importance Resa...
Nicolai von Hoyningen-Huene, Michael Beetz
PLDI
2012
ACM
11 years 7 months ago
Proving acceptability properties of relaxed nondeterministic approximate programs
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
Michael Carbin, Deokhwan Kim, Sasa Misailovic, Mar...