814 search results - page 57 / 163 » Generic Model Abstraction from Examples |
125
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
126
click to vote
MIRAGE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we describe a method for re-mapping animation parameters between multiple types of facial model for performance driven animation. A facial performance can b...
139
click to vote
CBSE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
132
click to vote
ICMT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
124
click to vote
TACAS
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...