670 search results - page 29 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
IWANN
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. A spiking neural network modeling the cerebellum is presented. The model, consisting of more than 2000 conductance-based neurons and more than 50 000 synapses, runs in re...
IPL
2008
13 years 8 months ago
2008
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
CONCUR
1992
Springer
14 years 26 days ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
FLAIRS
2008
13 years 11 months ago
2008
Although several researchers have integrated methods for reinforcement learning (RL) with case-based reasoning (CBR) to model continuous action spaces, existing integrations typic...