162 search results - page 18 / 33 » Extraction in Coq: An Overview |
TRECVID
2008
13 years 9 months ago
2008
This paper reports our experiments for TRECVID 2008 tasks: high level feature extraction, search and contentbased copy detection. For the high level feature extraction task, we use...
SIGIR
1999
ACM
13 years 12 months ago
1999
ACM
This paper presents a means of automatically deriving a hierarchical organization of concepts from a set of documents without use of training data or standard clustering technique...
CHARME
1999
Springer
13 years 12 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
IV
2008
IEEE
14 years 2 months ago
2008
IEEE
With the increased usage of the Web and its availability of data, various scholarly information is now available on the Web. Extraction, aggregation, and visualization of such inf...
WIDM
2005
ACM
14 years 1 months ago
2005
ACM
Clustering the results of a search helps the user to overview the information returned. In this paper, we regard the clustering task as indexing the search results. Here, an index...