3922 search results - page 431 / 785 » Working Models for Uncertain Data |
141
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
152
Voted
JOT
2007
15 years 3 months ago
2007
Demand for quality software has undergone with rapid growth during the last few years. This is leading to an increase in the development of metrics for measuring the properties of...
154
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We address the problem of denoising for image patches. The approach taken is based on Bayesian modeling of sparse representations, which takes into account dependencies between th...
284
Voted
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
Complex human activities occurring in videos can be defined in terms of temporal configurations of primitive actions. Prior work typically hand-picks the primitives, their total...
122
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Much of the research on video-based human motion capture assumes the body shape is known a priori and is represented coarsely (e.g. using cylinders or superquadrics to model limbs...