3166 search results - page 77 / 634 » Translation By Structural Correspondences |
179
Voted
ENTCS
2002
15 years 13 days ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
76
Voted
IV
2002
IEEE
15 years 5 months ago
2002
IEEE
from Abstract Data to Naturalistic Visual Structure A. Loizides and M.Slater Department of Computer Science, University College London (UCL), London, UK This paper demonstrates a ...
124
Voted
BMVC
2000
15 years 2 months ago
2000
This paper describes a novel approach for recovering the structure and motion of a rigid textured surface from an image sequence. Camera focal length is also recovered, yielding m...
90
Voted
EP
1998
Springer
15 years 4 months ago
1998
Springer
We report on the design and implementation of a system which automates the process of capturing structured documents from the optically recognized form of printed materials. The sy...
102
Voted
IANDC
2006
15 years 19 days ago
2006
We provide machine-independent characterizations of some complexity classes, over an arbitrary structure, in the model of computation proposed by L. Blum, M. Shub and S. Smale. We...