3384 search results - page 275 / 677 » More Testable Properties |
165
Voted
IJAR
2008
15 years 6 months ago
2008
Empirical evidence shows that naive Bayesian classifiers perform quite well compared to more sophisticated network classifiers, even in view of inaccuracies in their parameters. I...
142
click to vote
ENTCS
2006
15 years 6 months ago
2006
The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are w...
217
click to vote
IJNSEC
2008
15 years 6 months ago
2008
Most of the current security architectures for grid systems use conventional public key infrastructure (PKI) to authenticate grid members and to secure resource allocation to thes...
169
click to vote
COMGEO
2007
ACM
15 years 6 months ago
2007
ACM
Snap rounding is a method for converting arbitrary-precision arrangements of segments into fixed-precision representation. We present an algorithm for snap rounding with running ...
134
click to vote
JFP
2008
15 years 6 months ago
2008
In this paper, we introduce Applicative functors--an abstract characterisation of an applicative style of effectful programming, weaker than Monads and hence more widespread. it i...