3984 search results - page 476 / 797 » A Model-Driven Transformation Method |
170
Voted
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
177
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Dynamicprogramming is an importantalgorithm design technique. It is used for solving problems whose solutions involve recursively solving subproblems that share subsubpro...
180
click to vote
MICCAI
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The registration of multimodal medical images is an important tool in surgical applications, since different scan modalities highlight complementary anatomical structures...
189
click to vote
VW
1998
Springer
15 years 10 months ago
1998
Springer
This paper describes an efficient method to make an individual face for animation from several possible inputs and how to use this result for a realistic talking head communication...
155
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
While the covering algorithm has been perfected recently by the iterative approaches, such as DAOmap and IMap, its application has been limited to technology mapping. The main fact...