1129 search results - page 189 / 226 » Modular Ranking Abstraction |
126
click to vote
IMA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The GeometricXL algorithm is a geometrically invariant version of the XL algorithm that uses polynomials of a much smaller degree than either a standard Groebner basis al...
122
click to vote
MATES
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Searching for information in large rather unstructured realworld data sets is a di cult task, because the user expects immediate responses as well as high-quality search ...
147
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— This paper studies the sequential object recognition problem faced by a mobile robot searching for specific objects within a cluttered environment. In contrast to curr...
146
Voted
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
109
Voted
PIMRC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—In multi-user multiple-input multiple-output (MUMIMO) systems, spatial multiplexing can be employed to increase the throughput without the need for multiple antennas and...