4106 search results - page 487 / 822 » A Computational Model for Metric Spaces |
220
click to vote
CVPR
2009
IEEE
2009
IEEE
Switching Gaussian Process Dynamic Models for simultaneous composite motion tracking and recognition
15 years 10 months ago
Traditional dynamical systems used for motion tracking cannot effectively handle high dimensionality of the motion states and composite dynamics. In this paper, to address both is...
219
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
221
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
In recent years, the increasing number of processor cores and limited increases in main memory bandwidth have led to the problem of the bandwidth wall, where memory bandwidth is b...
199
click to vote
SPIN
2004
Springer
16 years 7 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
223
click to vote
SCALESPACE
2001
Springer
15 years 11 months ago
2001
Springer
Receptive field sensitivity profiles of visual front-end cells in the LGN and V1 area in intact animals can be measured with increasing accuracy, both in the spatial and temporal...