7393 search results - page 18 / 1479 » Synthesis-for-testability using transformations |
ASP
2001
Springer
15 years 2 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...
CVPR
2010
IEEE
15 years 29 days 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...
66
Voted
CSMR
2006
IEEE
15 years 3 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...
COR
2006
14 years 9 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...
102
click to vote
SIGGRAPH
1999
ACM
15 years 1 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...