2496 search results - page 374 / 500 » On covering by translates of a set |
314
click to vote
ICCV
2011
IEEE
14 years 8 months ago
2011
IEEE
Software available at http://disi.unitn.it/~uijlings or http://koen.me/research/
For object recognition, the current state-of-the-art is based on exhaustive search. However, to ...
168
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
—Content-based document image retrieval is a new and promising research area. Without OCR, document indexing directly based on image content is more general and convenient. Howev...
177
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
—A method for locating mathematical expressions in document images without the use of optical character recognition is presented. An index of document regions is produced from re...
189
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
176
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...