7393 search results - page 222 / 1479 » Synthesis-for-testability using transformations |
119
click to vote
SIGGRAPH
1999
ACM
15 years 8 months ago
1999
ACM
We introduce a novel algorithm for transforming character animation sequences that preserves essential physical properties of the motion. By using the spacetime constraints dynami...
154
Voted
PLANX
2007
15 years 5 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
129
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Clustering methods are widely used on gene expression data to categorize genes with similar expression profiles. Finding an appropriate (dis)similarity measure is crit...
123
click to vote
CGF
2004
15 years 3 months ago
2004
We present a technique for creating a smoothly varying sequence of procedural textures that interpolates between arbitrary input samples of texture. This texture transformation us...
153
click to vote
TON
2010
14 years 10 months ago
2010
Abstract--A novel storage design for IP routing table construction is introduced on the basis of a single set-associative hash table to support fast longest prefix matching (LPM). ...