3921 search results - page 392 / 785 » Transforming Models with ATL |
162
click to vote
FIMH
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A 4D registration method for the spatio-temporal alignment of cardiac MR image sequences has been developed. The registration algorithm has the ability not only to correc...
195
click to vote
COMPGEOM
2009
ACM
15 years 11 months ago
2009
ACM
We demonstrate how the scale axis transform can be used to compute a parameterized family of shape skeletons. The skeletons gradually represent only the most important features of...
167
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we investigate methods for enabling a human operator and an automatic motion planner to cooperatively solve a motion planning query. Our work is motivated by our ex...
196
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...
172
click to vote
MICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...