4126 search results - page 468 / 826 » Set based logic programming |
164
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
— In this paper, we show that one-class SVMs can also utilize data covariance in a robust manner to improve performance. Furthermore, by constraining the desired kernel function ...
115
click to vote
ICCSA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A number of individual bioinformatics applications (particularly BLAST and other sequence searching methods) have recently been implemented over clusters of workstations ...
130
click to vote
USENIX
1990
15 years 5 months ago
1990
Dbx is the standard source-level debugger on most Unix1 workstations. Over the past six years Dbx has grown from a debugger for interpreted Pascal programs to a debugger for compi...
126
click to vote
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
138
click to vote
ETS
2006
IEEE
15 years 10 months ago
2006
IEEE
A central problem in built-in self test (BIST) is how to efficiently generate a small set of test vectors that detect all targeted faults. We propose a novel solution that uses l...