2026 search results - page 239 / 406 » Tools for Test Case Generation |
154
click to vote
CG
1999
Springer
15 years 5 months ago
1999
Springer
Projective texture-mapping is a powerful tool for image-based rendering. However, visibility information must be obtained in order to project correct textures onto the geometric s...
150
click to vote
FLAIRS
2001
15 years 6 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
173
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
Architecture description languages are widely used to perform architecture exploration for application-driven designs, whereas the RT-level is the commonly accepted level for hard...
133
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
141
click to vote
EOR
2002
15 years 5 months ago
2002
In order to solve heterogeneous single and multiple container loading problems, an algorithm is presented that builds homogeneous blocks of identically orientated items. First a g...