Search all papers or click the papers filter menu above for a selective search.
913 entries « ‹ 46 of 46
› » 901.
Smith, John B.; Smith, Catherine F.
A Strategic Method for Writing Technical Report
no. 87-024, 1987.
@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},
urldate = {1970-01-01},
number = {87-024},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
902.
Nie, Xumin; Plaisted, David
Implementation Notes on SPRFN-- A Natural Deduction Theorem Prover Technical Report
no. 87-028, 1987.
@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},
urldate = {1970-01-01},
number = {87-028},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
903.
Biyani, Vikram
An Efficient Runtime System for IDL Technical Report
no. 87-029, 1987.
@techreport{CS87-029,
title = {An Efficient Runtime System for IDL},
author = {Vikram Biyani},
url = {https://techreports.cs.unc.edu/papers/87-029.pdf},
year = {1987},
date = {1987-06-01},
urldate = {1970-01-01},
number = {87-029},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
904.
Beard, David V.; Walker, John Q.
Navigational Techniques to Improve the Display of Large Two-Dimensional Spaces Technical Report
no. 87-031, 1987.
@techreport{CS87-031,
title = {Navigational Techniques to Improve the Display of Large Two-Dimensional Spaces},
author = {David V. Beard and John Q. Walker},
url = {https://techreports.cs.unc.edu/papers/87-031.pdf},
year = {1987},
date = {1987-06-01},
urldate = {1970-01-01},
number = {87-031},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
905.
Smith, John; Lansman, Marcy
A Cognitive Basis for a Computer Writing Environment Technical Report
no. 87-032, 1987.
@techreport{CS87-032,
title = {A Cognitive Basis for a Computer Writing Environment},
author = {John Smith and Marcy Lansman},
url = {https://techreports.cs.unc.edu/papers/87-032.pdf},
year = {1987},
date = {1987-06-01},
urldate = {1970-01-01},
number = {87-032},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
906.
Smith, John; Weiss, Stephen; Ferguson, Gordon
A Hypertext Writing Environment and Its Cognitive Basis Technical Report
no. 87-033, 1987.
@techreport{CS87-033,
title = {A Hypertext Writing Environment and Its Cognitive Basis},
author = {John Smith and Stephen Weiss and Gordon Ferguson},
url = {https://techreports.cs.unc.edu/papers/87-033.pdf},
year = {1987},
date = {1987-06-01},
urldate = {1970-01-01},
number = {87-033},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
907.
Potter, Richard C.; Plaisted, David A.
Term Rewriting Technical Report
no. 87-034, 1987.
@techreport{CS87-034,
title = {Term Rewriting},
author = {Richard C. Potter and David A. Plaisted},
url = {https://techreports.cs.unc.edu/papers/87-034.pdf},
year = {1987},
date = {1987-06-01},
urldate = {1970-01-01},
number = {87-034},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
908.
Gauch, Susan; Smith, John B.
Intelligent Search of Full-Text Databases Technical Report
no. 87-035, 1987.
@techreport{CS87-035,
title = {Intelligent Search of Full-Text Databases},
author = {Susan Gauch and John B. Smith},
url = {https://techreports.cs.unc.edu/papers/87-035.pdf},
year = {1987},
date = {1987-06-01},
urldate = {1970-01-01},
number = {87-035},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
909.
Levoy, Marc
Rendering of Surfaces from Volumetric Data Technical Report
no. 87-036, 1987.
@techreport{CS87-036,
title = {Rendering of Surfaces from Volumetric Data},
author = {Marc Levoy},
url = {https://techreports.cs.unc.edu/papers/87-036.pdf},
year = {1987},
date = {1987-06-01},
urldate = {1970-01-01},
number = {87-036},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
910.
Gupta, Gopal
An Interpreter for EqL Technical Report
no. 87-037, 1987.
@techreport{CS87-037,
title = {An Interpreter for EqL},
author = {Gopal Gupta},
url = {https://techreports.cs.unc.edu/papers/87-037.pdf},
year = {1987},
date = {1987-06-01},
urldate = {1970-01-01},
number = {87-037},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
911.
Kuchkuda, Roman
An Introduction to Ray Tracing Technical Report
no. 87-038, 1987.
@techreport{CS87-038,
title = {An Introduction to Ray Tracing},
author = {Roman Kuchkuda},
url = {https://techreports.cs.unc.edu/papers/87-038.pdf},
year = {1987},
date = {1987-06-01},
urldate = {1970-01-01},
number = {87-038},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
912.
Levoy, Mark; Whitted, Turner
The Use of Points as a Display Primitive Technical Report
no. 85-022, 1985.
@techreport{CS85-022,
title = {The Use of Points as a Display Primitive},
author = {Mark Levoy and Turner Whitted},
url = {https://techreports.cs.unc.edu/papers/85-022.pdf},
year = {1985},
date = {1985-06-01},
urldate = {1970-01-01},
number = {85-022},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
913.
Lipscomb, James Sargent
Three-Dimentional Cues for a Molecular Computer Graphics System Technical Report
no. 79-008, 1979.
@techreport{CS79-008,
title = {Three-Dimentional Cues for a Molecular Computer Graphics System},
author = {James Sargent Lipscomb},
url = {https://techreports.cs.unc.edu/papers/79-008.pdf},
year = {1979},
date = {1979-06-01},
urldate = {1970-01-01},
number = {79-008},
keywords = {},
pubstate = {published},
tppubtype = {techreport}
}
913 entries « ‹ 46 of 46
› »
Technical Reports produced by the Department of Computer Science at the University of North Carolina at Chapel Hill.
NOTE: All reports to which we have access have been made available here. Contact techrep@cs.unc.edu if you have problems downloading one of these reports.