3951 search results - page 347 / 791 » Automatic amortized analysis |
190
click to vote
ILP
2003
Springer
15 years 12 months ago
2003
Springer
This work presents the application of theory revision to the design of distributed databases to automatically revise a heuristic-based algorithm (called analysis algorithm) through...
278
click to vote
ICIAR
2010
Springer
15 years 11 months ago
2010
Springer
In low-resolution images, people at large distance appear very small and we may be interested in detecting the subject’s face for recognition or analysis. However, recent face de...
161
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
177
click to vote
COOPIS
2000
IEEE
15 years 11 months ago
2000
IEEE
The identification and analysis of the knowledge available in document form is a key element of corporate knowledge management. In engineering-intensive organizations, it involves...
149
click to vote
DAS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we present a method for the automatic extraction of numerical fields (zip codes, phone numbers, etc.) from incoming mail documents. The approach is based o...