231 search results - page 37 / 47 » A Brief Overview of HOL4 |
ISEMANTICS
2010
13 years 10 months ago
2010
We present BibBase, a system for publishing and managing bibliographic data available in BibTeX files. BibBase uses a powerful yet light-weight approach to transform BibTeX files ...
LREC
2008
13 years 10 months ago
2008
The project described in this paper is funded by the French Ministry of Research. It aims at providing producers of Language Resources, and HLT players in general, with a guide wh...
ECIS
2001
13 years 10 months ago
2001
This paper analyses the structure of the Internet marketplace and the business relationships of key players involved in network services provision. A brief overview of existing pr...
TREC
2000
13 years 10 months ago
2000
We describe the structure and functioning of an answer-extraction system built from the ground up, in only three person-months, using shallow text-processing techniques. Underlyin...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Data mining is the task of discovering interesting patterns from large amounts of data. There are many data mining tasks, such as classification, clustering, association rule mini...