Sciweavers

4463 search results - page 117 / 893
» computing 2000
Sort
View
SPIN
2000
Springer
15 years 6 months ago
Bebop: A Symbolic Model Checker for Boolean Programs
Thomas Ball, Sriram K. Rajamani
STACS
2000
Springer
15 years 6 months ago
The CNN Problem and Other k-Server Variants
Elias Koutsoupias, David Scot Taylor
89
Voted
DCC
2000
IEEE
15 years 2 months ago
New Colored Visual Secret Sharing Schemes
Ching-Nung Yang, Chi-Sung Laih
91
Voted
CVPR
2000
IEEE
16 years 4 months ago
Iterative Projective Reconstruction from Multiple Views
Shyjan Mahamud, Martial Hebert