139
Voted
ECAI
1998
Springer
16 years 20 hour ago
1998
Springer
133
Voted
ECAI
1998
Springer
16 years 20 hour ago
1998
Springer
127
Voted
ECAI
1998
Springer
16 years 20 hour ago
1998
Springer
151
Voted
ECAI
1998
Springer
16 years 20 hour ago
1998
Springer
Abstract. We provide a model-theoretic framework for investigating and comparing a variety of mereotopological theories with respect to (i) the intended interpretation of their con...
168
click to vote
ECAI
1998
Springer
16 years 20 hour ago
1998
Springer
: This paper describes a representation of the meanings of verbs based on the dynamics of interactions between two agents or objects. The representation treats interactions as havi...
167
click to vote
ECAI
1998
Springer
16 years 20 hour ago
1998
Springer
Knowledge about forced moves enables to select a small number of moves from the set of possible moves. It is very important in complex domains where search trees have a large branc...
193
click to vote
ECAI
1998
Springer
16 years 20 hour ago
1998
Springer
This paper describes SRIPPs, structured reactive image processing plans, that are tailored for the needs of autonomous service robots. SRIPPs are implemented on top of a modular, d...
213
click to vote
ECAI
1998
Springer
16 years 20 hour ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...