Sciweavers

1128 search results - page 107 / 226
» Classical Natural Deduction
Sort
View
138
Voted
CVPR
1997
IEEE
16 years 6 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
ECCV
1996
Springer
16 years 5 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 5 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
144
Voted
ICML
2009
IEEE
16 years 4 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...
122
Voted
IUI
2010
ACM
16 years 25 days 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...