3238 search results - page 337 / 648 » Not Enough Points Is Enough |
183
click to vote
COLT
2005
Springer
16 years 9 days ago
2005
Springer
We present two new methods for obtaining generalization error bounds in a semi-supervised setting. Both methods are based on approximating the disagreement probability of pairs of ...
204
click to vote
CSL
2005
Springer
16 years 9 days ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
158
click to vote
CSL
2005
Springer
16 years 9 days ago
2005
Springer
The proof system G∗ 0 of the quantified propositional calculus corresponds to NC1 , and G∗ 1 corresponds to P, but no formula-based proof system that corresponds log space rea...
179
click to vote
ECMDAFA
2005
Springer
16 years 9 days ago
2005
Springer
As the number of available Web services increases there is a growing demand to realize complex business processes by combining and reusing available Web services. The reuse and com...
188
click to vote
EDO
2005
Springer
16 years 8 days ago
2005
Springer
Publish/subscribe infrastructures are used as the basic communication and integration framework in many application domains. The majority of those infrastructures, however, fall s...