1226 search results - page 82 / 246 » Generating Abstractions from Static Domain Analysis |
150
Voted
EDUTAINMENT
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We present a data-driven shape model for reconstructing human body models from one or more 2D photos. One of the key tasks in reconstructing the 3D model from image data ...
136
Voted
DIAL
2004
IEEE
15 years 6 months ago
2004
IEEE
Obsolescence in storage media and the hardware and software for access and use can render old electronic files inaccessible and unusable. Therefore, the long-term preservation of ...
123
Voted
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
112
Voted
ISSRE
2000
IEEE
15 years 7 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
127
Voted
ADBIS
2005
Springer
15 years 8 months ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...