Sciweavers

17920 search results - page 268 / 3584
» Recentering computer science
Sort
View
FOCS
1999
IEEE
15 years 10 months ago
Derandomizing Arthur-Merlin Games Using Hitting Sets
Peter Bro Miltersen, N. V. Vinodchandran
ERSHOV
1999
Springer
15 years 10 months ago
Algebraic Imperative Specifications
Marie-Claude Gaudel, Alexandre V. Zamulin
ERSHOV
1999
Springer
15 years 10 months ago
Using Experiments to Build a Body of Knowledge
Victor R. Basili, Forrest Shull, Filippo Lanubile
ERSHOV
1999
Springer
15 years 10 months ago
On Semantics and Correctness of Reactive Rule-Based Programs
Man Lin, Jacek Malec, Simin Nadjm-Tehrani
FOCS
1998
IEEE
15 years 10 months ago
Delayed Information and Action in On-line Algorithms
Susanne Albers, Moses Charikar, Michael Mitzenmach...