Sciweavers

4926 search results - page 410 / 986
» Two Graph Algorithms On an Associative Computing Model
Sort
View
CVPR
2004
IEEE
15 years 8 months ago
Efficient Graphical Models for Processing Images
Graphical models are powerful tools for processing images. However, the large dimensionality of even local image data poses a difficulty: representing the range of possible graphi...
Marshall F. Tappen, Bryan C. Russell, William T. F...
ICPR
2008
IEEE
15 years 11 months ago
Resolution enhancement for binocular stereo
Traditional stereo algorithms estimate disparity at the same resolution as the observations. In this work we address the problem of estimating disparity and occlusion information ...
Arnav V. Bhavsar, A. N. Rajagopalan
UIST
2005
ACM
15 years 10 months ago
Supporting interaction in augmented reality in the presence of uncertain spatial knowledge
A significant problem encounteredwhen building Augmented Reality (AR) systems is that all spatial knowledge about the world has uncertainty associated with it. This uncertainty m...
Enylton Machado Coelho, Blair MacIntyre, Simon Jul...
CVPR
2007
IEEE
16 years 6 months ago
An MRF and Gaussian Curvature Based Shape Representation for Shape Matching
Matching and registration of shapes is a key issue in Computer Vision, Pattern Recognition, and Medical Image Analysis. This paper presents a shape representation framework based ...
Pengdong Xiao, Nick Barnes, Tibério S. Caet...
ESOP
2008
Springer
15 years 6 months ago
Verification of Higher-Order Computation: A Game-Semantic Approach
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
C.-H. Luke Ong