900 search results - page 109 / 180 » Metric Structures and Probabilistic Computation |
FOSSACS
2003
Springer
14 years 2 months ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
ECCV
2010
Springer
14 years 2 months ago
2010
Springer
In this work we propose a hierarchical approach for labeling semantic objects and regions in scenes. Our approach is reminiscent of early vision literature in that we use a decompo...
CVPR
2011
IEEE
13 years 26 days ago
2011
IEEE
In this paper, we address invariant keypoint-based texture characterization and recognition. Viewing keypoint sets associated with visual textures as realizations of point process...
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a novel multi-view denoising algorithm. Our
algorithm takes noisy images taken from different viewpoints
as input and groups similar patches in the input images using
...
NPAR
2006
ACM
14 years 3 months ago
2006
ACM
Felt is mankind’s oldest and simplest textile, composed of a pressed mass of fibers. Images can be formed directly in the fabric by arranging the fibers to represent the image...