6438 search results - page 36 / 1288 » A Parameterised Search System |
ENTCS
2002
13 years 8 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
SIGMOD
2010
ACM
13 years 6 months ago
2010
ACM
We consider fast two-sided error-tolerant search that is robust against errors both on the query side (type alogrithm, find documents with algorithm) as well as on the document si...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
Integration of Web search with geographic information has recently attracted much attention. There are a number of local Web search systems enabling users to find locationspecific...
HT
2005
ACM
14 years 2 months ago
2005
ACM
We describe Eureka, a file system search engine that takes into account the inherent relationships among files in order to improve the rankings of search results. The key idea b...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
We present VideoPot, a desktop video search system designed for digital video files stored on personal computers. The core metric of this system is based on video-indexing techno...