5525 search results - page 295 / 1105 » Verification of Model Transformations |
176
click to vote
WSCG
2004
15 years 7 months ago
2004
Volume rendering is a widespread method for displaying graphical models in fields such as medical visualization or engineering. The required image information is stored in a volum...
150
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Inspections can be made more cost-effective by using capturerecapture methods to estimate post-inspection defects. Previous capture-recapture studies of inspections used relativel...
157
click to vote
DCC
2006
IEEE
16 years 5 months ago
2006
IEEE
An analysis is presented that examines multihypothesis motion-compensated video coding using a redundant wavelet transform to produce multiple predictions that are diverse in tran...
183
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
178
Voted
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...