7393 search results - page 154 / 1479 » Synthesis-for-testability using transformations |
120
Voted
ENTCS
2002
15 years 3 months ago
2002
In this paper we present how refactoring of object-oriented programs can be accomplished by using refinement. Our approach is based on algebraic laws of an object-oriented languag...
113
click to vote
JCT
2010
15 years 1 months ago
2010
Combinatorial proofs are given for certain entries in Ramanujan’s lost notebook. Bijections of Sylvester, Franklin, Wright, and Yee are employed. A new bijection, involving the n...
118
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
A gridding Hough transform (GHT) is proposed to detect the straight lines in sports video, which is much faster and requires much less memory than the previous Hough transforms. T...
126
Voted
APGV
2004
ACM
15 years 8 months ago
2004
ACM
Focus+Context techniques are commonly used in visualization systems to provide both the details and the context. The "shaker paradigm", in which an image is rapidly alte...
120
click to vote
BMVC
1998
15 years 4 months ago
1998
In the paper we present the Progressive Probabilistic Hough Transform (PPHT). Unlike the Probabilistic Hough Transform 4] where Standard Hough Transform is performed on a pre-sele...