6800 search results - page 501 / 1360 » Testing with Functions as Specifications |
198
click to vote
WSC
2000
15 years 9 months ago
2000
Discrete-event simulation is widely used to analyse and improve the performance of manufacturing systems. The related optimization problem often includes integer design variables ...
218
click to vote
CVIU
2008
15 years 7 months ago
2008
We propose a novel scheme for using supervised learning for function-based classification of objects in 3D images. During the learning process, a generic multi-level hierarchical ...
191
click to vote
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
Regression test suites tend to grow over time as new test cases are added to exercise new functionality or to target newly-discovered faults. When test suites become too large, th...
212
click to vote
STOC
2006
ACM
16 years 8 months ago
2006
ACM
Gowers [Gow98, Gow01] introduced, for d 1, the notion of dimension-d uniformity Ud (f) of a function f : G C, where G is a finite abelian group. Roughly speaking, if a function ...
239
click to vote
ECCV
1996
Springer
16 years 9 months ago
1996
Springer
We present a variational approachto dense stereo reconstructionwhich combines powerful tools such as regularization and multi-scale processing to estimate directly depth from a num...