2214 search results - page 301 / 443 » complexity 2004 |
156
click to vote
CMSB
2004
Springer
15 years 9 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
135
click to vote
COCO
2004
Springer
15 years 9 months ago
2004
Springer
This paper studies quantum Arthur–Merlin games, which are Arthur–Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum in...
131
click to vote
COLT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We consider the problem of estimating an unknown probability distribution from samples using the principle of maximum entropy (maxent). To alleviate overfitting with a v...
124
click to vote
COLT
2004
Springer
15 years 9 months ago
2004
Springer
We study the properties of the Minimum Description Length principle for sequence prediction, considering a two-part MDL estimator which is chosen from a countable class of models....
129
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...