1648 search results - page 115 / 330 » Where to Build a Door |
KBS
2007
13 years 9 months ago
2007
The paper introduces and formalizes a distributed approach for the model-based monitoring of the execution of a plan, where concurrent actions are carried on by a team of mobile r...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
In this article, we are interested in the annotation of transcriptions of human-human dialogue taken from meeting records. We first propose a meeting content model where conversat...
CACM
1998
13 years 9 months ago
1998
This article explains how CORBA binds requests to object implementations with the help of an implementation repository. The design of the implementation repository has profound in...
FMSD
1998
13 years 9 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
JASSS
1998
13 years 9 months ago
1998
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...