Sciweavers

63 search results - page 11 / 13
» Minimizing NFA's and Regular Expressions
Sort
View
SCALESPACE
2007
Springer
14 years 2 months ago
A Consistent Spatio-temporal Motion Estimator for Atmospheric Layers
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
Patrick Héas, Étienne Mémin, ...
ICIP
2003
IEEE
14 years 10 months ago
Statistical atlas-based sub-voxel segmentation of 3D brain MRI
We present a 3D brain MRI segmentation method in which a high resolution label image evolves under the influence of multiple constraints. The constraints are expressed in a versat...
Marcel Bosc, Fabrice Heitz, Jean-Paul Armspach
ICPR
2010
IEEE
13 years 7 months ago
Estimating Apparent Motion on Satellite Acquisitions with a Physical Dynamic Model
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...
Etienne G. Huot, Isabelle Herlin, Nicolas Mercier,...
FOCM
2011
117views more  FOCM 2011»
13 years 3 months ago
Accuracy and Stability of Computing High-order Derivatives of Analytic Functions by Cauchy Integrals
Abstract High-order derivatives of analytic functions are expressible as Cauchy integrals over circular contours, which can very effectively be approximated, e.g., by trapezoidal s...
Folkmar Bornemann
CONCUR
2004
Springer
14 years 1 months ago
Characterizing EF and EX Tree Logics
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
Mikolaj Bojanczyk, Igor Walukiewicz