1677 search results - page 156 / 336 » On the Completeness of Quantum Computation Models |
178
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
We consider simple digital curves in a 3D orthogonal grid as special polyhedrally bounded sets. These digital curves model digitized curves or arcs in three-dimensional euclidean ...
152
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, stochastic error-correcting parsing is proposed as a powerful and flexible method to post-process the results of an optical character recognizer (OCR). Determinist...
147
click to vote
TACAS
1995
Springer
15 years 10 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
158
click to vote
IWFM
2003
15 years 8 months ago
2003
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
169
click to vote
WSCG
2004
15 years 8 months ago
2004
This paper focuses on a novel framework for information retrieval of images based only on color information. Regions homogeneous in color of the input image are detected using a m...