7393 search results - page 18 / 1479 » Synthesis-for-testability using transformations |
156
click to vote
ASP
2001
Springer
15 years 10 months ago
2001
Springer
We define a reduction system Ë¿ which preserves the stable semantics. This system includes two types of transformation rules. One type (which we call ˾) preserves the stable...
177
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Pattern matching is a widely used procedure in signal processing, computer vision, image and video processing. Recently, methods using Walsh Hadamard Transform (WHT) and Gray-Code...
131
click to vote
CSMR
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
141
click to vote
COR
2006
15 years 5 months ago
2006
A well known transformation by Pearn, Assad and Golden reduces a Capacitated Arc Routing Problem (CARP) into an equivalent Capacitated Vehicle Routing Problem (CVRP). However, tha...
183
click to vote
SIGGRAPH
1999
ACM
15 years 10 months ago
1999
ACM
Traditionally, shape transformation using implicit functions is performed in two distinct steps: 1) creating two implicit functions, and 2) interpolating between these two functio...