2210 search results - page 197 / 442 » CLEF 2001 - Overview of Results |
161
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
142
click to vote
CHES
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes an algorithm and architecture based on an extension of a scalable radix-2 architecture proposed in a previous work. The algorithm is proven to be correct and t...
141
click to vote
CIKM
2001
Springer
15 years 10 months ago
2001
Springer
Phonetic speech retrieval is used to augment word based retrieval in spoken document retrieval systems, for in and out of vocabulary words. In this paper, we present a new indexin...
194
click to vote
CIKM
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we are mainly concerned with discussion of a formal model, based on the basic concept of divergence from information theory, for automatic query expansion. The basic...
148
click to vote
CIKM
2001
Springer
15 years 10 months ago
2001
Springer
In a wireless environment, the bandwidth of the channels and the energy of the portable devices are limited. Data broadcast has become an excellent method for efficient data disse...