3984 search results - page 777 / 797 » A Model-Driven Transformation Method |
MICCAI
1998
Springer
15 years 4 months ago
1998
Springer
Measuring motion in medical imagery becomes more and more important, in particular for object tracking, image registration, and local displacement measurements. Often, the require...
VISUALIZATION
1996
IEEE
15 years 3 months ago
1996
IEEE
A general volume rendering technique is described that efficiently produces images of excellent quality from data defined over irregular grids having a wide variety of formats. Re...
APN
1993
Springer
15 years 3 months ago
1993
Springer
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...
105
click to vote
VLDB
1994
ACM
15 years 3 months ago
1994
ACM
This paper introduces a formalism to describe the needs and preferences of database users. Because of the precise formulation of these concepts, we have found an automatic and ver...
100
click to vote
DAC
2007
ACM
15 years 3 months ago
2007
ACM
RLC circuits have been shown to be better formulated as second-order systems instead of first-order systems. The corresponding model order reduction techniques for secondorder sys...