2210 search results - page 113 / 442 » CLEF 2001 - Overview of Results |
153
click to vote
COCOON
2001
Springer
15 years 10 months ago
2001
Springer
: We consider the following problem. Given a polygon P, possibly with holes, and having n vertices, compute a pair of equal radius disks that do not intersect each other, are conta...
151
click to vote
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...
151
click to vote
CSL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
117
click to vote
DAGM
2001
Springer
15 years 10 months ago
2001
Springer
In this paper, we present a new approach to scale-space which is derived from the 3D Laplace equation instead of the heat equation. The resulting lowpass and bandpass filters are...
183
click to vote
DAGM
2001
Springer
15 years 10 months ago
2001
Springer
Vision systems for service robotics applications have to cope with varying environmental conditions, partial occlusions, complex backgrounds and a large number of distractors (clut...