2210 search results - page 199 / 442 » CLEF 2001 - Overview of Results |
168
click to vote
COSPS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Array privatization is one of the most e ective transformations for the exploitation of parallelism. In this paper, we present a technique for automatic array privatizati...
141
click to vote
CSCWD
2001
Springer
15 years 10 months ago
2001
Springer
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
138
Voted
CSL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
183
Voted
CSL
2001
Springer
15 years 10 months ago
2001
Springer
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
173
click to vote
CSL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...