1722 search results - page 153 / 345 » Generating Tests from Counterexamples |
UML
2005
Springer
14 years 3 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
This paper proposes a statistical mechanism to analyze the detector coverage in a negative selection algorithm, namely a quantitative measurement of a detector set’s capability ...
ECML
2006
Springer
14 years 2 months ago
2006
Springer
Automatically acquiring control-knowledge for planning, as it is the case for Machine Learning in general, strongly depends on the training examples. In the case of planning, examp...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
This paper introduces a voltage multiplier (VM) circuit which can step up a minimum voltage of 150 mV (peak). The operation and characteristics of this converter circuit are descr...
AINA
2008
IEEE
14 years 4 months ago
2008
IEEE
We introduce a method for comparing protein structures using the notion of residue contexts based on protein Cα-atom backbones. The residue context is derived from the set of vec...