11716 search results - page 38 / 2344 » Computable symbolic dynamics |
SIGGRAPH
1991
ACM
14 years 1 months ago
1991
ACM
CT This paper describes how evolutionary techniques of variation and selection can be used to create complex simulated structures, textures, and motions for use in computer graphic...
ISSTA
2012
ACM
12 years 4 days ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
FSTTCS
2005
Springer
14 years 3 months ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
GREC
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we present a system that allows its use to build synthetic graphical documents for the performance evaluation of symbol recognition systems. The key contribution of ...
SOFSEM
2010
Springer
14 years 6 months ago
2010
Springer