1129 search results - page 189 / 226 » Modular Ranking Abstraction |
IMA
2009
Springer
14 years 2 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...
MATES
2009
Springer
14 years 2 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 ...
ICRA
2008
IEEE
14 years 2 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...
LICS
2008
IEEE
14 years 2 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 ...
PIMRC
2008
IEEE
14 years 2 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...