5115 search results - page 674 / 1023 » On Randomized Lanczos Algorithms |
181
click to vote
ISSAC
2007
Springer
16 years 22 days ago
2007
Springer
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...
162
click to vote
SARA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In constraint satisfaction, local search is an incomplete method for finding a solution to a problem. Solving a general constraint satisfaction problem (CSP) is known to...
157
click to vote
SAT
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of v...
191
click to vote
3DPVT
2006
IEEE
16 years 20 days ago
2006
IEEE
We present an algorithm for generating panoramic images of complex scenes from a multi-sensor camera. We further present a programmable graphics hardware implementation to process...
108
click to vote
ICRA
2006
IEEE
16 years 19 days ago
2006
IEEE
— This paper addresses the problem of maneuvering an object by pushing it through an environment with obstacles. Instead of only pushing the object through open spaces, we also a...