Technical Reports

1995

TR-95-01

Buffer Sharing Schemes for Continuous-Media Systems

Dwight J. Makaroff and Raymond T. Ng

TR-95-02

Geometric and Computational Aspects of Manufacturing Processes

Prosenjit K. Bose

TR-95-03

No Quadrangulation is Extremely Odd

Prosenjit Bose and Godfried Toussaint

TR-95-04

Performance Measures for Constrained Systems

Kees van den Doel and Dinesh K. Pai

TR-95-05

Rigidity Checking of 3D Point Correspondences Under Perspective Projection

Daniel P. McReynolds and David G. Lowe

TR-95-06

The UBC Distributed Continuous Media File System: Internal Design of Server

Dwight J. Makaroff, Norman C. Hutchinson, and Gerald W. Neufeld

TR-95-07

Real Time Threads Interface

David Finkelstein, Norman C. Hutchinson and Dwight J. Makaroff

TR-95-09

Reflectance and Shape from a Rotating Object

Jiping Lu and Jim Little

TR-95-11

Numerical Simulations of Semiconductor Devices by Streamline-Diffusion Methods

Xunlei Jiang

TR-95-12

Forward Dynamics, Elimination Methods, and Formulation Stiffness in Robot Simulation

Dinesh Pai Uri Ascher and Benoit Cloutier

TR-95-13

A Simple Proof Checker for Real-Time Systems

Catherine Leung

TR-95-14

Sequential Regularization Methods for Nonlinear Higher Index DAEs

Uri M. Ascher and Ping Lin

TR-95-15

The Creation, Presentation and Implications of Selected Auditory Illusions

Scott Flinn and Kellogg S. Booth

TR-95-16

Coordinating Heterogeneous Time-Based Media Between Independent Applications

Scott Flinn

TR-95-17

XTP Application Programming Interface

Roland Mechler and Gerald W. Neufeld

TR-95-18

Model Checking Partially Ordered State Spaces

Scott Hazelhurst and Carl -J. H. Seger

TR-95-19

A Shared 4-D Workspace

Miranda Ko and Peter Cahoon

TR-95-20

On the Maximum Tolerable Noise for Reliable Computation by Formulas

William Evans and Nicholas Pippenger

TR-95-21

Verification of Benchmarks 17 and 22 of the IFIP WG10.5 Benchmark Circuit Suite

Scott Hazelhurst and Carl -J. H. Seger

TR-95-22

Optimal Algorithms to Embed Trees in a Point Set

Prosenjit Bose, Michael McAllister and Jack Snoeyink

TR-95-23

Pure versus Impure Lisp

Nicholas Pippenger

TR-95-24

Three-Dimensional Analysis of Scoliosis Surgery Using Stereophotogrammetry

Kellogg S. Booth, Stanley B. Jang, Chris W. Reilly, Bonita J. Sawatzky and Stephen J. Tredwell

TR-95-25

Separating Reflection Functions for Linear Radiosity

Alain Fournier

TR-95-26

From Local to Global Illumination and Back

Alain Fournier

TR-95-27

VideHoc: A Visualizer for Homogenous Coordinates

Robert R. Lewis

TR-95-28

Light-Driven Global Illumination with a Wavelet Representation of Light Transport

Robert R. Lewis and Alain Fournier

TR-95-29

Union of Spheres (UoS) Model for Volumetric Data

Vishwa Ranjan and Alain Fournier

TR-95-30

Shape Interpolations with Unions of Spheres

Vishwa Ranjan and Alain Fournier

TR-95-31

Multiresolution Surface Reconstruction For Hierarchical B-splines

David R. Forsey and David Wong

TR-95-32

Pasting Spline Surfaces

C. Barghiel, Richard H. Bartels and David R. Forsey

TR-95-33

Surface Fitting with Hierarchical Splines

David R. Forsey and Richard H. Bartels

TR-95-34

Regularization Methods for Differential Equations and Their Numerical Solution

Ping Lin

TR-95-35

Illumination Problems in Computer Augmented Reality

Alain Fournier