7393 search results - page 283 / 1479 » Synthesis-for-testability using transformations |
138
click to vote
AISC
2010
Springer
15 years 9 months ago
2010
Springer
This paper describes continuing progress on the development of a repository of transformation rules relevant to indefinite integration. The methodology, however, is not restricted...
126
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
120
click to vote
3DOR
2008
15 years 6 months ago
2008
We present a new 3D shape descriptor based on conformal geometry. Our descriptor is invariant under non-rigid quasi-isometric transformations, such as pose changes of articulated ...
122
click to vote
ICSQP
1994
15 years 5 months ago
1994
: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on c...
146
click to vote
RAS
2006
15 years 4 months ago
2006
The Scale Invariant Feature Transform, SIFT, has been successfully applied to robot localization. Still, the number of features extracted with this approach is immense, especially...