551 search results - page 46 / 111 » Natural proofs |
181
click to vote
LORI
2009
Springer
15 years 11 months ago
2009
Springer
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...
139
click to vote
MKM
2009
Springer
15 years 11 months ago
2009
Springer
Converting mathematical documents from a human-friendly natural language to a form that can be readily processed by computers is often a tedious, manual task. Translating between v...
160
click to vote
FOAL
2009
ACM
15 years 11 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
131
click to vote
KR
2010
Springer
15 years 10 months ago
2010
Springer
We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear l...
135
click to vote
TIT
2008
15 years 5 months ago
2008
Progressive encoding of a signal generally involves an estimation step, designed to reduce the entropy of the residual of an observation over the entropy of the observation itself....