10 search results - page 1 / 2 » Iterating Transducers in the Large (Extended Abstract) |
CAV
2003
Springer
14 years 4 months ago
2003
Springer
CP
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
SIAMSC
2008
13 years 10 months ago
2008
Abstract. This paper presents a new stochastic preconditioning approach for large sparse matrices. For the class of matrices that are row-wise and column-wise irreducibly diagonall...
IJCV
2007
13 years 10 months ago
2007
Abstract. We address the problem of finding the correspondences of two point sets in 3D undergoing a rigid transformation. Using these correspondences the motion between the two s...