4502 search results - page 337 / 901 » Regular Model Checking |
181
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
The paper presents a motion estimation method based on data assimilation in a dynamic model, named Image Model, expressing the physical evolution of a quantity observed on the ima...
157
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
We consider the least-square linear regression problem with regularization by the 1-norm, a problem usually referred to as the Lasso. In this paper, we present a detailed asymptot...
187
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
We present an improved statistical model of Poisson processes, with applications in photon-limited imaging. We build on previous work, adopting a multiscale representation of the ...
123
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
The common approach to image matching is to detect spatial features present in both images and create a mapping that relates both images. The main drawback of this method takes pl...
157
click to vote
LATIN
2010
Springer
16 years 1 months ago
2010
Springer
Abstract The LLL algorithm aims at finding a “reduced” basis of a Euclidean lattice. The LLL algorithm plays a primary role in many areas of mathematics and computer science. ...