5159 search results - page 675 / 1032 » Structural Testing of Executables |
209
click to vote
ISAAC
1995
Springer
15 years 11 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
215
click to vote
SIGIR
1995
ACM
15 years 11 months ago
1995
ACM
This paper studies noise reduction for computational efficiency improvements in a statistical learning method for text categorization, the Linear Least Squares Fit (LLSF) mapping...
198
click to vote
WSC
2007
15 years 9 months ago
2007
It is well known that trivariate reduction — a method to generate two dependent random variables from three independent random variables — can be used to generate Poisson rand...
174
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
179
click to vote
DIS
2008
Springer
15 years 9 months ago
2008
Springer
Decision trees are among the most effective and interpretable classification algorithms while ensembles techniques have been proven to alleviate problems regarding over-fitting and...