17049 search results - page 179 / 3410 » cans 2007 |
93
Voted
DAGSTUHL
2006
15 years 10 days ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. As for other ambient calculi static...
DAGSTUHL
2006
15 years 10 days ago
2006
We present and relate recent results in prediction based on countable classes of either probability (semi-)distributions or base predictors. Learning by Bayes, MDL, and stochastic ...
65
Voted
DAGSTUHL
2006
15 years 10 days ago
2006
Mundici considered the question of whether the interpolant of two propositional formulas of the form F G can always have a short circuit description, and showed that if this is t...
DAGSTUHL
2006
15 years 10 days ago
2006
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...
80
Voted
EMNLP
2004
15 years 10 days ago
2004
If two translation systems differ differ in performance on a test set, can we trust that this indicates a difference in true system quality? To answer this question, we describe b...