7124 search results - page 1264 / 1425 » Programming Languages and Operating Systems |
191
click to vote
SLOGICA
2011
14 years 9 months ago
2011
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attentio...
105
click to vote
DBPL
2003
Springer
15 years 7 months ago
2003
Springer
The increased usage of mobile devices coupled with an unprecedented demand for information has pushed the scalability problem of pull-based data service to the focus. A broadcast ...
131
click to vote
ALGORITHMICA
2005
15 years 2 months ago
2005
We present a new bit-parallel technique for approximate string matching. We build on two previous techniques. The first one, BPM [Myers, J. of the ACM, 1999], searches for a patte...
142
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Receiver operating characteristic (ROC) curves are useful tools to evaluate classifiers in biomedical and bioinformatics applications. However, conclusions are often r...
144
click to vote
CALCO
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...