Sciweavers

3281 search results - page 240 / 657
» Bases for parametrized iterativity
Sort
View
139
Voted
ACSD
2004
IEEE
102views Hardware» more  ACSD 2004»
15 years 10 months ago
Arrays and Contracts for the Specification and Analysis of Regular Systems
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
Florence Maraninchi, Lionel Morel
SIAMIS
2008
97views more  SIAMIS 2008»
15 years 6 months ago
Cascadic Multiresolution Methods for Image Deblurring
This paper investigates the use of cascadic multiresolution methods for image deblurring. Iterations with a conjugate gradient-type method are carried out on each level, and termin...
Serena Morigi, Lothar Reichel, Fiorella Sgallari, ...
FGCS
2000
83views more  FGCS 2000»
15 years 6 months ago
A Graph-based Ant System and its convergence
: A general framework for solving combinatorial optimization problems heuristically by the Ant System approach is developed. The framework is based on the concept of a construction...
Walter J. Gutjahr
MOC
2002
101views more  MOC 2002»
15 years 6 months ago
Global and uniform convergence of subspace correction methods for some convex optimization problems
This paper gives some global and uniform convergence estimates for a class of subspace correction (based on space decomposition) iterative methods applied to some unconstrained con...
Xue-Cheng Tai, Jinchao Xu
ICCV
2009
IEEE
15 years 4 months ago
BLOGS: Balanced local and global search for non-degenerate two view epipolar geometry
This work considers the problem of estimating the epipolar geometry between two cameras without needing a prespecified set of correspondences. It is capable of resolving the epipo...
Aveek S. Brahmachari, Sudeep Sarkar