Sciweavers

2210 search results - page 200 / 442
» CLEF 2001 - Overview of Results
Sort
View
CSL
2001
Springer
15 years 10 months ago
Life without the Terminal Type
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...
Lutz Schröder
191
Voted
DBPL
2001
Springer
133views Database» more  DBPL 2001»
15 years 10 months ago
A Theory of Spatio-Temporal Database Queries
Abstract. We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be co...
Floris Geerts, Sofie Haesevoets, Bart Kuijpers
ECAL
2001
Springer
15 years 10 months ago
A Visually-Based Evolvable Control Architecture for Agents in Interactive Entertainment Applications
A visually-based evolvable control architecture for agents in interactive entertainment applications is presented. Agents process images of their local surroundings according to ev...
Andrew Vardy
ECML
2001
Springer
15 years 10 months ago
A Framework for Learning Rules from Multiple Instance Data
Abstract. This paper proposes a generic extension to propositional rule learners to handle multiple-instance data. In a multiple-instance representation, each learning example is r...
Yann Chevaleyre, Jean-Daniel Zucker
ECSQARU
2001
Springer
15 years 10 months ago
Explanatory Relations Based on Mathematical Morphology
Abstract. Using mathematical morphology on formulas introduced recently by Bloch and Lang (Proceedings of IPMU’2000) we define two new explanatory relations. Their logical behav...
Isabelle Bloch, Ramón Pino Pérez, Ca...