515 search results - page 38 / 103 » Ontology-Based Automatic Model Transformations |
75
Voted
ICWE
2007
Springer
15 years 3 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
70
Voted
WSC
2004
14 years 11 months ago
2004
Creating a simulation of a large enterprise system by manually coding all the details into a simulator tool is not just time consuming, but yields a system that is difficult to ma...
WSC
2000
14 years 11 months ago
2000
This paper introduced the application of a more efficient mathematical representation of the kinematics of avatars, or digital human beings, in telecollaborative virtual reality e...
PAMI
1998
14 years 9 months ago
1998
—Automatic 3D object model construction is important in applications ranging from manufacturing to entertainment, since CAD models of existing objects may be either unavailable o...
109
Voted
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
A new approach to align an image of a textured object with a given prototype is proposed. Visual appearance of the images, after equalizing their signals, is modeled with a Markov...