2649 search results - page 209 / 530 » Temporal Theories of Reasoning |
141
click to vote
EUROCAST
2005
Springer
16 years 6 days ago
2005
Springer
The Fuzzy Constraint Networks model, a generalization of the Disjunctive Temporal Fuzzy Constraint Networks, is a framework that allows representing and reasoning with fuzzy qualit...
203
click to vote
ECOOP
1993
Springer
15 years 10 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
214
click to vote
IJIS
2002
15 years 6 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
190
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
: Today's industrial sensor networks require strong reliability and guarantees on messages delivery. These needs are even more important in real time applications like control...
168
click to vote
JANCL
2002
15 years 6 months ago
2002
We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-str...