6800 search results - page 905 / 1360 » Testing with Functions as Specifications |
171
click to vote
JCC
2008
15 years 6 months ago
2008
Abstract: We have developed a fitting algorithm able to extract spectral and dynamic properties of a three level oscillator from a two-dimensional infrared spectrum (2D-IR) detecte...
192
click to vote
JCST
2008
15 years 6 months ago
2008
Research into ant colony algorithms for solving continuous optimization problems forms one of the most significant and promising areas in swarm computation. Although traditional an...
204
click to vote
JMLR
2006
15 years 6 months ago
2006
Receiver Operating Characteristic (ROC) curves are a standard way to display the performance of a set of binary classifiers for all feasible ratios of the costs associated with fa...
188
click to vote
ENTCS
2007
15 years 6 months ago
2007
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
186
click to vote
PAA
2008
15 years 6 months ago
2008
This paper analyzes the application of Moran's index and Geary's coefficient to the characterization of lung nodules as malignant or benign in computerized tomography ima...