395 search results - page 3 / 79 » Towards a theory of search queries |
TIME
2000
IEEE
14 years 1 days ago
2000
IEEE
We present a data model for movies and movie databases. A movie is considered to be a 2-dimensional semialgebraic figure that can change in time. We give a number of computabilit...
PODS
1994
ACM
13 years 11 months ago
1994
ACM
ICDM
2002
IEEE
14 years 18 days ago
2002
IEEE
Previous works on automatic query clustering most generate a flat, un-nested partition of query terms. In this work, we are pursuing to organize query terms into a hierarchical s...
DIS
2001
Springer
14 years 4 days ago
2001
Springer
Scientists need customizable tools to help them with discovery. We present an adjustable heuristic function for scientific discovery. This function may be considered in either a Mi...
IANDC
1998
13 years 7 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...