Sciweavers

611 search results - page 1 / 123
» Yuri, Logic, and Computer Science
Sort
View
BIRTHDAY
2010
Springer
13 years 9 months ago
Yuri, Logic, and Computer Science
Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
BIRTHDAY
2010
Springer
13 years 8 months ago
Database Theory, Yuri, and Me
Yuri Gurevich made many varied and deep contributions to logic for computer science. Logic provides also the theoretical foundation of database systems. Hence, it is almost unavoid...
Jan Van den Bussche

Presentation
555views
15 years 10 months ago
Basics of Graph Cuts
Neat presentation about the basics of Graph Cuts by Yuri Boykov at the European Conference on Computer Vision (ECCV) 2006.
Yuri Boykov
BIRTHDAY
1987
Springer
14 years 2 months ago
Existential Fixed-Point Logic
Andreas Blass, Yuri Gurevich