810 search results - page 40 / 162 » Rule-based Model Extraction from Source Code |
126
click to vote
CVBIA
2005
Springer
15 years 7 months ago
2005
Springer
Analysis of medical images, especially the extraction of anatomical structures, is a critical component of many medical applications: surgical planning and navigation, and populati...
RSP
2007
IEEE
15 years 8 months ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
MMM
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a rate control algorithm for the dominant discrete cosine transform (DCT) -based video coding. It is developed based on a more accurate rate-distortion (RD) mo...
157
click to vote
IWPC
2002
IEEE
15 years 6 months ago
2002
IEEE
Architectural patterns and styles represent important design decisions and thus are valuable abstractions for architecture recovery. Recognizing them is a challenge because styles...
117
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...