1738 search results - page 58 / 348 » Local Consistency and SAT-Solvers |
208
click to vote
IJRR
2002
15 years 5 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...
638
click to vote
CVPR
2011
IEEE
15 years 3 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...
271
click to vote
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...
144
click to vote
FOSSACS
2010
Springer
16 years 18 days 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 ...
133
click to vote
HICSS
2009
IEEE
16 years 17 days 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...