718 search results - page 28 / 144 » Extraction of Structured Programs from Specification Proofs |
BILDMED
2008
13 years 10 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...
EC
2006
13 years 8 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...
VMV
2001
13 years 10 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...
OOPSLA
2009
Springer
14 years 3 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,...
LICS
2009
IEEE
14 years 3 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...