3047 search results - page 86 / 610 » A Temporal Consensus Model |
CAV
2003
Springer
15 years 1 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
123
click to vote
CEEMAS
2001
Springer
15 years 2 months ago
2001
Springer
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment...
CSE
2009
IEEE
15 years 1 months ago
2009
IEEE
ACT We present ongoing research on large-scale decision models in which there are many invested individuals. We apply our unique Bayesian belief aggregation approach to decision pr...
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
Motion-compensated temporal wavelet decomposition is a useful framework for fully scalable video compression schemes. In this paper we propose a new approach to reduce the ghostin...
MASS
2010
14 years 4 months ago
2010
The movement of people is by-products of spatial and temporal correlations. People go to a place at a certain time with a purpose and they meet because they are in the same place a...