774 search results - page 55 / 155 » A subdivision-based algorithm for the sparse resultant |
102
click to vote
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
112
click to vote
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
The emerging theory of compressed sensing (CS) provides a universal signal detection approach for sparse signals at sub-Nyquist sampling rates. A small number of random projection...
108
click to vote
ICDAR
2007
IEEE
15 years 7 months ago
2007
IEEE
We describe an unsupervised learning algorithm for extracting sparse and locally shift-invariant features. We also devise a principled procedure for learning hierarchies of invari...
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
— Most work on the simultaneous localization and mapping (SLAM) problem assumes the frequent availability of dense information about the environment such as that provided by a la...
107
click to vote
ROBOCUP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Self-localization in dynamic environments is a central problem in mobile robotics and is well studied in the literature. One of the most popular methods is the Monte Carl...