1053 search results - page 158 / 211 » On k-Path Covers and their applications |
143
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we describe an application of OCR techniques to quality control in industrial production. The purpose of the system is to verify the correct printing of numerical in...
166
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
199
click to vote
PG
2003
IEEE
15 years 11 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
184
click to vote
SIGCSE
2003
ACM
15 years 11 months ago
2003
ACM
Computer graphics forms an important part of a working scientist’s tools. This may be provided by resources with the scientist’s group or by capabilities of the toolkits that ...
154
click to vote
COCOON
2003
Springer
15 years 11 months ago
2003
Springer
We design efficient competitive algorithms for discovering hidden information using few queries. Specifically, consider a game in a given set of intervals (and their implied inte...