3954 search results - page 80 / 791 » Image-based Model Completion |
152
click to vote
EUROGP
2006
Springer
15 years 8 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...
125
click to vote
FUIN
2002
15 years 4 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...
129
click to vote
CORR
2011
Springer
14 years 8 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...
135
click to vote
TAPSOFT
1991
Springer
15 years 8 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...
133
click to vote
ICPR
2006
IEEE
16 years 5 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 ...