Sciweavers

643 search results - page 79 / 129
» Parsing And Derivational Equivalence
Sort
View
SIAMSC
2010
136views more  SIAMSC 2010»
13 years 2 months ago
A Krylov Method for the Delay Eigenvalue Problem
Abstract. The Arnoldi method is currently a very popular algorithm to solve large-scale eigenvalue problems. The main goal of this paper is to generalize the Arnoldi method to the ...
Elias Jarlebring, Karl Meerbergen, Wim Michiels
ICIP
2008
IEEE
14 years 9 months ago
LASIC: A model invariant framework for correspondence
In this paper we address two closely related problems. The first is the object detection problem, i.e., the automatic decision of whether a given image represents a known object o...
Bernardo Rodrigues Pires, João Xavier, Jos&...
ICIP
2002
IEEE
14 years 9 months ago
Interpretation of uniform translational image motion: DCT versus FT
We study properties of the discrete cosine transform (DCT) when applied to an image sequence formed by uniformly translating a still image. The Fourier transform (FT) applied to s...
Nikola Bozinovic, Janusz Konrad
DCC
2008
IEEE
14 years 7 months ago
Geometric Burrows-Wheeler Transform: Linking Range Searching and Text Indexing
We introduce a new variant of the popular Burrows-Wheeler transform (BWT) called Geometric Burrows-Wheeler Transform (GBWT). Unlike BWT, which merely permutes the text, GBWT conve...
Yu-Feng Chien, Wing-Kai Hon, Rahul Shah, Jeffrey S...
VMCAI
2010
Springer
14 years 5 months ago
Invariant and Type Inference for Matrices
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...
Thomas A. Henzinger, Thibaud Hottelier, Laura Kov&...