4850 search results - page 348 / 970 » Proof and Computation in Geometry |
178
click to vote
EXACT
2008
15 years 9 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...
175
click to vote
COMGEO
2010
ACM
15 years 7 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...
206
Voted
DCC
2005
IEEE
16 years 6 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,...
147
click to vote
DCC
2001
IEEE
16 years 6 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...
171
click to vote
CSR
2010
Springer
15 years 11 months ago
2010
Springer
By terms-allowed-in-types capacity, the Logic of Proofs LP includes formulas of the form t : Ï•(t), which have self-referential meanings. In this paper, “prehistoric phenomenaâ€...