3047 search results - page 232 / 610 » A Temporal Consensus Model |
165
click to vote
FDL
2005
IEEE
16 years 6 days ago
2005
IEEE
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data...
140
click to vote
EUROCAST
2005
Springer
16 years 3 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...
171
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
196
click to vote
DALT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
203
click to vote
GW
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The use of gesture as a natural interface serves as a motivating force for research in modeling, analyzing and recognition of gestures. In particular, human computer inte...