9284 search results - page 105 / 1857 » Knowledge State Algorithms |
120
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
State estimation consists of updating an agent’s belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...
119
click to vote
DAC
1996
ACM
15 years 6 months ago
1996
ACM
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
137
click to vote
SPIN
2010
Springer
15 years 13 days ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
97
Voted
SEFM
2007
IEEE
15 years 8 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
105
click to vote
CEC
2003
IEEE
15 years 7 months ago
2003
IEEE
Learning Deterministic Finite Automata (DFA) is a hard task that has been much studied within machine learning and evolutionary computation research. This paper presents a new met...