@techreport{CS88-049,

title = {Sparse Matrix Computations on an FFP Machine},

author = {Bruce T. Smith and Raj K. Singh and Gyula A. Mago},

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

year  = {1988},

date = {1988-06-01},

number = {88-049},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-048,

title = {An Optimally Portable SIMD Programming Language},

author = {Russ Tuck},

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

year  = {1988},

date = {1988-06-01},

number = {88-048},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-047,

title = {Compilation of Subset-Logic Programs},

author = {Anil Nair},

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

year  = {1988},

date = {1988-06-01},

number = {88-047},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-046,

title = {Image Description via the Multiresolution Intensity Axis of Symmetry},

author = {John M. Gauch and Stephen M. Pizer},

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

year  = {1988},

date = {1988-06-01},

number = {88-046},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-045,

title = {GRINCH User's Manual},

author = {Helga Thorvaldsdottir},

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

year  = {1988},

date = {1988-06-01},

number = {88-045},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-044,

title = {GRINCH User's Manual},

author = {Helga Thorvaldsdottir},

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

year  = {1988},

date = {1988-06-01},

number = {88-044},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-042,

title = {An Overview of the Architecture for MicroArras 1.0},

author = {Scott Southard and John B. Smith and Stephen F. Weiss},

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

year  = {1988},

date = {1988-06-01},

number = {88-042},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-041,

title = {The Computer "Scientist" as Toolsmith - Studies in Interactive Computer Graphics},

author = {Frederick P. Brooks Jr.},

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

year  = {1988},

date = {1988-06-01},

number = {88-041},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-040,

title = {Using IDL in a Heterogeneous Environment},

author = {Sundar Varadarajan},

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

year  = {1988},

date = {1988-06-01},

number = {88-040},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-039,

title = {A Connectionist Algorithm for Corner Detection},

author = {Cheng-Hong Hsieh},

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

year  = {1988},

date = {1988-06-01},

number = {88-039},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-038,

title = {Eighth Annual Report - Interactive Graphics for Molecular Graphics System},

author = {Lynn F. TenEyck},

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

year  = {1988},

date = {1988-06-01},

number = {88-038},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-037,

title = {Pseudo-Random Trees},

author = {John H. Halton},

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

year  = {1988},

date = {1988-06-01},

number = {88-037},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-036,

title = {WE 1.0 User's Manual},

author = {Yen-Ping Shan and Jane Thorn and Mark C. Rooks},

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

year  = {1988},

date = {1988-06-01},

number = {88-036},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-034,

title = {On the Random Covering Problem},

author = {John H. Halton},

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

year  = {1988},

date = {1988-06-01},

number = {88-034},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-032,

title = {RSpace Users Manual},

author = {Mark R. Harris and Matthew P. Fitzgibbon},

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

year  = {1988},

date = {1988-06-01},

number = {88-032},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-031,

title = {An Overview of the Architecture for WE 1.0},

author = {Paulette E. Bush and Gordon J. Ferguson and John B. Smith and Stephen F. Weiss and Jay D. Bolter and Marcy Lansman},

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

year  = {1988},

date = {1988-06-01},

number = {88-031},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-030,

title = {Volume Rendering by Adaptive Refinement},

author = {Marc Levoy},

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

year  = {1988},

date = {1988-06-01},

number = {88-030},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-029,

title = {Efficient Ray Tracing of Volume Data},

author = {Marc Levoy},

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

year  = {1988},

date = {1988-06-01},

number = {88-029},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-028,

title = {Progress 1983-88, Proposal 1989-94 Interactive Graphics for Molecular Studies},

author = {Frederick P. Brooks Jr. and Helga Thorvaldsdottir and Mark R. Harris},

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

year  = {1988},

date = {1988-06-01},

number = {88-028},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-024,

title = {Reconciling Real-Time and RFair'R Scheduling},

author = {Bill O. Gallmeister},

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

year  = {1988},

date = {1988-06-01},

number = {88-024},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-023,

title = {CLOCS Operating System Reference Documents},

author = {Bill O. Gallmeister},

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

year  = {1988},

date = {1988-06-01},

number = {88-023},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-021,

title = {CLOCS Architecture Reference Documents},

author = {Mark C. Davis and Bill O. Gallmeister},

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

year  = {1988},

date = {1988-06-01},

number = {88-021},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-020,

title = {A Visual Calendar for Scheduling Small Group Meetings},

author = {David Beard and Alan Humm and David Banks and Anil Nair and Muru Palaniappan},

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

year  = {1988},

date = {1988-06-01},

number = {88-020},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-019,

title = {Term-Rewriting Techniques for Logic Programming I:},

author = {Michael P. Smith and David A. Plaisted},

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

year  = {1988},

date = {1988-06-01},

number = {88-019},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-018,

title = {Monte Carlo Anti-Aliasing},

author = {John H. Halton},

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

year  = {1988},

date = {1988-06-01},

number = {88-018},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-017,

title = {Display of Surfaces from Volume Data},

author = {Marc Levoy},

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

year  = {1988},

date = {1988-06-01},

number = {88-017},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-016,

title = {Medical Image Workstations},

author = {Stephen M. Pizer and David V. Beard},

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

year  = {1988},

date = {1988-06-01},

number = {88-016},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-015,

title = {Interactive, Richly Cued Shaded Display of Multiple 3D Objects in Medical Images},

author = {Henry Fuchs and Stephen M. Pizer and Jeffrey L. Creasy and Jordan B. Renner and Julian G. Rosenmann},

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

year  = {1988},

date = {1988-06-01},

number = {88-015},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-014,

title = {Coarse-Grain and Fine-Grain Parallelism in the Next Generation Pixel-Planes Graphics System},

author = {Henry Fuchs and John Poulton and John Eyles and Trey Greer},

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

year  = {1988},

date = {1988-06-01},

number = {88-014},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-013,

title = {Hypertext '87},

author = {Hypertext Planning Committee},

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

year  = {1988},

date = {1988-06-01},

number = {88-013},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-012,

title = {Combined And-Or Parallel Execution of Logic Programs},

author = {Gopal Gupta and Bharat Jayaraman},

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

year  = {1988},

date = {1988-06-01},

number = {88-012},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-011,

title = {Subset-Logic Programming},

author = {Bharat Jayaraman and Anil Nair},

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

year  = {1988},

date = {1988-06-01},

number = {88-011},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-010,

title = {Fourteenth Annual Report},

author = {Frederick P. Brooks Jr. and Helga Thorvaldsdottir and Mark R. Harris},

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

year  = {1988},

date = {1988-06-01},

number = {88-010},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-009,

title = {A Tool for Viewing IDL Data Structures},

author = {Ralph Cook},

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

year  = {1988},

date = {1988-06-01},

number = {88-009},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-008,

title = {Direct Visualization of Surfaces from Computed Tomography Data},

author = {Marc Levoy},

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

year  = {1988},

date = {1988-06-01},

number = {88-008},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-007,

title = {Grasping Reality Through Illusion},

author = {Frederick P. Brooks Jr.},

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

year  = {1988},

date = {1988-06-01},

number = {88-007},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-006,

title = {Near Real-Time CSG Rendering using Tree Normalization and Geometric Pruning},

author = {Jack Goldfeather and Steven Molnar and Greg Turk and Henry Fuchs},

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

year  = {1988},

date = {1988-06-01},

number = {88-006},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-005,

title = {Interactive 2D and 3D Object Definition in Medical Images Based on Multiresolution Image Descriptions},

author = {Stephen M. Pizer and John M. Gauch and Lawrence M. Lifshitz},

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

year  = {1988},

date = {1988-06-01},

number = {88-005},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-004,

title = {Practical Higher-Order Functional and Logic Programming Based on Lambda-Calculus and Set-Abstraction},

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

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

year  = {1988},

date = {1988-06-01},

number = {88-004},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-003,

title = {Tree-Structured Pseudo-Random Sequences},

author = {John H. Halton},

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

year  = {1988},

date = {1988-06-01},

number = {88-003},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-002,

title = {Standardization of Electronic Display Devices Based on Human Perception},

author = {Robert C. Cromartie and R. Eugene Johnston and Stephen M. Pizer and Diane Rogers},

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

year  = {1988},

date = {1988-06-01},

number = {88-002},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-001,

title = {Image Description via Annihilation of Essential Structures},

author = {Stephen M. Pizer and John M. Gauch and Lawrence M. Lifshitz and William R. Oliver},

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

year  = {1988},

date = {1988-06-01},

number = {88-001},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS87-028,

title = {Implementation Notes on SPRFN-- A Natural Deduction Theorem Prover},

author = {Xumin Nie and David Plaisted},

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

year  = {1987},

date = {1987-06-01},

number = {87-028},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS87-024,

title = {A Strategic Method for Writing},

author = {John B. Smith and Catherine F. Smith},

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

year  = {1987},

date = {1987-06-01},

number = {87-024},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS87-023,

title = {Programming in Smalltalk},

author = {Katherine N. Clapp and Hermann von Borries},

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

year  = {1987},

date = {1987-06-01},

number = {87-023},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS87-021,

title = {The Virtual Simulator},

author = {Charles Mosher and George Sherouse and Peter Mills and Kevin Novins and Stephen Pizer and Julian Rosenman and Edward Chaney},

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

year  = {1987},

date = {1987-06-01},

number = {87-021},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS87-020,

title = {An Evaluation of Historical Algebras},

author = {Edwin McKenzie and Richard Snodgrass},

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

year  = {1987},

date = {1987-06-01},

number = {87-020},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS87-019,

title = {A Multiresolution Hierarchial Approach to Image Segmentation Based on Intensity Extrema},

author = {Lawrence M. Lifshitz and Stephen M. Pizer},

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

year  = {1987},

date = {1987-06-01},

number = {87-019},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS87-018,

title = {Multiresolution Shape Descriptions and Their Applications in Medical Imaging},

author = {John M. Gauch and William R. Oliver and Stephen M. Pizer},

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

year  = {1987},

date = {1987-06-01},

number = {87-018},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS87-017,

title = {A Multiprocessor Adaptive Histogram Equalization Machine},

author = {John D. Austin and Stephen M. Pizer},

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

year  = {1987},

date = {1987-06-01},

number = {87-017},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}