2191 search results - page 249 / 439 » Evolutionary testing of classes |
136
click to vote
JLP
2010
14 years 10 months ago
2010
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
124
Voted
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
We propose an alternative to probability density classifiers based on normal distributions LDA and QDA. Instead of estimating covariance matrices using the standard maximum likeli...
140
Voted
ICPR
2004
IEEE
16 years 5 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...
128
click to vote
ICTAC
2009
Springer
15 years 10 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...
120
Voted
SEFM
2007
IEEE
15 years 10 months 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...