7393 search results - page 338 / 1479 » Synthesis-for-testability using transformations |
153
click to vote
BALT
2010
14 years 12 months ago
2010
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
147
click to vote
SIAMREV
2010
14 years 11 months ago
2010
Computational Convex Analysis algorithms have been rediscovered several times in the past by researchers from different fields. To further communications between practitioners, we ...
126
click to vote
ROBVIS
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes a novel approach to detecting orientation and identity of robots using a global vision system. Instead of additional markers, the original shape of the robot ...
185
click to vote
ARTCOM
2009
IEEE
15 years 2 months ago
2009
IEEE
A new adaptive multispectral image compression technique based on the regions identified is proposed. The algorithm is adaptive in the sense that according to the data type class ...
138
click to vote
3DIM
1997
IEEE
15 years 9 months ago
1997
IEEE
For registration of 3-D free-form surfaces we have developed a representation which requires no knowledge of the transformation between views. The representation comprises descrip...