611 search results - page 3 / 123 » Yuri, Logic, and Computer Science |
FOCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Suppose that every k points in a n point metric space X are D-distortion embed
WG
2010
Springer
13 years 8 months ago
2010
Springer
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 ...
LICS
1998
IEEE
14 years 2 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...
BSL
2006
13 years 9 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...