6719 search results - page 63 / 1344 » A Generalization of Automatic Sequences |
ICMCS
2007
IEEE
14 years 3 months ago
2007
IEEE
To bridge the gap between the high resolution digital images and limited display capability of mobile devices, this paper proposes a method to automatically transform static image...
CRYPTO
2006
Springer
14 years 16 days ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
In this communication, we propose a method for the automatic extraction of numerical fields in handwritten documents. The approach exploits the known syntactic structure of the nu...
NAACL
2003
13 years 10 months ago
2003
We address the text-to-text generation problem of sentence-level paraphrasing — a phenomenon distinct from and more difficult than word- or phrase-level paraphrasing. Our appro...
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
Due to the random nature of photon emission and the various internal noise sources of the detectors, real timelapse fluorescence microscopy images are usually modeled as the sum o...