1477 search results - page 14 / 296 » What's the point of documentation |
ICALP
1992
Springer
13 years 12 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
Many computer vision algorithms require searching a set of images for similar patches, which is a very expensive operation. In this work, we compare and evaluate a number of neares...
ACL
2003
13 years 9 months ago
2003
This paper investigates an application of the ranked region algebra to information retrieval from large scale but unannotated documents. We automatically annotated documents with ...
ENTCS
2002
13 years 7 months ago
2002
If S = 0 is a system of n equations and unknowns over C and S() = 0 to what extent can we compute with the point ? In particular, can we decide whether or not a polynomial express...
IPCV
2007
13 years 9 months ago
2007
Abstract In the analysis of any unconstrained document image it is necessary to first decide what the main area of interest is. Previous work has been done on simply removing the ...