Browse

ftp://ftp.cs.ubc.ca (112)

	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-43.ps.gz, 19940215 Similarity Metric Learning for a Variable-Kernel Classifier David G. Lowe Computer Science Department University of British Columbia Vancouver, B.C., V6T 1Z4, Canada E-mail: lowe@cs.ubc.ca November 25, 1993
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1992/TR-92-34.ps.gz, 19940215 A Mathematically Precise Two-Level Formal Hardware Verification Methodology Carl-Johan H. Seger Jeffrey J. Joyce Department of Computer Science University of British Columbia Vancouver, B.C. V6T 1Z2 Canada
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1992/TR-92-13.ps.gz, 19940215 An Introduction to Formal Hardware Verification Carl-Johan Seger Department of Computer Science University of British Columbia Vancouver, B.C., CANADA V6T 1Z2 e-mail: seger@cs.ubc.ca
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-35.ps.gz, 19940216 A Model Checker for Statecharts (Linking CASE tools with Formal Methods) by Nancy Day Technical Report 93-35 October 1993 Department of Computer Science University of British Columbia Rm 201 - 2366 Main Mall Vancouver, B.C. CANADA V6T 1Z4 Telephone: (604) 822-3061 Fax: (604) 822-5485 A Model Checker for
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1992/TR-92-15.ps.gz, 19940223 The Raven System 1 Donald Acton, Terry Coatta and Gerald Neufeld Technical Report TR 92-15 August 31, 1992
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-41.ps.gz, 19940223 A Simple Theorem Prover Based on Symbolic Trajectory Evaluation and OBDDs Scott Hazelhurst Carl-Johan H. Seger Technical Report 93{41 12 November 1993 Department of Computer Science University of British Columbia Rm 201 - 2366 Main Mall Vancouver, B.C. CANADA V6T 1Z4 Telephone: (604) 822-3061 Fax: (604)
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-44.ps.gz, 19940223 Discrete Conservative Approximations of Hybrid Systems Andrew K. Martin Carl-Johan H. Seger Integrated Systems Design Laboratory Department of Computer Science University of British Columbia Vancouver, B.C. V6T 1Z4 Canada
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-19.ps.gz, 19940223 Fault Coverage Evaluation of Protocol Test Sequences by Jinsong Zhu and Samuel T. Chanson Technical Report 93-19 June 1993 Department of Computer Science The University of British Columbia Vancouver, B. C. V6T 1Z2 Canada email: jzhu@cs.ubc.ca, chanson@cs.ubc.ca c 1993 Jinsong Zhu and Samuel T. Chanson
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-18.ps.gz, 19940224 Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving Jeffrey J. Joyce Carl-Johan H. Seger Department of Computer Science University of British Columbia Vancouver, B.C. V6T 1Z2 Canada
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-45.ps.gz, 19940224 Voss \| A Formal Hardware Verification System User's Guide Technical Report 93-45 Carl-Johan H. Seger Department of Computer Science University of British Columbia Vancouver, B.C. V6T 1Z4 Canada Email: seger@cs.ubc.ca December 6, 1993
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-08.ps.gz, 19940224 Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories Carl-Johan H. Seger Department of Computer Science University of British Columbia Vancouver, B.C. V6T 1Z2 Canada Randal E. Bryant School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 USA July 7, 1993
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-40.ps.gz, 19940224 Automatic Verification of Asynchronous Circuits Trevor W. S. Lee Mark R. Greenstreet Carl-Johan Seger Technical Report 93-40 Department of Computer Science University of British Columbia Vancouver, B.C. V6T 1Z4 Canada November 12, 1993
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-36.ps.gz, 19940228 The Raven Kernel: a Microkernel for Shared Memory Multiprocessors 1 Duncan Stuart Ritchie sritchie@cs.ubc.ca Department of Computer Science University of British Columbia Vancouver, B.C., Canada V6T 1Z2 Technical Report TR 93-36 April 30, 1993 The Raven kernel is a small, lightweight operating system
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-06.ps.gz, 19940228 Constant Time Parallel Indexing of Points in a Triangle Simon Kahan and Pierre Kelsen
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-24.ps.gz, 19940228 Sequential Regularization Methods for higher index DAEs with Constraint Singularities: I. Linear Index-2 Case Uri Ascher Department of Computer Science University of British Columbia Vancouver, British Columbia Canada V6T 1Z2 ascher@cs.ubc.ca Ping Liny Department of Mathematics University of British
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-29.ps.gz, 19940228 A Compact Piecewise-Linear Voronoi Diagram for Convex Sites in the Plane Michael McAllister David Kirkpatrick Jack Snoeyink Department of Computer Science University of British Columbia
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-15.ps.gz, 19940228 IMPLICIT-EXPLICIT METHODS FOR TIME-DEPENDENT PDE'S URI M. ASCHER , STEVEN J. RUUTHy , AND BRIAN T.R. WETTONz
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-33.ps.gz, 19940228 Analysis of a Recurrence Arising from a Construction for Non-Blocking Networks Nicholas Pippenger* e-mail: nicholas@cs.ubc.ca Department of Computer Science The University of British Columbia Vancouver, British Columbia V6T 1Z4 CANADA
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-42.ps.gz, 19940228 Juggling Networks Nicholas Pippenger* e-mail: nicholas@cs.ubc.ca Department of Computer Science The University of British Columbia Vancouver, British Columbia V6T 1Z4 CANADA
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-34.ps.gz, 19940228 Self-Routing Superconcentrators Nicholas Pippenger* Department of Computer Science The University of British Columbia Vancouver, British Columbia V6T 1Z4 CANADA
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-03.ps.gz, 19940228 A MULTIGRID SOLVER FOR THE STEADY STATE NAVIER-STOKES EQUATIONS USING THE PRESSURE-POISSON FORMULATION DAVID SIDILKOVER AND URI M. ASCHERy
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-04.ps.gz, 19940301 Design and Analysis of Embedded Real-Time Systems: An Elevator Case Study Ying Zhang and Alan K. Mackworth Department of Computer Science University of British Columbia Vancouver, B.C., Canada, V6T 1Z2 E-mail: zhang@cs.ubc.ca, mack@cs.ubc.ca
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1992/TR-92-28.ps.gz, 19940301 The Psychology of Visualization by Andrew Csinger Department of Computer Science University of British Columbia November 1992 c Andrew Csinger, 1992
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1991/TR-91-18.ps.gz, 19940302 Photometric Stereo: Lambertian Reflectance and Light Sources with Unknown Direction and Strength by R.J. Woodham1;3, Y Iwahori2 and R.A. Barman3 Technical Report 91-18 August, 1991 2 Faculty of Engineering Nagoya Institute of Technology Gokiso-cho, Showa-ku, Nagoya, 466, Japan 3 Laboratory for
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1992/TR-92-11.ps.gz, 19940302 Robust Model-based Motion Tracking Through the Integration of Search and Estimation David G. Lowe Technical Report 92{11 May 1992 Computer Science Department University of British Columbia Vancouver, B.C., V6T 1Z4, Canada Email: lowe@cs.ubc.ca This paper has been accepted for publication in the
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-39.ps.gz, 19940308 Tridiagonalization Costs of the Bandwidth Contraction and Rutishauser-Schwarz Algorithms Ian A. Cavers Department of British Columbia University of British Columbia November 4, 1993
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-31.ps.gz, 19940315 Objects That Cannot Be Taken Apart With Two Hands Jack Snoeyink Department of Computer Science University of British Columbia Jorge Stolfiy Department of Computer Science University of Campinas
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-32.ps.gz, 19940315 Counting and Reporting Red/Blue Segment Intersections Larry Palazzi Jack Snoeyink Department of Computer Science University of British Columbia 2366 Main Mall Vancouver, B.C. V6T 1Z4 Canada palazzi@cs.ubc.ca snoeyink@cs.ubc.ca
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-28.ps.gz, 19940315 Generating Random Monotone Polygons Jack Snoeyink Chong Zhu Technical Report 93-28 September 1993 Department of Computer Science The University of British Columbia Vancouver, B. C. V6T 1Z4 Canada
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-30.ps.gz, 19940315 Tentative Prune-and-Search for Computing Fixed-Points with Applications to Geometric Computation David Kirkpatrick Jack Snoeyink Department of Computer Science University of British Columbia
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1992/TR-92-07.ps.gz, 19940315 Speeding Up the Douglas-Peucker Line-Simplification Algorithm John Hershberger DEC Systems Research Center 130 Lytton Ave Palo Alto, CA 94305 USA johnh@src.dec.com Jack Snoeyink Department of Computer Science University of British Columbia Vancouver, BC V6T 1Z2 Canada snoeyink@cs.ubc.ca
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-47.ps.gz, 19940322 1 We Have Never-Forgetful Flowers In Our Garden: Girls Responses To Electronic Games Kori Inkpen, Rena Upitis, Maria Klawe, Joan Lawry, Ann Anderson, Mutindi Ndunda, Kamran Sedighian, Steve Leroux, and David Hsu Electronic Games for Education in Math and Science (E-GEMS) Department of Computer Science
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-05.ps.gz, 19940322 1 COOPERATIVE LEARNING IN THE CLASSROOM: The Importance of a Collaborative Environment for Computer-Based Education Kori Inkpen, Kellogg Booth, Maria Klawe Department of Computer Science University of British Columbia Vancouver, British Columbia, V6T 1Z4 Phone: (604)822-8990 E-mail: inkpen@cs.ubc.ca
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-04.ps.gz, 19940408 Model-Based Object Recognition A Survey of Recent Research Arthur R. Pope Technical Report 94 04 January 1994
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-27.ps.gz, 19940413 Unit Disk Graph Recognition is NP-Hard Heinz Breu y and David G. Kirkpatrick Department of Computer Science, University of British Columbia 13 May 1993
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-01.ps.gz, 19940426 Exploring Common Conceptions About Boys and Electronic Games Joan Lawry, Rena Upitis, Maria Klawe, Ann Anderson, Kori Inkpen, Mutindi Ndunda, David Hsu, Steve Leroux, and Kamran Sedighian April 25, 1994 Electronic Games for Education in Math and Science (E-GEMS) Department of Computer Science and
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-15.ps.gz, 19940511 Computing Common Tangents Without a Separating Line David Kirkpatrick Jack Snoeyink Department of Computer Science University of British Columbia
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1992/TR-92-30.ps.gz, 19940519 Parallel and Distributed Finite Constraint Satisfaction: Complexity, Algorithms and Experiments by Ying Zhang and Alan K. Mackworth Technical Report 92-30 November 1992 Department of Computer Science The University of British Columbia Vancouver, B. C. V6T 1Z4 Canada email: zhang@cs.ubc.ca,
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1991/TR-91-06.ps.gz, 19940519 Parallel and Distributed Algorithms for Constraint Networks by Ying Zhang and Alan K. Mackworth Technical Report 91-6 May 1991 Department of Computer Science The University of British Columbia Vancouver, B. C. V6T 1W5 Canada email: zhang@cs.ubc.ca, mack@cs.ubc.ca c 1991 Ying Zhang and Alan K. Mackworth
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1992/TR-92-31.ps.gz, 19940519 Will the Robot Do the Right Thing by Ying Zhang and Alan K. Mackworth Technical Report 92-31 November 1992 Department of Computer Science The University of British Columbia Vancouver, B. C. V6T 1Z2 Canada email: zhang@cs.ubc.ca, mack@cs.ubc.ca *Shell Canada Fellow, Canadian Institute for Advanced
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-18.ps.gz, 19940614 Prescriptions: A Language for Describing Software Configurations by Jim Thornton thornton@cs.ubc.ca Technical Report 94-18 June 1994
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-26.ps.gz, 19941027 A FOUNDATION FOR THE DESIGN AND ANALYSIS OF ROBOTIC SYSTEMS AND BEHAVIORS by ZHANG YING B.Sc., Zhejiang University, China, 1984 M.Sc., Zhejiang University, China, 1987 M.Sc., The University of British Columbia, 1989 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-29.ps.gz, 19941027 Conservative Approximations of Hybrid Systems Andrew K. Martin Carl-Johan H. Seger Integrated Systems Design Laboratory University of British Columbia Vancouver, B.C. V6T 1Z4 Canada October 25, 1994
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1991/TR-91-16.ps.gz, 19941123 A Simple Primal Algorithm for Intersecting 3-Polyhedra in Linear Time by Andrew K. Martin (Email: amartin@cs.ubc.ca) Technical Report 91-16 July 1991 Department Of Computer Science University of British Columbia 2366 Main Mall, Vancouver, B.C. CANADA V6T 1Z4
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-32.ps.gz, 19941202 Modeling Positional Uncertainty in Object Recognition Arthur R. Pope and David G. Lowe Technical Report 94-32 November 1994
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-28.ps.gz, 19950222 Computing the largest inscribed isothetic rectangle Helmut Alt Freie Universit at Berlin David Hsu University of British Columbia Jack Snoeyink University of British Columbia
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-19.ps.gz, 19950301 Vision Servers and Their Clients James J. Little Technical Report 94-19 October 1994 Laboratory for Computational Intelligence Department of Computer Science University of British Columbia Vancouver, British Columbia, CANADA V6T 1Z4 email: little@cs.ubc.ca
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-22.ps.gz, 19950301 How Fast Will the Flip Flop Mark R. Greenstreet and Peter Cahoon Department of Computer Science, University of British Columbia Vancouver, BC Canada
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-04.ps.gz, 19950301 Performance Measures for Constrained Systems Kees van den Doel and Dinesh K. Pai Department of Computer Science University of British Columbia Vancouver, Canada fkvdoel j paig@cs.ubc.ca February 14, 1995
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-14.ps.gz, 19950301 Topological Aspects of Regular Languages Nicholas Pippenger* (nicholas@cs.ubc.ca) Department of Computer Science The University of British Columbia Vancouver, British Columbia V6T 1Z2 CANADA
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-01.ps.gz, 19950302 Buffer Sharing Schemes for Continuous-Media Systems Dwight J. Makaroff and Raymond T. Ng Department of Computer Science University of British Columbia Vancouver, B.C., V6T 1Z4 Canada
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-21.ps.gz, 19950302 Incremental Algorithms for Optimizing Model Computation Based on Partial Instantiation Raymond T. Ngy and Xiaomei Tian Department of Computer Science University of British Columbia Vancouver, B.C., V6T 1Z4, Canada.
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-13.ps.gz, 19950302 Efficient and Effective Clustering Methods for Spatial Data Mining Raymond T. Ng Department of Computer Science University of British Columbia Vancouver, B.C., V6T 1Z4, Canada. Jiawei Hany School of Computing Sciences Simon Fraser University Burnaby, B.C., V5A 1S6, Canada.
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-20.ps.gz, 19950302 An Analysis of Buffer Sharing and Prefetching Techniques for Multimedia Systems Raymond T. Ngy and Jinhai Yang Department of Computer Science University of British Columbia Vancouver, B.C., V6T 1Z4 Canada.
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-05.ps.gz, 19950308 Rigidity Checking of 3D Point Correspondences Under Perspective Projection Daniel P. McReynolds David G. Lowe danm@cs.ubc.ca lowe@cs.ubc.ca Laboratory for Computational Intelligence Department of Computer Science 2366 Main Mall The University of British Columbia Vancouver, B. C. V6T 1Z4 Canada
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-11.ps.gz, 19950621 NUMERICAL SIMULATIONS OF SEMICONDUCTOR DEVICES BY STREAMLINE-DIFFUSION METHODS By Xunlei Jiang B.Sc. (Mathematics), Fudan University, Shanghai, P.R.China, 1984 M.Sc. (Mathematics), Fudan University, Shanghai, P.R.China, 1987 a thesis submitted in partial fulfillment of the requirements for the degree of
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-13.ps.gz, 19950621 A SIMPLE PROOF CHECKER FOR REAL-TIME SYSTEMS By Catherine Leung B. Sc. (Computer Science) University of British Columbia a thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in the faculty of graduate studies computer science We accept this thesis as
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1994/TR-94-11.ps.gz, 19950719 Semantics, Consistency and Query Processing of Empirical Deductive Databases Raymond T. Ng Department of Computer Science University of British Columbia Vancouver, B.C., Canada V6T 1Z4
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-15.ps.gz, 19950719 The Creation, Presentation and Implications of Selected Auditory Illusions Scott Flinn flinn@cs.ubc.ca Kellogg S. Booth ksbooth@cs.ubc.ca Department of Computer Science The University of British Columbia
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-17.ps.gz, 19950724 1 XTP Application Programming Interface1 Roland Mechler and Gerald W. Neufeld Department of Computer Science University of British Columbia Vancouver, B.C., V6T 1Z4 Canada
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-18.ps.gz, 19950724 Model Checking Partially Ordered State Spaces S. Hazelhurst and C.-J. H. Seger Integrated Systems Design Laboratory Department of Computer Science University of British Columbia Vancouver, B.C., Canada V6T 1Z4 21 July 1995
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-06.ps.gz, 19950724 1 THE UBC DISTRIBUTED CONTINUOUS MEDIA FILE SYSTEM: Internal Design of Server1 Dwight J. Makaroff, Norman C. Hutchinson, and Gerald W. Neufeld Department of Computer Science University of British Columbia Vancouver, B.C. V6T 1Z4, Canada July 19, 1995
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-09.ps.gz, 19950725 Reflectance and Shape from a Rotating Object Jiping Lu Jim Little Technical Report 95-9 April 1995 Laboratory for Computational Intelligence Department of Computer Science The University of British Columbia Vancouver BC Canada V6T 1Z4 e-mail: fjplu, littleg@cs.ubc.ca
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-07.ps.gz, 19950725 1 Real Time Threads Interface1 David Finkelstein, Norman C. Hutchinson, Dwight J. Makaroff, Roland Mechler and Gerald W. Neufeld Department of Computer Science University of British Columbia Vancouver, B.C., V6T 1Z4 Canada
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-20.ps.gz, 19950915 On the Maximum Tolerable Noise for Reliable Computation by Formulas William Evans and Nicholas Pippenger* (wevans@cs.ubc.ca and nicholas@cs.ubc.ca) Department of Computer Science The University of British Columbia Vancouver, British Columbia V6T 1Z4 CANADA
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-21.ps.gz, 19951012 Verification of Benchmarks 17 and 22 of the IFIP WG10.5 Benchmark Circuit Suite S. Hazelhurst and C.-J. H. Seger Integrated Systems Design Laboratory Department of Computer Science University of British Columbia Vancouver, B.C., Canada V6T 1Z4 5 October 1995
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-14.ps.gz, 19951016 Sequential Regularization Methods for Nonlinear Higher Index DAEs Uri Ascher Institute of Applied Mathematics Department of Computer Science University of British Columbia Vancouver, British Columbia Canada V6T 1Z4 ascher@cs.ubc.ca Ping Liny Institute of Applied Mathematics Department of Mathematics
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-02.ps.gz, 19951016 GEOMETRIC AND COMPUTATIONAL ASPECTS OF MANUFACTURING PROCESSES by Prosenjit K. Bose School of Computer Science McGill University, Montr eal Qu ebec, Canada September 1994 a thesis submitted to the Faculty of Graduate Studies and Research in partial fulfillment of the requirements for the degree of
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-03.ps.gz, 19951016 No Quadrangulation is Extremely Odd Prosenjit Bose Godfried Toussainty
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-22.ps.gz, 19951020 Optimal Algorithms to Embed Trees in a Point Set Prosenjit Bosey Michael McAllisterz Jack Snoeyinkx Department of Computer Science, University of British Columbia, Vancouver, BC, V6T 1Z2
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-23.ps.gz, 19951101 Pure versus Impure Lisp Nicholas Pippenger* (nicholas@cs.ubc.ca) Department of Computer Science The University of British Columbia Vancouver, British Columbia V6T 1Z4 CANADA
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-02.ps.gz, 19960126 COMPOSITIONAL MODEL CHECKING OF PARTIALLY ORDERED STATE SPACES by Scott Hazelhurst B.Sc.Hons, University of the Witwatersrand, Johannesburg, 1986 M.Sc., University of the Witwatersrand, Johannesburg, 1988 A THESIS SUBMITTED IN PARTIAL FULFILMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-01.ps.gz, 19960126 DIAMONDS ARE NOT A MINIMUM WEIGHT TRIANGULATION'S BEST FRIEND Prosenjit Bose1 Luc Devroye2 Department of Computer Science School of Computer Science University of British Columbia McGill University Vancouver, Canada V6T 1Z4 Montreal, Canada H3A 2A7 and William Evans3 Department of Computer Science
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-24.ps.gz, 19960131 Three-Dimensional Analysis of Scoliosis Surgery Using Stereophotogrammetry Kellogg S. Booth, Stanley B. Jang, Chris W. Reilly, Bonita J. Sawatzky and Stephen J. Tredwell Department of Computer Science, University of British Columbia Department of Orthopaedics, B.C. Children's Hospital Vancouver, British
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-27.ps.gz, 19960131 VideHoc: A Visualizer for Homogeneous Coordinates Robert R. Lewis bobl@cs.ubc.ca University of British Columbia Department of Computer Science 7 March, 1995 1 Introduction VideHoc is an interactive graphical program that visualizes two-dimensional homogeneous coordinates. Users manipulate data in one of
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-25.ps.gz, 19960131 Separating Re ection Functions for Linear Radiosity ALAIN FOURNIER Department of Computer Science, University of British Columbia Vancouver,BC, V6T 1Z4, Canada. fournier@cs.ubc.ca
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-28.ps.gz, 19960131 Light-Driven Global Illumination with a Wavelet Representation of Light Transport Robert R. Lewis bobl@cs.ubc.ca Alain Fournier fournier@cs.ubc.ca Imager Computer Graphics Laboratory Department of Computer Science University of British Columbia 31 March, 1995
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-26.ps.gz, 19960131 From Local to Global Illumination and Back ALAIN FOURNIER Department of Computer Science, University of British Columbia Vancouver,BC, V6T 1Z4, Canada. fournier@cs.ubc.ca
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-29.ps.gz, 19960131 Union of Spheres (UoS) Model for Volumetric Data Vishwa Ranjan and Alain Fournier Department of Computer Science, University of British Columbia Introduction A stable representation of an object means that the representation is unique, is independent of the sampling geometry, resolution, noise, and
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-32.ps.gz, 19960208 Pasting Spline Surfaces Cristin Barghiel, Richard Bartels and David Forsey
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-30.ps.gz, 19960208 Shape Interpolations with Unions of Spheres VISHWA RANJAN and ALAIN FOURNIER Department of Computer Science, University of British Columbia
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-31.ps.gz, 19960208 1 Multiresolution Surface Reconstruction For Hierarchical B-splines David Forsey and David Wong (forsey@cs.ubc.ca) The Department of Computer Science The University of British Columbia
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1995/TR-95-33.ps.gz, 19960208 Surface Fitting with Hierarchical Splines David R. Forsey Richard H. Bartels Computer Graphics Laboratory Computer Science Department University of Waterloo Waterloo, Ontario Canada N2L 3G1 January 1, 1995
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-03.ps, 19960229 The Sounds of Physical Shapes Kees van den Doel and Dinesh K. Pai Department of Computer Science University of British Columbia Vancouver, Canada fkvdoel j paig@cs.ubc.ca February 19, 1996
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-04.ps.gz, 19960229 Heterogeneous Process Migration : The Tui System Peter Smith and Norman C. Hutchinson, Department of Computer Science University of British Columbia Vancouver, B.C., V6T 1Z4, Canada email: fpsmith,normg@cs.ubc.ca February 28, 1996
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-05.ps.gz, 19960503 Simplifying Terrain Models and Measuring Terrain Model Accuracy David Scott Andrews May 3, 1996
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-06.ps.gz, 19960510 Importance Ordering for Real-Time Depth of Field Paul Fearing Department of Computer Science University of British Columbia Vancouver, B.C. Canada fearing@cs.ubc.ca
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-07.ps.gz, 19960510 Wavelet Radiative Transfer and Surface Interaction Robert R. Lewis bobl@cs.ubc.ca Imager Computer Graphics Lab University of British Columbia Department of Computer Science 20 February, 1996 1 Introduction Illumination is the study of how light interacts with matter to produce visible scenes. In
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-09.ps.gz, 19960611 A Perceptual Colour Segmentation Algorithm Christopher G. Healey and James T. Enns Department of Computer Science 2366 Main Mall University of British Columbia Vancouver, British Columbia, V6T 1Z2 e-mail: healey@cs.ubc.ca
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-10.ps.gz, 19960611 Choosing Effective Colours for Data Visualization Christopher G. Healey1 Department of Computer Science, University of British Columbia
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-12.ps.gz, 19960716 Design: Educational Electronic Multi-Player Games A Literature Review Joanna Lynn McGrenere June 1996 Department of Computer Science The University of British Columbia i
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-11.ps.gz, 19960716 Experimental Design: Input Device Protocols and Collaborative Learning Joanna McGrenere Kori Inkpen Kellogg Booth Maria Klawe June 1996 The University of British Columbia i Acknowledgments Our thanks go to Dr. Shelley Hymel and Dr. Rena Upitis for their helpful comments on this report. This research was
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-15.ps.gz, 19960917 ALGORITHMIC ASPECTS OF CONSTRAINED UNIT DISK GRAPHS By Heinz Breu B.Sc. University of British Columbia, 1978 M.Sc. University of British Columbia, 1980 a thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the faculty of graduate studies computer science
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-16.ps.gz, 19960926 Civil Law and the Development of Software Engineering Martina Shapiro September 25, 1996 Contents 1 Introduction 1 2 Civil Law Concepts 4 2.1 Tort Law . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1.1 Negligence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-19.ps.gz, 19960926 Lower Bounds for Noisy Boolean Decision Trees William Evans (will@cs.arizona.edu) Department of Computer Science The University of Arizona Tucson, AZ 85721-0077 Nicholas Pippenger (nicholas@cs.ubc.ca) Department of Computer Science The University of British Columbia Vancouver, British Columbia V6T 1Z4
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-18.ps.gz, 19960927 Temporally Coherent Stereo: Improving Performance Through Knowledge of Motion Vladimir Tucakov, David G. Lowe Dept. of Computer Science, University of British Columbia Vancouver, B.C., Canada ftucakov,loweg@cs.ubc.ca
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1996/TR-96-20.ps.gz, 19961126 1 Drag-and-Drop vs. Point-and-Click Mouse Interaction for Children Kori Inkpen, Kellogg S. Booth, Maria Klawe Department of Computer Science The University of British Columbia Vancouver, British Columbia, V6T 1Z4, Canada +1 604 822 8990 inkpen@cs.ubc.ca
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1997/TR-97-02.ps.gz, 19970124 On Digital Money and Card Technologies Edwin M. Knorr Department of Computer Science University of British Columbia Vancouver, B.C., V6T 1Z4, Canada January 20, 1997
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1997/TR-97-04.ps.gz, 19970211 Random Interval Graphs Nicholas Pippenger* (nicholas@cs.ubc.ca) Department of Computer Science The University of British Columbia Vancouver, British Columbia V6T 1Z4 CANADA
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1997/TR-97-01.ps.gz, 19970318 Department of Computer Science University of British Columbia 2366 Main Mall Vancouver, B.C. Canada V6T 1Z4 e-mail: gilmore@cs.ubc.ca SOUNDNESS & CUT-ELIMINATION for NaDSyL by Paul C Gilmore Technical Report TR97-1 February 1997
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1997/TR-97-03.ps.gz, 19970728 Video and Audio Streams Over an IP/ATM Wide Area Network Mark McCutcheon Mabo Robert Ito Gerald W. Neufeld UBC TEVIA Project Transport Encoded Video over IP/ATM Technical Report 97 3 June 1997 University of British Columbia Department of Computer Science Technical Report 97 3 June 1997
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1997/TR-97-05.ps.gz, 19970731 Surface Reflectance and Shape from Images Using a Collinear Light Source Jiping Lu Jim Little Technical Report 97-5 April 1997 Laboratory for Computational Intelligence Department of Computer Science The University of British Columbia Vancouver BC Canada V6T 1Z4 e-mail: fjplu, littleg@cs.ubc.ca 1
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1997/TR-97-13.ps.gz, 19970902 Average-Case Bounds for the Complexity of Path-Search Nicholas Pippenger* (nicholas@cs.ubc.ca) Department of Computer Science The University of British Columbia Vancouver, British Columbia V6T 1Z4 CANADA
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1997/TR-97-10.ps.gz, 19970902 Surface and Shading Models from Real Images for Computer Graphics Jiping Lu Jim Little Technical Report 97-10 August 1997 Laboratory for Computational Intelligence Department of Computer Science The University of British Columbia Vancouver BC Canada V6T 1Z4 e-mail: fjplu, littleg@cs.ubc.ca
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1993/TR-93-17.ps.gz, 19970911 Wavelet multiresolution representation of curves and surfaces L-M Reissell Department of Computer Science University of British Columbia e-mail: reissell@cs.ubc.ca UBC Technical Report 93-17 May 1993. Revised February 1995.
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1997/TR-97-16.ps.gz, 19971023 The Measured Access Characteristics of World-Wide-Web Client Proxy Caches Bradley M. Duska, David Marwood, and Michael J. Feeley Department of Computer Science University of British Columbia fbduska,marwood,feeleyg@cs.ubc.ca First published in Proceedings of the USENIX Symposium on Internet Technologies
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1997/TR-97-11.ps.gz, 19971024 A FAST HEURISTIC FOR FINDING THE MINIMUM WEIGHT TRIANGULATION By Ronald Beirouti B. Sc. (Computer Science) Universit e de Montr eal a thesis submitted in partial fulfillment of the requirements for the degree of Masters of Science in the faculty of graduate studies department of computer science We
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1997/TR-97-12.ps.gz, 19971030 Formalization and Analysis of the Separation Minima for the North Atlantic Region: Complete Specification and Analysis Results Nancy A. Day, University of British Columbia Jeffrey J. Joyce and Gerry Pelletier, Hughes International Airspace Management Systems Technical Report 97-12 Department of Computer
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1997/TR-97-14.ps.gz, 19971202 UBC-CS TR-97-14 1 September 2, 1997 Conceptual Module Querying for Software Reengineering Elisa L. A. Baniassad and Gail C. Murphy Department of Computer Science University of British Columbia 201-2366 Main Mall Vancouver B.C. Canada V6T 1Z4 +1 604 822 5169 {bani,murphy}@cs.ubc.ca Technical Report
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1997/TR-97-15.ps.gz, 19971202 UBC-CS TR-97-15 1 September 14, 1997 Extending and Managing Software Reflexion Models Gail C. Murphy David Notkin Kevin Sullivan Dept. of Computer Science Dept. of Comp. Science & Eng. Dept. of Computer Science University of British Columbia University of Washington University of Virginia 201-2366 Main
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1997/TR-97-19.ps.gz, 19980226 Supporting Learners in a Remote Computer-Supported Collaborative Learning Environment: The Importance of Task and Communication by David Graves B.Sc. (Honours, Psychology) University of New South Wales 1991 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF Master of Science
	ftp://ftp.cs.ubc.ca/ftp/local/techreports/1997/TR-97-19a.ps.gz, 19980227 Pre-test Name: ___________________ 1. Calculate the area & perimeter of the following shapes: Area:_________ ________________ ________________ Perimeter:______ ________________ ________________ 2. If you have 20 square tiles with sides of length 10 cm, what area can you cover with them (It may help to