2662 search results - page 366 / 533 » Tools Demonstrations |
131
Voted
CVRMED
1997
Springer
1997
Springer
Geometric constraint analysis and synthesis: methods for improving shape-based registration accuracy
15 years 9 months ago
Shape-based registration is a process for estimating the transformation between two shape representations of an object. It is used in many image-guided surgical systems to establis...
146
click to vote
DAC
1994
ACM
15 years 9 months ago
1994
ACM
A powerful combinational path sensitization engine is required for the efficient implementation of tools for test pattern generation, timing analysis, and delay fault testing. Path...
163
click to vote
CSL
1992
Springer
15 years 9 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
231
Voted
SI3D
1992
ACM
15 years 9 months ago
1992
ACM
Direct volume rendering is a computationally intensive operation that has become a valued and often preferred visualization tool. For maximal data comprehension, interactive manip...
200
click to vote
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...