Technical Reports

The ICICS/CS Reading Room


1997 UBC CS Technical Report Titles

TR-97-01
Soundness and Cut-Elimination in NaDSyL
Paul C. Gilmore

TR-97-02
On Digital Money and Card Technologies
Edwin M. Knorr

TR-97-03
Video and Audio Streams Over an IP/ATM Wide Area Network
Mark McCutcheon, Mabo R. Ito and Gerald W. Neufeld

TR-97-04
Random Interval Graphs
Nicholas Pippenger

TR-97-05
Surface Reflectance and Shape from Images Using Collinear Light Source
Jiping Lu and Jim Little

TR-97-06
An Object-Oriented Graphics Kernel
Gene Lee

TR-97-10
Surface and Shading Models from Real Images fro Computer Graphics
Jiping Lu and Jim Little

TR-97-11
A Fast Heuristic For Finding The Minimum Weight Triangulation
Ronald Beirouti

TR-97-12
Formalization and Analysis of the Separation Minima for the North Atlantic Region: Complete Specification and Analysis Results
Nancy A. Day, Jeffrey J. Joyce and Gerry Pelletier

TR-97-13
Average-Case Bounds on the Complexity of Path-Search
Nicholas Pippenger

TR-97-14
Conceptual Module Querying for Software Reengineering
Elisa Baniassad and Gail C. Murphy

TR-97-15
Extending and Managing Software Reflexion Models
Gail C. Murphy, David Notkin and Kevin Sullivan

TR-97-16
The Measured Access Characteristics of World-Wide-Web Client Proxy Caches
Bradley M. Duska, David Marwood and Michael J. Feeley

TR-97-17 (Abstract not available on-line)
A Logic For Default Reasoning
Raymond Reiter

TR-97-19
Supporting Learners in a Remote Computer-Supported Collaborative Learning Environment: The Importance of Task and Communication
David Graves

TR-97-21
A Network-Enhanced Volume Renderer
Jeff LaPorte


If you have any questions or comments regarding this page please send mail to help@cs.ubc.ca.