The ICICS/CS Reading Room
2000 UBC CS Technical Report Titles
- TR-2000-01
-
Stochastic Local Search Methods for Dynamic SAT - an Initial Investigation
Holger H. Hoos and Kevin O'Neill
- TR-2000-02
-
R-Simp to PR-Simp: Parallelizing A Model Simplification Algorithm
Dmitry Brodsky
- TR-2000-04
-
Enumeration of Equicolourable Trees
Nicholas Pippenger
- TR-2000-05
-
Optimal and Approximate Stochastic Planning using Decision Diagrams
Jesse Hoey, Robert St.Aubin, Alan Hu and Craig Boutilier
- TR-2000-06
-
Using Idle Workstations to Implement Predictive Prefetching
Jasmine Y.Q. Wang, Joon Suan Ong, Yvonne Coady and Michael J. Feeley
- TR-2000-07
-
Eliminating Cycles in Composed Class Hierarchies
Robert J. Walker
- TR-2000-08
-
Determination of Intensity Thresholds via Shape Gradients
Roger Tam and Alain Fournier
- TR-2000-09
-
Efficient Mapping of Software System Traces to Architectural Views
Robert J. Walker, Gail C. Murphy, Jeffrey Steinbok and Martin P. Robillard
- TR-2000-10
-
The Rectilinear Crossing Number of K_10 is 62
Alex Brodsky, Stephane Durocher and Ellen Gethner
- TR-2000-11
-
Toward the Rectilinear Crossing Number of K_n: New Drawings, Upper Bounds, and Asymptotics
Alex Brodsky, Stephane Durocher and Ellen Gethner
If you have any questions or comments regarding this page please send mail to
help.ubc.ca.