Sciweavers

14 search results - page 3 / 3
» On the Convergence of Reduction-based and Model-based Method...
Sort
View
DLT
2008
13 years 6 months ago
Derivation Tree Analysis for Accelerated Fixed-Point Computation
We show that for several classes of idempotent semirings the least fixed-point of a polynomial system of equations X = f(X) is equal to the least fixed-point of a linear system obt...
Javier Esparza, Stefan Kiefer, Michael Luttenberge...
ECAI
2000
Springer
13 years 9 months ago
Towards Real-Time Search with Inadmissible Heuristics
Real-time search has two aspects, one as an efficient search method (in a single problem solving trial), and the other as an overall problem solving architecture with learning abi...
Masashi Shimbo, Toru Ishida
ICPR
2008
IEEE
13 years 11 months ago
Lennard-Jones force field for Geometric Active Contour
This paper presents a new Geometric Active Contour (GAC) model based on Lennard-Jones (L-J) force field, which is inspired by the theory of intermolecular interaction. It is diff...
Zhenglong Li, Qingshan Liu, Hanqing Lu, Dimitris N...
COMPGEOM
2009
ACM
13 years 11 months ago
Coresets for polytope distance
Following recent work of Clarkson, we translate the coreset framework to the problems of finding the point closest to the origin inside a polytope, finding the shortest distance...
Bernd Gärtner, Martin Jaggi