718 search results - page 28 / 144 » Extraction of Structured Programs from Specification Proofs |
112
click to vote
BILDMED
2008
15 years 3 months ago
2008
Abstract. In this paper, we introduce a new method for hatching patient-specific, anatomic 3D surface models, in particular hatching of muscle surfaces. However, the method is tran...
150
click to vote
EC
2006
15 years 2 months ago
2006
Learning Classifier Systems (LCSs), such as the accuracy-based XCS, evolve distributed problem solutions represented by a population of rules. During evolution, features are speci...
156
Voted
VMV
2001
15 years 3 months ago
2001
We have assembled a preliminary environment for simulating tasks that are performed in colonoscopy to provide a professional learning experience. Different commercial endoscopy si...
217
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
153
click to vote
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...