3424 search results - page 341 / 685 » Automated Testing of Classes |
192
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
A method for the classification of land cover in urban areas by the fusion of first and last pulse LIDAR data and multi-spectral images is presented. Apart from buildings, the cla...
171
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Regular expressions with numerical constraints are an extension of regular expressions, allowing to bound numerically the number of times that a subexpression should be m...
161
click to vote
SEFM
2007
IEEE
16 years 29 days ago
2007
IEEE
We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing fo...
171
click to vote
CPAIOR
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we investigate to which extent the elimination of a class of redundant clauses in SAT instances could improve the efficiency of modern satisfiability provers. Sinc...
171
click to vote
GECCO
2004
Springer
16 years 2 days ago
2004
Springer
Satisfiability testing (SAT) is a very active area of research today, with numerous real-world applications. We describe CLASS2.0, a genetic programming system for semi-automatica...