7393 search results - page 563 / 1479 » Synthesis-for-testability using transformations |
183
click to vote
WWW
2003
ACM
16 years 8 months ago
2003
ACM
A modern approach for generating individualized web-sites is to compose a page out of individual elements, for instance XML-fragments, which is eventually transformed to . If the ...
211
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
208
Voted
ICAPR
2009
Springer
16 years 12 hour ago
2009
Springer
In this paper, we propose a method to exploit the uniqueness in the illumination variations on the face image of a subject for face verification. Using the 3D wireframe model of a...
209
click to vote
VDA
2010
15 years 9 months ago
2010
Design patterns have proven to be a useful means to make the process of designing, developing, and reusing software systems more efficient. In the area of information visualizatio...
217
click to vote
IJCAI
2001
15 years 8 months ago
2001
Much excitement has been generated by the success of stochastic local search procedures at finding solutions to large, very hard satisfiability problems. Many of the problems on wh...