4079 search results - page 433 / 816 » Differential Testing for Software |
159
click to vote
EUROPAR
2005
Springer
15 years 11 months ago
2005
Springer
The parallel edge-based solution of 3D incompressible Navier-Stokes equations is presented. The governing partial differential equations are discretized using the SUPG/PSPG stabili...
148
click to vote
IPMI
2005
Springer
15 years 11 months ago
2005
Springer
Consistent efforts are being made to build Computer-Aided Detection and Diagnosis systems for radiological images. Such systems depend on automated detection of various disease pat...
146
click to vote
RAID
2005
Springer
15 years 11 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
181
click to vote
ICML
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper introduces RankOpt, a linear binary classifier which optimises the area under the ROC curve (the AUC). Unlike standard binary classifiers, RankOpt adopts the AUC stat...
162
Voted
ICADL
2004
Springer
15 years 11 months ago
2004
Springer
A robust character region identification approach is proposed here to deal with cover images using a differential top-hat transformation (DTT). The DTT is derived from morphologica...