LICS
2003
IEEE
13 years 9 months ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
JCDL
2005
ACM
13 years 10 months ago
2005
ACM
To facilitate long-term preservation and sustain the utility of phonograph records, an efficient and economical workflow management system for digitization is necessary. We descri...