2210 search results - page 79 / 442 » CLEF 2001 - Overview of Results |
FCT
2001
Springer
14 years 2 months ago
2001
Springer
We show that some natural refinements of the Straubing and Brzozowski hierarchies correspond (via the so called leaf-languages) step by step to similar refinements of the polynom...
FM
2001
Springer
14 years 2 months ago
2001
Springer
We present a novel result for a logic for symbolic transition systems based on LOTOS processes. The logic is adequate with respect to bisimulation de ned on symbolic transition sys...
FSTTCS
2001
Springer
14 years 2 months ago
2001
Springer
This paper has the following goals: – To survey some of the recent developments in the field of derandomization. – To introduce a new notion of time-bounded Kolmogorov complex...
FUZZY
2001
Springer
14 years 2 months ago
2001
Springer
The paper presents the results of experiments of usage of LSA for analysis of textual data. The method is explained in brief and special attention is pointed on its potential for c...
GI
2001
Springer
14 years 2 months ago
2001
Springer
: The paper describes an architecture allowing Mobile IP hosts to access to a virtual private network that is protected by a firewall from the public Internet. The implementation b...