Sciweavers

17 search results - page 1 / 4
» A combination framework for tracking partition sizes
Sort
View
POPL
2009
ACM
14 years 5 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
ICRA
2009
IEEE
175views Robotics» more  ICRA 2009»
13 years 2 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...
SCOPES
2004
Springer
13 years 10 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
ICCV
2007
IEEE
14 years 6 months 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...
CVPR
2003
IEEE
14 years 7 months 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