1547 search results - page 160 / 310 » The Isabelle Collections Framework |
133
Voted
ISCIS
2009
Springer
15 years 5 months ago
2009
Springer
—Information about individuals on publicly available web sites stands as a valuable, yet unorganized, data source. Turning such an enormous data source into a “database” is h...
117
Voted
CIKM
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we are mainly concerned with discussion of a formal model, based on the basic concept of divergence from information theory, for automatic query expansion. The basic...
102
click to vote
PROFES
2001
Springer
15 years 5 months ago
2001
Springer
Requirements Evolution represents one of the major problems in developing computer-based systems. Current practice in Requirement Engineering relies on process-oriented methodologi...
101
click to vote
ICPR
2000
IEEE
15 years 5 months ago
2000
IEEE
We describe a graph-based global registration method for creating 2D mosaic images. When multi-frames overlap in space, global registration is necessary to minimize the accumulate...
116
Voted
CIKM
1999
Springer
15 years 5 months ago
1999
Springer
We examine metadata and data-structure issues for the Historical Newspaper Digital Library. This project proposes to digitize and then do OCR and linguisting processing on several...