Sciweavers

LICS
2003
IEEE
14 years 4 months ago
Revisiting Digitization, Robustness, and Decidability for Timed Automata
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...
Joël Ouaknine, James Worrell
JCDL
2005
ACM
145views Education» more  JCDL 2005»
14 years 5 months ago
The challenges in developing digital collections of phonograph records
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...
Catherine Lai, Ichiro Fujinaga, Cynthia A. Leive