3228 search results - page 272 / 646 » Computationally Sound Proofs |
140
Voted
EXACT
2008
15 years 7 months ago
2008
This paper describes a project aiming at enhancing social tagging with reasoning and explanations. So as to keep with the ease of use characteristic of social media, simple explana...
141
click to vote
COMGEO
2010
ACM
15 years 4 months ago
2010
ACM
Using a technique that Tverberg and Vrecica [TV93] discovered to give a surprisingly simple proof of Tverberg's theorem, we show the following extension of the centerpoint th...
115
click to vote
CG
2004
Springer
15 years 4 months ago
2004
Springer
We provide a formal proof of equivalence between the class of fractals created by Recursive Turtle Programs (RTP) and Iterated Affine Transformations (IAT). We begin by reviewing ...
164
Voted
DCC
2005
IEEE
16 years 4 months ago
2005
IEEE
We give an overview of some of the mathematical results of Dominique de Caen. These include a short proof of K?onig's theorem, results on Tur?an numbers, biclique partitions,...
114
click to vote
DCC
2001
IEEE
16 years 4 months ago
2001
IEEE
Zador's classic result for the asymptotic high-rate behavior of entropy-constrained vector quantization is recast in a Lagrangian form which better matches the Lloyd algorith...