Sciweavers

10392 search results - page 271 / 2079
» Introduction to Computer Science
Sort
View
138
Voted
TLCA
1997
Springer
15 years 11 months ago
Primitive Recursion for Higher-Order Abstract Syntax
Joëlle Despeyroux, Frank Pfenning, Carsten Sc...
158
Voted
FOCS
1993
IEEE
15 years 11 months ago
A Simple Local-Control Approximation Algorithm for Multicommodity Flow
Baruch Awerbuch, Frank Thomson Leighton
FOCS
1994
IEEE
15 years 11 months ago
A Theory of Competitive Analysis for Distributed Algorithms
Miklós Ajtai, James Aspnes, Cynthia Dwork, ...
140
Voted
FOCS
1994
IEEE
15 years 11 months ago
Approximate Graph Coloring by Semidefinite Programming
David R. Karger, Rajeev Motwani, Madhu Sudan