7393 search results - page 1205 / 1479 » Synthesis-for-testability using transformations |
153
click to vote
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract: A new method for constructing a smooth surface that interpolates the vertices of an arbitrary mesh is presented. The mesh can be open or closed. Normals specified at ver...
124
click to vote
ISW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...
132
click to vote
KSEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. It has been widely recognized that the relative priority of requirements can help developers to resolve inconsistencies and make some necessary trade-off decisions. Howe...
153
click to vote
MCS
2007
Springer
15 years 10 months ago
2007
Springer
Rotation Forest is a recently proposed method for building classifier ensembles using independently trained decision trees. It was found to be more accurate than bagging, AdaBoost...
153
click to vote
STACS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, it is shown that the Feedback Vertex Set problem on unweighted, undirected graphs has a kernel of cubic size. I.e., a polynomial time algorithm is described, that, w...