Sciweavers

3865 search results - page 160 / 773
» From Bidirectionality to Alternation
Sort
View
ICPR
2002
IEEE
16 years 5 months ago
Projective Factorization of Planes and Cameras in Multiple Views
This paper proposes a novel method for the projective reconstruction of planes and cameras from multiple images by factorizing a matrix containing all planar homographies between ...
Carsten Rother, Stefan Carlsson, Dennis Tell
ICML
2006
IEEE
16 years 5 months ago
Quadratic programming relaxations for metric labeling and Markov random field MAP estimation
Quadratic program relaxations are proposed as an alternative to linear program relaxations and tree reweighted belief propagation for the metric labeling or MAP estimation problem...
Pradeep D. Ravikumar, John D. Lafferty
ISBI
2006
IEEE
16 years 5 months ago
A nonparametric reconstruction and its matrix implementation for the diffusion orientation transform (DOT)
The diffusion orientation transform (DOT) enables the computation of orientational probability profiles from high angular resolution diffusion-weighted magnetic resonance imaging ...
Evren Özarslan, Timothy M. Shepherd, Baba C. ...
DCC
2010
IEEE
15 years 11 months ago
LZ77-Like Compression with Fast Random Access
We introduce an alternative Lempel-Ziv text parsing, LZ-End, that converges to the entropy and in practice gets very close to LZ77. LZ-End forces sources to finish at the end of ...
Sebastian Kreft, Gonzalo Navarro
FASE
2009
Springer
15 years 11 months ago
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
Laura Kovács, Andrei Voronkov