162 search results - page 19 / 33 » Extraction in Coq: An Overview |
JCDL
2003
ACM
14 years 27 days ago
2003
ACM
To access the content of digital texts efficiently, it is necessary to provide more sophisticated access than keyword based searching. Genescene provides biomedical researchers wi...
CICLING
2006
Springer
13 years 11 months ago
2006
Springer
The automatic generation of back-of-the book indexes seems to be out of sight of the Information Retrieval and Natural Language Processing communities, although the increasingly la...
DGO
2003
13 years 9 months ago
2003
Shoreline mapping and shoreline change detection are critical in many coastal zone applications. This paper presents results of the semi-automatic mapping of a coastal area of Lak...
PERCOM
2006
ACM
14 years 7 months ago
2006
ACM
In this paper, we present a general architecture and a new retrieval method for an educational system that is based on a knowledge base of existing recorded lectures. The extracti...
ICSOC
2009
Springer
14 years 2 months ago
2009
Springer
The Web is nowadays moving from a Web of data to a Web of services. In this paper we present our approach for Web Service discovery on Web scale, targeted to support flexible and ...