4457 search results - page 511 / 892 » Tests of Machine Intelligence |
162
click to vote
ARITH
1993
IEEE
15 years 11 months ago
1993
IEEE
An attractive paradigm for building fast numerical algorithms is the following: 1 try a fast but occasionally unstable algorithm, 2 test the accuracy of the computed answer, a...
159
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
Symbolic state space exploration techniques for Finite State Machines (FSMs) are a major recent result in CAD for VLSI. Most of them are exact and based on forward traversal, but ...
158
click to vote
ICLP
1992
Springer
15 years 11 months ago
1992
Springer
: Whiledecision tree compilationis a promisingway tocarry out guard tests e ciently, the methods given in the literature do not take into account either the execution characteristi...
181
click to vote
BICOB
2009
Springer
15 years 10 months ago
2009
Springer
Protein-protein interaction plays critical roles in cellular functions. In this work, we propose a computational method to predict protein-protein interaction by using support vec...
183
click to vote
COMPSYSTECH
2007
15 years 10 months ago
2007
: The paper proposes a different approach to data modeling. Analogous to the rejection method, where the misclassifications are removed and manually evaluated, we focus here on dif...