@techreport{CS87-027,

title = {Some Experimental Results on Dynamic Subgoal Reordering},

author = {Xumin Nie and David Plaisted},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {87-027},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS87-039,

title = {Unification and Set-Valued Functions for Functional and Logic Programming},

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

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {87-039},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-022,

title = {The Semantics of an FP Language with Infinite Objects},

author = {Teresa Anne Thomas},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {88-022},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-025,

title = {The Penalty of Context-Switch Time in Distributed Computing},

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

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {88-025},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-026,

title = {A Parallel Architecture for k-d Trees},

author = {Geoffrey A. Frank and Donald F. Stanat},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {88-026},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS88-027,

title = {FPC},

author = {Edoardo S. Bioginoi},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {88-027},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-025,

title = {An Event-Driven Model- View-Controller Framework for Smalltalk},

author = {Yen-Ping Shan},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {89-025},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-026,

title = {High Performance Computer Graphics Architectures},

author = {Roger Brusq},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {89-026},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS89-027,

title = {Structured Data Analysis},

author = {Forrest W. Young and John B. Smith},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {89-027},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS90-022,

title = {Inference by Clause Linking},

author = {David Plaisted and Shie-Jue Lee},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {90-022},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS90-025,

title = {Bounds of the Costs of Register Implementations},

author = {Soma Chaudhuri and Jennifer L. Welch},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {90-025},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS90-026,

title = {Salphasic Distribution of Clock Signals},

author = {Vernon L. Chi},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {90-026},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS90-027,

title = {Increasing Update Rates in the Building Walkthrough System with Automatic Model-Space Subdivision and Potentially Visible Set Calculations},

author = {John Milligan Airey},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {90-027},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS91-002,

title = {Simplicial Multivariable Linear Interpolation},

author = {John H. Halton},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {91-002},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS91-022,

title = {A Survey of Data Models for Hypermedia},

author = {Joan Boone},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {91-022},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS91-025,

title = {Constraint-Based Design by Cost Function Optimization},

author = {Eric Grant},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {91-025},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS91-026,

title = {Upper and Lower Bounds for One-Write Multivalued Regular Registers},

author = {Soma Chaudhuri and Martha J. Kosa and Jennifer L. Welch},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {91-026},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS91-027,

title = {Applications of Unskolemization},

author = {Ritu Chadha},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {91-027},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS92-025,

title = {Object Shape before Boundary Shape},

author = {Stephen M. Pizer and Christina A. Burbeck and James M. Coggins and Daniel S. Fritsch and Bryan S. Morse},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {92-025},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS93-030,

title = {Exploratory Molecular Visualization System},

author = {Lawrence D. Bergman},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {93-030},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS93-065,

title = {VIEW-A System for Prototyping Scientific Visualizations},

author = {Lawrence D. Bergman},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {93-065},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS94-025,

title = {Intuitive Navigation in the Targeting of Radiation Therapy Treatment Beams},

author = {James Che-Ming Chung},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {94-025},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS94-026,

title = {Twentieth Annual Progress Report Interactive Graphics for Molecular Studies},

author = {Frederick P. Brooks, Jr. and William V. Wright},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {94-026},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS94-027,

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

author = {Bradley M. Hemminger and Timothy J. Cullip and MIchael J. North},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {94-027},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS94-030,

title = {The Nanomanipulator},

author = {Russell M. Taylor II},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {94-030},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS94-068,

title = {Development and Evaluation of an Air-to-Air Combat Debriefing System Using a Head-Mounted Display},

author = {Elton Philip Amburn},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {94-068},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS95-002,

title = {A Property of Certain Squares},

author = {John H. Halton},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {95-002},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS95-014,

title = {Interactive Numerical Flow Visualization Using Stream Surfaces},

author = {Jeff P.M. Hultquist},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {95-014},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS95-025,

title = {An Introduction to Proteus Version 0.9},

author = {Gary Marc Levin},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {95-025},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS95-026,

title = {Frameless Antialiasing},

author = {Ellen J. Scher Zaiger},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {95-026},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS95-027,

title = {Human vs. Vision Model Performance for Two Medical Image Estimation Tasks},

author = {Derek Thomas Puff},

url = {https://techreports.cs.unc.edu/papers/95-027},

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {95-027},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS95-034,

title = {Calibrating See-Through Head-Mounted Displays},

author = {Anantha Kancherla and Mark Singer and Jannick Rolland},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {95-034},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS96-013,

title = {OBB-Tree},

author = {S. Gottschalk and M.C. Lin and D. Manocha},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {96-013},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS96-022,

title = {Load Balancing for Interactive Display of Surfaces},

author = {Subodh Kumar and Chun-Fa Chang and Dinesh Manocha},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {96-022},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS96-025,

title = {Efficient Rendering of Radiosity using Textures and Bicubic Reconstruction},

author = {Rui Bastos and Michael Goslin and Hansong Zhang},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {96-025},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS98-026,

title = {Forward Mapped Planar Mirror Reflections},

author = {Rui Bastos and Wolfgang Sturzlinger},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {98-026},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS99-010,

title = {Segmentation, Registration, and Measurement of Shape Variation via Image Object Shape},

author = {Stephen M. Pizer and Daniel S. Fritsch and Paul A. Yushkevich and Valen E. Johnson and Edward L. Chaney},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {99-010},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS99-025,

title = {Transformational Concurrency Control for Collaborative Design and Arrangement},

author = {Tom Hudson},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {99-025},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS99-026,

title = {Using Intertial Data for Locomotion in Virtual Environments},

author = {Zachariah W. Kohn},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {99-026},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS99-027,

title = {Effective Occlusion Culling for the Interactive Display of Arbitrary Models},

author = {Hansong Zhang},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {99-027},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS00-025,

title = {A Voronoi-Based Hybrid Motion Planner for Rigid Bodies},

author = {Mark Foskey and Maxim Garber and Ming C. Lin and Dinesh Manocha},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {00-025},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS00-026,

title = {SWIFT},

author = {Stephen E. Ehmann and Ming C. Lin},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {00-026},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS76-007,

title = {Structured Programming Examples for use in an Introductory Business Programming Course},

author = {Alan D. Bernard},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {76-007},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS75-003,

title = {First Annual Report Molecular Graphics Project},

author = {Frederick P. Brooks, Jr. and Jon Bentley and Edward Britton and James Foley and Jan Hermans and James Lipscomb and James Robb and Joel Sussmann and William Wright},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {75-003},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS76-004,

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

author = {Frederick P. Brooks, Jr.},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {76-004},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS76-103,

title = {Divide and Conquer Algorithms for Closest Point Problems in Multidimensional Space},

author = {Jon Louis Bentley},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {76-103},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS77-005,

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

author = {Frederick P. Brooks, Jr.},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {77-005},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS77-012,

title = {Using Traces to Write Abstract Specifications for Software Modules},

author = {Wolfram Bartussek and David L. Parnas},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {77-012},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS78-002,

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

author = {Frederick P. Brooks, Jr.},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {78-002},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}

@techreport{CS78-005,

title = {Progress 1976-78 Proposal 1979-84 Interactive Graphics for Molecular Graphics System},

author = {Frederick P. Brooks Jr.},

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

year  = {2010},

date = {2010-03-25},

urldate = {1970-01-01},

number = {78-005},

keywords = {techreport},

pubstate = {published},

tppubtype = {techreport}

}