3047 search results - page 137 / 610 » A Temporal Consensus Model |
CPHYSICS
2011
14 years 5 months ago
2011
In this work we examine the time-resolved, instantaneous current response for the spinless Falicov-Kimball model at half-filling, on both sides of the Mott-Hubbard metal-insulato...
ICCAD
2004
IEEE
15 years 7 months ago
2004
IEEE
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we model each task ...
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
IJCAI
2003
14 years 11 months ago
2003
This poster shows an artificial neural network capable of learning a temporal sequence. Directly inspired from a hippocampus model [Banquet et al, 1998], this architecture allows ...
EMISA
2002
Springer
14 years 10 months ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...