3047 search results - page 137 / 610 » A Temporal Consensus Model |
117
click to vote
CPHYSICS
2011
15 years 6 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...
133
click to vote
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 ...
141
Voted
FORMATS
2006
Springer
15 years 8 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...
114
click to vote
IJCAI
2003
15 years 6 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 ...
130
click to vote
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...