5240 search results - page 782 / 1048 » The INQUERY Retrieval System |
184
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
162
click to vote
PKDD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper presents a lattice-based visual metaphor for knowledge discovery in electronic mail. It allow a user to navigate email using a visual lattice metaphor rather t...
219
click to vote
VLDB
2000
ACM
15 years 11 months ago
2000
ACM
Information Dissemination applications are gaining increasing popularity due to dramatic improvements in communications bandwidth and ubiquity. The sheer volume of data available ...
187
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, a language model adapted to graph-based representation of image content is proposed and assessed. The full indexing and retrieval processes are evaluated on two di�...
200
click to vote
AISC
2008
Springer
15 years 9 months ago
2008
Springer
We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infrastructure as part of the SCIEnce (Symbolic Computation I...