Sciweavers

4100 search results - page 162 / 820
» General Linear Cameras
Sort
View
FSTTCS
2009
Springer
15 years 11 months ago
Automata and temporal logic over arbitrary linear time
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
Julien Cristau
ASIACRYPT
2000
Springer
15 years 8 months ago
Provable Security for the Skipjack-like Structure against Differential Cryptanalysis and Linear Cryptanalysis
In this paper we introduce a structure iterated by the rule A of Skipjack and show that this structure is provably resistant against differential or linear attacks. It is the main ...
Jaechul Sung, Sangjin Lee, Jong In Lim, Seokhie Ho...
CORR
2011
Springer
163views Education» more  CORR 2011»
14 years 11 months ago
On Conditions for Linearity of Optimal Estimation
—When is optimal estimation linear? It is well-known that, in the case of a Gaussian source contaminated with Gaussian noise, a linear estimator minimizes the mean square estimat...
Emrah Akyol, Kumar Viswanatha, Kenneth Rose
ECCV
2002
Springer
16 years 6 months ago
Learning Shape from Defocus
We present a novel method for inferring three-dimensional shape from a collection of defocused images. It is based on the observation that defocused images are the null-space of ce...
Paolo Favaro, Stefano Soatto
CVPR
1999
IEEE
16 years 6 months ago
Yet another Method for Pose Estimation: A Probabilistic Approach using Points, Lines, and Cylinders
In this work, we use points, lines, and the linear extremal contours of cylinders to estimate the position and orientation of the camera in the world coordinate system. Other line...
Robert Hanek, Nassir Navab, Mirko Appel