Sciweavers

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