1722 search results - page 136 / 345 » Generating Tests from Counterexamples |
SIBGRAPI
2006
IEEE
14 years 4 months ago
2006
IEEE
Statistical discrimination methods are suitable not only for classification but also for characterisation of differences between a reference group of patterns and the population u...
WACV
2005
IEEE
14 years 4 months ago
2005
IEEE
Scene flow methods estimate the three-dimensional motion field for points in the world, using multi-camera video data. Such methods combine multi-view reconstruction with motion...
UML
2005
Springer
14 years 4 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
ICDM
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper describes a novel data mining approach that employs evolutionary programming to discover knowledge represented in Bayesian networks. There are two different approaches ...
PAKDD
2010
ACM
14 years 3 months ago
2010
ACM
During social interactions in a community, there are often sub-communities that behave in opposite manner. These antagonistic sub-communities could represent groups of people with ...