3047 search results - page 137 / 610 » A Temporal Consensus Model |
135
Voted
CPHYSICS
2011
15 years 28 days 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...
147
Voted
ICCAD
2004
IEEE
16 years 2 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 ...
152
Voted
FORMATS
2006
Springer
15 years 9 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...
129
Voted
IJCAI
2003
15 years 7 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 ...
139
Voted
EMISA
2002
Springer
15 years 5 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...