7393 search results - page 548 / 1479 » Synthesis-for-testability using transformations |
207
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
A framework for mapping a polar-like coordinate system to a non-rigid shape is presented. Using a graph pyramid, a binary shape is decomposed into connected parts, based on its st...
178
click to vote
FASE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
159
click to vote
ISCAS
2005
IEEE
16 years 25 days ago
2005
IEEE
— This paper presents a parameter domain pruning method. Parameter domain pruning aims to identify parameter sub-domains that are more likely to produce feasible and good design ...
179
click to vote
PEPM
1994
ACM
15 years 11 months ago
1994
ACM
our results using the Fast Fourier Transformation, the N-body attraction problem, and the cubic splines interpolation as examples.We investigate the application of partial evaluati...
176
click to vote
NAACL
2004
15 years 8 months ago
2004
We propose a theory that gives formal semantics to word-level alignments defined over parallel corpora. We use our theory to introduce a linear algorithm that can be used to deriv...