10392 search results - page 27 / 2079 » Introduction to Computer Science |
182
Voted
SI3D
1992
ACM
15 years 10 months ago
1992
ACM
The development of 3D visual simulation systemson inexpensive, commercially available graphics workstations is occurring today and will be commonplace in the near future. Such sys...
126
Voted
COMPUTER
2004
15 years 6 months ago
2004
102
Voted
COMPUTER
2000
15 years 6 months ago
2000
166
Voted
STOC
2009
ACM
16 years 7 months ago
2009
ACM
The paper concerns graph spanners that are resistant to vertex or edge failures. Given a weighted undirected n-vertex graph G = (V, E) and an integer k 1, the subgraph H = (V, E ...
125
Voted
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...