3888 search results - page 180 / 778 » Change-Driven Model Transformations |
TSP
2008
15 years 4 months ago
2008
This paper proposes an extension of the applicability of phase-vocoder-based frequency estimators for generalized sinusoidal models, which include phase and amplitude modulations. ...
130
Voted
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper addresses the difficult problem of symbol spotting for graphic documents. We propose an approach where each graphic document is indexed as a text document by using the ...
161
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
151
Voted
AAAI
1997
15 years 6 months ago
1997
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...
145
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...