10392 search results - page 27 / 2079 » Introduction to Computer Science |
SI3D
1992
ACM
14 years 3 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...
COMPUTER
2004
13 years 10 months ago
2004
COMPUTER
2000
13 years 10 months ago
2000
STOC
2009
ACM
14 years 11 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 ...
BIRTHDAY
2006
Springer
14 years 2 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 ...