5525 search results - page 937 / 1105 » Verification of Model Transformations |
132
click to vote
GISCIENCE
2004
Springer
15 years 9 months ago
2004
Springer
We investigate the understanding of landmarks using a model of embedding procedures that sees affordances established on three levels. On the first level there are landmark experie...
146
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
120
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a framework to recognizing and recreating folding process of origami based on illustrations of origami drill books. Illustration images acquired from origami ...
134
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
The accurate modeling of the electronic structure of atoms and molecules involves computationally intensive tensor contractions involving large multi-dimensional arrays. The effi...
173
click to vote
PG
2003
IEEE
15 years 9 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...