3954 search results - page 80 / 791 » Image-based Model Completion |
134
Voted
EUROGP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Theoretical models of Turing complete linear genetic programming (GP) programs suggest the fraction of halting programs is vanishingly small. Convergence results proved f...
107
Voted
FUIN
2002
15 years 2 months ago
2002
Abstract. In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: trans...
106
Voted
CORR
2011
Springer
14 years 6 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
114
Voted
TAPSOFT
1991
Springer
15 years 6 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
108
Voted
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
In many cases x-ray images are the only basis for surgery planning. Nevertheless it is desirable to draw conclusions about the 3D-anatomy of the patient from such data. This work ...