11716 search results - page 3 / 2344 » Computable symbolic dynamics |
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
In online handwritten math expression recognition, one-pass dynamic programming can produce highquality symbol graphs in addition to best symbol sequence hypotheses [3], especiall...
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
The saturation strategy for symbolic state-space generation is very effective for globally-asynchronous locally-synchronous discrete-state systems. Its inherently sequential natu...
GLVLSI
2000
IEEE
13 years 12 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
DCC
2010
IEEE
14 years 2 months ago
2010
IEEE
It is known that modeling an information source via a symbolic dynamical system evolving over the unit interval, leads to a natural lossless compression scheme attaining the entro...