3804 search results - page 245 / 761 » From Here to There |
176
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The choice of the best binarization algorithm is very critical for any document image processing system, since it is one of the first tasks and any mistake it performs will be car...
199
click to vote
FAC
2010
15 years 5 months ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
169
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper addresses the problem of state estimation in the case where the prior distribution of the states is not perfectly known but instead is parameterized by some unknown par...
170
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Safe navigation through corridors plays a major role in the autonomous use of Micro Aerial Vehicles (MAVs) in indoor environments. In this paper, we present an approach for wal...
176
click to vote
JCT
2010
15 years 5 months ago
2010
The pattern-avoiding fillings of Young diagrams we study arose from Postnikov’s work on positive Grassman cells. They are called Γ -diagrams, and are in bijection with decorate...