922 search results - page 58 / 185 » A generalization of the Lin-Zhao theorem |
JAR
2006
13 years 10 months ago
2006
To simplify the task of proving termination and AC-termination of term rewriting systems, elimination transformations have been vigorously studied since the 1990's. Dummy elim...
AAAI
2012
12 years 20 days ago
2012
Designing revenue-optimal auctions for various settings is perhaps the most important, yet sometimes most elusive, problem in mechanism design. Spiteful bidders have been intensel...
ICML
2009
IEEE
14 years 11 months ago
2009
IEEE
We present a general PAC-Bayes theorem from which all known PAC-Bayes risk bounds are obtained as particular cases. We also propose different learning algorithms for finding linea...
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set ...
COMPGEOM
2005
ACM
14 years 7 days ago
2005
ACM
We present a multi-dimensional generalization of the Szemer´edi-Trotter Theorem, and give a sharp bound on the number of incidences of points and not-too-degenerate hyperplanes i...