@techreport{CS89-049,

title = {Displaying Alphanumeric Characters on Pixel-Planes5},

author = {A. State},

url = {https://techreports.cs.unc.edu/papers/89-049.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-049},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-048,

title = {Gaze-Directed Volume Rendering},

author = {Marc Levoy and Ross Whitaker},

url = {https://techreports.cs.unc.edu/papers/89-048.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-048},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-047,

title = {The Multiresolution Intensity Axis of Symmetry and its Application to Image Segmentation},

author = {John M. Gauch},

url = {https://techreports.cs.unc.edu/papers/89-047.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-047},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-046,

title = {The Right Stuff - Techniques for High Speed CMOS Circuit Synthesis},

author = {Michael S. Kotliar},

url = {https://techreports.cs.unc.edu/papers/89-046.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-046},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-045,

title = {Graph Reduction Without Pointers},

author = {William D. Partain},

url = {https://techreports.cs.unc.edu/papers/89-045.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-045},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-044,

title = {Automatic Theorem Proving In Problem Reduction Formats},

author = {Xumin Nie},

url = {https://techreports.cs.unc.edu/papers/89-044.ps},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-044},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-043,

title = {An Expert System for Searching in Full Text},

author = {Susan E. Gauch},

url = {https://techreports.cs.unc.edu/papers/89-043.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-043},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-042,

title = {Navigational Techniques to Improve the Display of Large Two-Dimensional Spaces},

author = {David V. Beard and John Q. Walker II},

url = {https://techreports.cs.unc.edu/papers/89-042.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-042},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-041,

title = {7 + 2 Criteria For Assessing and Comparing Spatial Data Structures},

author = {Jurg Nievergelt},

url = {https://techreports.cs.unc.edu/papers/89-041.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-041},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-040,

title = {Designing A Radiology Workstation},

author = {David V. Beard},

url = {https://techreports.cs.unc.edu/papers/89-040.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-040},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-039,

title = {A Study of Radiologists Viewing Multiple CT Scans Using An Eyetracking Device},

author = {David V. Beard and R. Eugene Johnston and Osamu Toki and Claire Wilcox},

url = {https://techreports.cs.unc.edu/papers/89-039.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-039},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-038,

title = {Random Sequences in Frechet Spaces},

author = {J.H. Halton},

url = {https://techreports.cs.unc.edu/papers/89-038.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-038},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-037,

title = {LLPT},

author = {James Christopher Ramming},

url = {https://techreports.cs.unc.edu/papers/89-037.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-037},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-036,

title = {Generalized Closed World Assumption is pi0/2-complete*},

author = {J. Chomicki and V.S. Subrahmanian},

url = {https://techreports.cs.unc.edu/papers/89-036.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-036},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-035,

title = {A Hybrid Ray Tracer for Rendering Polygon and Volume Data},

author = {Marc Levoy},

url = {https://techreports.cs.unc.edu/papers/89-035.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-035},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-034,

title = {A Node-Positioning Algorithm for General Trees},

author = {John Q. Walker II},

url = {https://techreports.cs.unc.edu/papers/89-034.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-034},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-033,

title = {Multiscale, Geometric Image Descriptions For Interactive Object Definition},

author = {Stephen M. Pizer and John M. Gauch and James M. Coggins and Timothy J. Cullip and Robin E. Fredericksen and Victoria L. Interrante},

url = {https://techreports.cs.unc.edu/papers/89-033.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-033},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-032,

title = {An Algebraic Model for Design Space with Applications to Function Module Generation},

author = {Akhilesh Tyagi},

url = {https://techreports.cs.unc.edu/papers/89-032.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-032},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-031,

title = {Solving Computer Graphics Problems through Boolean Combinations of Polygons},

author = {John M. Airey},

url = {https://techreports.cs.unc.edu/papers/89-031.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-031},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-030,

title = {A Denotational Semantics Approach to Functional and Logic Programming},

author = {Frank S.K. Silbermann},

url = {https://techreports.cs.unc.edu/papers/89-030.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-030},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-029,

title = {A Model, Architecture, and Operating System Support for Shared Workspace Cooperation},

author = {Sheng-Uei Guan},

url = {https://techreports.cs.unc.edu/papers/89-029.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-029},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-028,

title = {Determination of the Quadratic Coefficients of a Projected Conic Section},

author = {Herve Tardif},

url = {https://techreports.cs.unc.edu/papers/89-028.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-028},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-024,

title = {Volume Rendering for Display of Multiple Organs, Treatment Objects, and Image Intensities},

author = {Stephen M. Pizer and Marc Levoy and Henry Fuchs and Julian G. Rosenman},

url = {https://techreports.cs.unc.edu/papers/89-024.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-024},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-023,

title = {3D Display with Minimal Predefinition},

author = {Stephen M. Pizer and Henry Fuchs and Marc Levoy and Julian G. Rosenman and Richard E. David and Jordan B. Renner},

url = {https://techreports.cs.unc.edu/papers/89-023.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-023},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-022,

title = {Display of Surfaces From Volume Data},

author = {Marc Levoy},

url = {https://techreports.cs.unc.edu/papers/89-022.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-022},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-021,

title = {Semantics of Lazy Higher-Order Functional and Logic Programming},

author = {Frank S.K. Silbermann and Bharat Jayaraman},

url = {https://techreports.cs.unc.edu/papers/89-021.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-021},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-020,

title = {Two Adaptive Techniques Let Progressive Refinement Outperform the Traditional Radiosity Algorithm},

author = {John Airey and Ming Ouh-young},

url = {https://techreports.cs.unc.edu/papers/89-020.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-020},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-019,

title = {On the Geometry of a General Three-Camera Headmounted System},

author = {John H. Halton},

url = {https://techreports.cs.unc.edu/papers/89-019.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-019},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-018,

title = {Towards a Large-Grain FFP Machine},

author = {Gyula A. Mago and Raj K. Singh and Vernon L. Chi},

url = {https://techreports.cs.unc.edu/papers/89-018.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-018},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-017,

title = {The Design of a Memory Management Subsystem for the FFP Machine},

author = {Raj K. Singh and Vernon L. Chi},

url = {https://techreports.cs.unc.edu/papers/89-017.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-017},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-016,

title = {A Tutorial for WE 1.0 for Use with Experimental Studies},

author = {Irene Jenkins and Marcy Lansman and John B. Smith},

url = {https://techreports.cs.unc.edu/papers/89-016.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-016},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-015,

title = {Application of Explanation-Based Generalization in Theorem Proving},

author = {Xumin Nie and David A. Plaisted},

url = {https://techreports.cs.unc.edu/papers/89-015.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-015},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-014,

title = {A Sequent Style Model Elimination Strategy and a Positive Refinement},

author = {David A. Plaisted},

url = {https://techreports.cs.unc.edu/papers/89-014.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-014},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-013,

title = {Query Reformulation Strategies for an Intelligent Search Intermediary},

author = {Susan Gauch and John B. Smith},

url = {https://techreports.cs.unc.edu/papers/89-013.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-013},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-011,

title = {A Cognitive Grammar for Writing},

author = {John B. Smith and Mark C. Rooks and Gordon J. Ferguson},

url = {https://techreports.cs.unc.edu/papers/89-011.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-011},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-010,

title = {Design for a Real-Time High Quality Volume Rendering Workstation},

author = {Marc Levoy},

url = {https://techreports.cs.unc.edu/papers/89-010.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-010},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-009,

title = {Exploring Virtual Worlds with Head-Mounted Displays},

author = {James C. Chung and Mark R. Harris and F.P. Brooks and Henry Fuchs and Michael T. Kelley and John Hughes and Ming Ouh-young and Clement Cheung and Richard L. Holloway and Michael Pique},

url = {https://techreports.cs.unc.edu/papers/89-009.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-009},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-008,

title = {A Connectionist Algorithm for Image Segmentation},

author = {Cheng-Hong Hsieh},

url = {https://techreports.cs.unc.edu/papers/89-008.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-008},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-007,

title = {Interactive Visualization of 3D Medical Data},

author = {Henry Fuchs and Marc Levoy and Stephen M. Pizer},

url = {https://techreports.cs.unc.edu/papers/89-007.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-007},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-006,

title = {Porta-SIMD User's Manual},

author = {Russ Tuck},

url = {https://techreports.cs.unc.edu/papers/89-006.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-006},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-005,

title = {A Heterogeneous Multiprocessor Graphics Systems Using Processor-Enhanced Memories},

author = {Henry Fuchs and John Poulton and John Eyles and Trey Greer and Jack Goldfeather and David Ellsworth and Steve Molnar and Greg Turk and Brice Tebbs and Laura Israel},

url = {https://techreports.cs.unc.edu/papers/89-005.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-005},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-004,

title = {Refinements to Depth-first Iterative Deepening Search},

author = {Xumin Nie and David A. Plaisted},

url = {https://techreports.cs.unc.edu/papers/89-004.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-004},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-002,

title = {Progressive Radiosity Using Hemispheres},

author = {Jack Goldfeather},

url = {https://techreports.cs.unc.edu/papers/89-002.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-002},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-001,

title = {A Semantic Variant of the Modified Problem Reduction Format},

author = {Xumin Nie and David A. Plaisted},

url = {https://techreports.cs.unc.edu/papers/89-001.pdf},

year  = {1989},

date = {1989-06-01},

urldate = {1970-01-01},

number = {89-001},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-012,

title = {Walkthrough - Exploring Virtual Worlds Second Annual Report},

author = {John M. Airey and Frederick P. Brooks Jr.},

url = {https://techreports.cs.unc.edu/papers/89-012.pdf},

year  = {1989},

date = {1989-02-16},

urldate = {1970-01-01},

number = {89-012},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-056,

title = {The Fluid Dynamics Machine Architecture},

author = {Mark C. Davis},

url = {https://techreports.cs.unc.edu/papers/88-056.pdf},

year  = {1988},

date = {1988-06-01},

urldate = {1970-01-01},

number = {88-056},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-053,

title = {Semantics of Subset-Logic Programming},

author = {Bharat Jayaraman and David Plaisted},

url = {https://techreports.cs.unc.edu/papers/88-053.pdf},

year  = {1988},

date = {1988-06-01},

urldate = {1970-01-01},

number = {88-053},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-052,

title = {Rendering Mixtures of Geometric and Volumetric Data},

author = {Marc Levoy},

url = {https://techreports.cs.unc.edu/papers/88-052.pdf},

year  = {1988},

date = {1988-06-01},

urldate = {1970-01-01},

number = {88-052},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-051,

title = {Multiscale Methods and the Segmentation of Medical Images},

author = {Stephen M. Pizer},

url = {https://techreports.cs.unc.edu/papers/88-051.pdf},

year  = {1988},

date = {1988-06-01},

urldate = {1970-01-01},

number = {88-051},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-050,

title = {An Algebraic Language for Query and Update of Temporal Databases},

author = {L. Edwin McKenzie},

url = {https://techreports.cs.unc.edu/papers/88-050.pdf},

year  = {1988},

date = {1988-06-01},

urldate = {1970-01-01},

number = {88-050},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}