7393 search results - page 191 / 1479 » Synthesis-for-testability using transformations |
142
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
We have verified several versions of the CPS transformation in Isabelle/HOL. In our verification we adopted first-order abstract syntax with variable names so that the formalizati...
118
Voted
DCC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we present a fast intra prediction method based on separating the transformed coefficients. The prediction block can be obtained from the transformed and quantized...
147
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
209
Voted
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents an interesting observation that epipolar geometry and log–polar transform can be naturally combined by setting the center of the log–polar transform into t...
113
Voted
ADBIS
2007
Springer
15 years 9 months ago
2007
Springer
The Message Transformation Model (MTM), for modeling complex message transformation processes in data centric application scenarios, provides strong capabilities for describing the...