1818 search results - page 254 / 364 » Granularity-Adaptive Proof Presentation |
84
Voted
AML
2007
15 years 3 months ago
2007
We provide an exposition of supercompact Radin forcing and present several methods for iterating Radin forcing. In this paper we give an exposition of supercompact Radin forcing us...
219
Voted
ENTCS
2002
15 years 3 months ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
139
Voted
JMLR
2011
14 years 10 months ago
2011
This paper1 presents novel algorithms and applications for a particular class of mixed-norm regularization based Multiple Kernel Learning (MKL) formulations. The formulations assu...
119
Voted
TCC
2009
Springer
16 years 4 months ago
2009
Springer
The concept of witness-hiding suggested by Feige and Shamir is a natural relaxation of zero-knowledge. In this paper we identify languages and distributions for which many known co...
133
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...