1738 search results - page 58 / 348 » Local Consistency and SAT-Solvers |
IJRR
2002
13 years 7 months ago
2002
A key component of a mobile robot system is the ability to localize itself accurately and, simultaneously, to build a map of the environment. Most of the existing algorithms are b...
217
click to vote
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
This paper shows that an image can be approximately reconstructed based on the output of a blackbox local description software such as those classically used for image indexing. Ou...
Publication
The size of computer networks, along with their bandwidths, is growing exponentially. To support these large, high-speed networks, it is neccessary to be able to forward packets in...
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Scrum was designed for hyperproductive teams where productivity increases by 5-10 times over industry averages and many colocated teams have achieved this effect. The question for...