Sciweavers

17 search results - page 1 / 4
» A combination framework for tracking partition sizes
Sort
View
195
Voted
POPL
2009
ACM
15 years 11 months ago
A combination framework for tracking partition sizes
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
109
Voted
ICRA
2009
IEEE
175views Robotics» more  ICRA 2009»
14 years 8 months ago
A combination of particle filtering and deterministic approaches for multiple kernel tracking
Color-based tracking methods have proved to be efficient for their robustness qualities. The drawback of such global representation of an object is the lack of information on its s...
Céline Teuliere, Éric Marchand, Laur...
87
Voted
SCOPES
2004
Springer
15 years 3 months ago
Combined Data Partitioning and Loop Nest Splitting for Energy Consumption Minimization
For mobile embedded systems, the energy consumption is a limiting factor because of today’s battery capacities. Besides the processor, memory accesses consume a high amount of en...
Heiko Falk, Manish Verma
104
Voted
ICCV
2007
IEEE
16 years 6 days ago
Real-time Body Tracking Using a Gaussian Process Latent Variable Model
In this paper, we present a tracking framework for capturing articulated human motions in real-time, without the need for attaching markers onto the subject's body. This is a...
Shaobo Hou, Aphrodite Galata, Fabrice Caillette, N...
91
Voted
CVPR
2003
IEEE
16 years 8 days ago
Robust Data Clustering
We address the problem of robust clustering by combining data partitions (forming a clustering ensemble) produced by multiple clusterings. We formulate robust clustering under an ...
Ana L. N. Fred, Anil K. Jain