162 search results - page 6 / 33 » Extraction in Coq: An Overview |
INEX
2009
Springer
14 years 6 days ago
2009
Springer
Abstract. The goal of the INEX 2009 Book Track is to evaluate approaches for supporting users in reading, searching, and navigating the full texts of digitized books. The investiga...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
This paper gives an overview of the Caderige project. This project involves teams from different areas (biology, machine learning, natural language processing) in order to develop...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
CLEF
2008
Springer
13 years 9 months ago
2008
Springer
The VideoCLEF track, introduced in 2008, aims to develop and evaluate tasks related to analysis of and access to multilingual multimedia content. In its first year, VideoCLEF pilo...
CLEF
2008
Springer
13 years 9 months ago
2008
Springer
We describe the WebCLEF 2008 task. Similarly to the 2007 edition of WebCLEF, the 2008 edition implements a multilingual "information synthesis" task, where, for a given t...