7393 search results - page 576 / 1479 » Synthesis-for-testability using transformations |
223
click to vote
ICMT
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
212
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper improves on the best-known runtime and measurement bounds for a recently proposed Deterministic sublinear-time Sparse Fourier Transform algorithm (hereafter called DS...
209
click to vote
PVLDB
2008
15 years 7 months ago
2008
Sequence data is ubiquitous and finding frequent sequences in a large database is one of the most common problems when analyzing sequence data. Unfortunately many sources of seque...
199
click to vote
FASE
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
255
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
The aim of this work is to learn a shape prior model
for an object class and to improve shape matching with the
learned shape prior. Given images of example instances,
we can le...