Sciweavers

2740 search results - page 88 / 548
» Approximating Component Selection
Sort
View
ICCV
1999
IEEE
15 years 12 months ago
Wallflower: Principles and Practice of Background Maintenance
Background maintenance is a frequent element of video surveillance systems. We develop Wallflower, a threecomponent system for background maintenance: the pixellevel component per...
Kentaro Toyama, John Krumm, Barry Brumitt, Brian M...
PTS
2008
98views Hardware» more  PTS 2008»
14 years 11 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
IJON
2007
102views more  IJON 2007»
14 years 9 months ago
Methodology for long-term prediction of time series
In this paper, a global methodology for the long-term prediction of time series is proposed. This methodology combines direct prediction strategy and sophisticated input selection...
Antti Sorjamaa, Jin Hao, Nima Reyhani, Yongnan Ji,...
PLDI
2011
ACM
14 years 23 days ago
EnerJ: approximate data types for safe and general low-power computation
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
Adrian Sampson, Werner Dietl, Emily Fortuna, Danus...
STOC
2010
ACM
261views Algorithms» more  STOC 2010»
15 years 2 months ago
An Improved LP-based Approximation for Steiner Tree
The Steiner tree problem is one of the most fundamental ÆÈ-hard problems: given a weighted undirected graph and a subset of terminal nodes, find a minimum weight tree spanning ...
Jaroslaw Byrka, Fabrizio Grandoni, Thomas Rothvoss...