1633 search results - page 250 / 327 » On the Verification of Temporal Properties |
FUIN
2008
13 years 10 months ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
COGSCI
2006
13 years 10 months ago
2006
We argue that computation via quantum mechanical processes is irrelevant to explaining how brains produce thought, contrary to the ongoing speculations of many theorists. First, q...
JUCS
2008
13 years 10 months ago
2008
: NASDAQ Market Velocity and Market Forces are two relatively new data products that attempt to capture market sentiment, something that was previously only observable if one was o...
IJCV
2007
13 years 10 months ago
2007
A novel method is introduced for the stabilization of short image sequences. Stabilization is achieved by means of fixation of the central image region using a variable window siz...
BC
2002
13 years 10 months ago
2002
Abstract. Recent experimental results on spike-timingdependent plasticity (STDP) and heterosynaptic interaction in various systems have revealed new temporal and spatial properties...