2883 search results - page 395 / 577 » Algorithms for merged indexes |
TABLEAUX
2000
Springer
14 years 22 days ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
VLDB
2000
ACM
14 years 22 days 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 ...
PLDI
1995
ACM
14 years 22 days ago
1995
ACM
DSP architectures typically provide indirect addressing modes with auto-increment and decrement. In addition, indexing mode is not available, and there are usually few, if any, ge...
SIGIR
2010
ACM
14 years 17 days 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�...
BMVC
2001
13 years 11 months ago
2001
A perceptual approach to generating features for use in indexing and retrieving images is described. Salient regions that immediately attract the eye are colour (textured) regions...