Technical Reports
1995
Buffer Sharing Schemes for Continuous-Media Systems
Geometric and Computational Aspects of Manufacturing Processes
No Quadrangulation is Extremely Odd
Performance Measures for Constrained Systems
Rigidity Checking of 3D Point Correspondences Under Perspective Projection
The UBC Distributed Continuous Media File System: Internal Design of Server
Real Time Threads Interface
Reflectance and Shape from a Rotating Object
Numerical Simulations of Semiconductor Devices by Streamline-Diffusion Methods
Forward Dynamics, Elimination Methods, and Formulation Stiffness in Robot Simulation
A Simple Proof Checker for Real-Time Systems
Sequential Regularization Methods for Nonlinear Higher Index DAEs
The Creation, Presentation and Implications of Selected Auditory Illusions
Coordinating Heterogeneous Time-Based Media Between Independent Applications
XTP Application Programming Interface
Model Checking Partially Ordered State Spaces
A Shared 4-D Workspace
On the Maximum Tolerable Noise for Reliable Computation by Formulas
Verification of Benchmarks 17 and 22 of the IFIP WG10.5 Benchmark Circuit Suite
Optimal Algorithms to Embed Trees in a Point Set
Pure versus Impure Lisp
Three-Dimensional Analysis of Scoliosis Surgery Using Stereophotogrammetry
Separating Reflection Functions for Linear Radiosity
From Local to Global Illumination and Back
VideHoc: A Visualizer for Homogenous Coordinates
Light-Driven Global Illumination with a Wavelet Representation of Light Transport
Union of Spheres (UoS) Model for Volumetric Data
Shape Interpolations with Unions of Spheres
Multiresolution Surface Reconstruction For Hierarchical B-splines
Pasting Spline Surfaces
Surface Fitting with Hierarchical Splines
Regularization Methods for Differential Equations and Their Numerical Solution
Illumination Problems in Computer Augmented Reality