96 search results - page 6 / 20 » A Survey of Symbolic Methods in Computational Analysis of Cr... |
ICDAR
2005
IEEE
14 years 29 days ago
2005
IEEE
Natural and convenient mathematical handwriting recognition requires recognizers for large sets of handwritten symbols. This paper presents a recognition system for such handwritt...
ICCI
1993
13 years 11 months ago
1993
We propose a conceptually and technically neat method to identify known semantic patterns close to a novel pattern. This occurs in the context of a system to acquire knowledge inc...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
SAMOS
2009
Springer
13 years 12 months ago
2009
Springer
The demands for high quality, real-time performance and multi-format video support in consumer multimedia products are ever increasing. In particular, the future multimedia systems...
CHI
2005
ACM
14 years 7 months ago
2005
ACM
Cryptographically protected email has a justly deserved reputation of being difficult to use. Based on an analysis of the PEM, PGP and S/MIME standards and a survey of 470 merchan...