4106 search results - page 337 / 822 » A Computational Model for Metric Spaces |
141
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper, we propose a novel component-wise smoothing algorithm that constructs a hierarchy (or family) of smoothened log-likelihood surfaces. Our approach first smoothens th...
201
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
Tracking body poses of multiple persons in monocular video is a challenging problem due to the high dimensionality of the state space and issues such as inter-occlusion of the pers...
201
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
184
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
The need to reuse the performance macromodels of an analog circuit topology challenges existing regression based modeling techniques. A model of good reusability should have a num...
131
click to vote
SPIN
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...