Sciweavers

1128 search results - page 107 / 226
» Classical Natural Deduction
Sort
View
CVPR
1997
IEEE
16 years 2 months ago
Images as embedding maps and minimal surfaces: movies, color, and volumetric medical images
A general geometrical framework for image processing is presented. We consider intensity images as surfaces in the (x I) space. The image is thereby a two dimensional surface in t...
Ron Kimmel, Ravi Malladi, Nir A. Sochen
98
Voted
ECCV
1996
Springer
16 years 2 months ago
Euclidean Reconstruction: From Paraperspective to Perspective
In this paper we describe a method to perform Euclidean reconstruction with a perspective camera model. It incrementally performs reconstruction with a paraperspective camera in or...
Stéphane Christy, Radu Horaud
ICPR
2002
IEEE
16 years 1 months ago
Optical Snow and the Aperture Problem
Classical studies of measuring image motion by computer have concentrated on the case of optical flow, in which there is a unique velocity near each point of the image. In [5], we...
Richard Mann, Michael S. Langer
118
Voted
ICML
2009
IEEE
16 years 1 months ago
Online dictionary learning for sparse coding
Sparse coding--that is, modelling data vectors as sparse linear combinations of basis elements--is widely used in machine learning, neuroscience, signal processing, and statistics...
Julien Mairal, Francis Bach, Jean Ponce, Guillermo...
IUI
2010
ACM
15 years 9 months ago
Interactive machine translation using a web-based architecture
In this paper we present a new way of translating documents by using a Web-based system. An interactive approach is proposed as an alternative to post-editing the output of a mach...
Daniel Ortiz-Martínez, Luis A. Leiva, Vicen...