1226 search results - page 82 / 246 » Generating Abstractions from Static Domain Analysis |
EDUTAINMENT
2006
Springer
13 years 12 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 ...
DIAL
2004
IEEE
14 years 1 days 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 ...
AMAST
2004
Springer
14 years 1 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...
ISSRE
2000
IEEE
14 years 21 days 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...
ADBIS
2005
Springer
14 years 1 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...