611 search results - page 3 / 123 » Yuri, Logic, and Computer Science |
116
Voted
FOCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Suppose that every k points in a n point metric space X are D-distortion embed
112
Voted
WG
2010
Springer
15 years 1 months ago
2010
Springer
168
click to vote
Presentation
A detailed presentation by Yuri Boykov, Daniel Cremers, Vladimir Kolmogorov, at the European Conference on Computer Vision (ECCV) 2006, that shows the difference between local and ...
112
Voted
LICS
1998
IEEE
15 years 7 months ago
1998
IEEE
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...
130
Voted
BSL
2006
15 years 3 months ago
2006
We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science hav...