7064 search results - page 186 / 1413 » From States to Histories |
144
click to vote
CHARME
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we explore a parallelization of BMC based on state space partitioning. The parallelization is accomplished by executing multiple instances of BMC independently from ...
181
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
This paper describes an algorithm, called CQ-learning, which learns to adapt the state representation for multi-agent systems in order to coordinate with other agents. We propose ...
160
click to vote
IJON
2007
15 years 6 months ago
2007
During activated states in vivo, neocortical neurons are subject to intense synaptic activity and high-amplitude membrane potential ðVmÞ fluctuations. These ‘‘high-conducta...
161
click to vote
SIAMAM
2000
15 years 6 months ago
2000
Abstract. In many biological examples of biased random walks, movement statistics are determined by state dynamics that are internal to the organism or cell and that mediate respon...
216
click to vote
TCS
2010
15 years 5 months ago
2010
There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multip...