5525 search results - page 914 / 1105 » Verification of Model Transformations |
164
click to vote
COMGEO
2000
ACM
15 years 3 months ago
2000
ACM
We present a fast and accurate collision detection algorithm for haptic interaction with polygonal models. Given a model, we pre-compute a hybrid hierarchical representation, cons...
149
click to vote
COMPUTER
2000
15 years 3 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
146
click to vote
MVA
2000
15 years 3 months ago
2000
This article presents a geometric fusion algorithm developed for the reconstruction of 3D surface models from hand-held sensor data. Hand-held systems allow full 3D movement of th...
186
click to vote
ASE
1998
15 years 3 months ago
1998
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
133
click to vote
TOSEM
2002
15 years 3 months ago
2002
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...