Sciweavers

631 search results - page 89 / 127
» Additive Approximation for Edge-Deletion Problems
Sort
View
ICCV
2009
IEEE
1957views Computer Vision» more  ICCV 2009»
15 years 2 months ago
Robust Visual Tracking using L1 Minimization
In this paper we propose a robust visual tracking method by casting tracking as a sparse approximation problem in a particle filter framework. In this framework, occlusion, corru...
Xue Mei, Haibin Ling
CVPR
2000
IEEE
14 years 11 months ago
Fast Multiscale Image Segmentation
We introduce a fast, multiscale algorithm for image segmentation. Our algorithm uses modern numeric techniques to nd an approximate solution to normalized cut measures in time tha...
Eitan Sharon, Achi Brandt, Ronen Basri
ICFEM
2009
Springer
14 years 3 months ago
Circular Coinduction with Special Contexts
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
Dorel Lucanu, Grigore Rosu
ICAS
2005
IEEE
90views Robotics» more  ICAS 2005»
14 years 2 months ago
A TCP-Friendly Stateless AQM Scheme for Fair Bandwidth Allocation
Queue management, bandwidth share, and congestion control are very important to both robustness and fairness of the Internet. In this article, we investigate the problem of provid...
Cheng-Yuan Hoa, Yi-Cheng Chan, Yaw-Chung Chen
CD
2005
Springer
14 years 2 months ago
Improving Availability in Large, Distributed Component-Based Systems Via Redeployment
In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall av...
Marija Mikic-Rakic, Sam Malek, Nenad Medvidovic