9284 search results - page 473 / 1857 » Knowledge State Algorithms |
189
click to vote
CHARME
2005
Springer
16 years 1 months ago
2005
Springer
Partial order (PO) reduction methods are widely employed to combat state explosion during model-checking. In this paper, we develop a partial order reduction algorithm for rule-bas...
185
click to vote
FMCAD
2006
Springer
15 years 11 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
198
Voted
SODA
2004
ACM
15 years 9 months ago
2004
ACM
Simulated tempering and swapping are two families of sampling algorithms in which a parameter representing temperature varies during the simulation. The hope is that this will ove...
249
Voted
ENTCS
2010
15 years 5 months ago
2010
We present a new variant of the Earley parsing algorithm capable of efficiently supporting context-free grammars with regular right hand-sides. We present the core state-machine d...
233
click to vote
AAAI
2004
15 years 9 months ago
2004
Learning reusable sequences can support the development of expertise in many domains, either by improving decisionmaking quality or decreasing execution speed. This paper introduc...