6719 search results - page 158 / 1344 » A Generalization of Automatic Sequences |
PLDI
2004
ACM
14 years 2 months ago
2004
ACM
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...
LCTRTS
2010
Springer
13 years 7 months ago
2010
Springer
The issues of compiler optimization phase ordering and selection present important challenges to compiler developers in several domains, and in particular to the speed, code size,...
LICS
2000
IEEE
14 years 1 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
CORR
2000
Springer
13 years 8 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
MICCAI
2003
Springer
14 years 10 months ago
2003
Springer
This paper describes a new robust and fully automatic method for calibration of three-dimensional (3D) freehand ultrasound. 3D Freehand ultrasound consists in mounting a position s...