Sciweavers

14 search results - page 3 / 3
» On the Convergence of Reduction-based and Model-based Method...
Sort
View
DLT
2008
13 years 7 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 10 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
14 years 5 days 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
14 years 7 days 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