CS Theses & Dissertations 1986

For 1986 graduation dates (in alphabetical order by last name):

Model and Solution Strategy for Placement of Rectangular Blocks in the Euclidian Place
Alon, Amir
URI : http://hdl.handle.net/2429/25740
Degree : Master of Science – MSc
Graduation Date : 1986-05
Supervisor : Dr. Ascher

An environment theory with precomplete negation over pairs
Andrews, James Harold
URI : http://hdl.handle.net/2429/25733
Degree : Master of Science – MSc
Graduation Date : 1986-11

Modelling and Animating Three-Dimensional Articulate Figures
Cachola, Danny Gocalves
URI : http://hdl.handle.net/2429/25851
Degree : Master of Science – MSc
Graduation Date : 1986-05

Integrating local area networks to improve reliability and performance
Chan, Kenneth Chi-Kin
URI : http://hdl.handle.net/2429/25857
Degree : Master of Science – MSc
Graduation Date : 1986-11
Supervisor : Dr. Chanson

Implementation of microcomputers in elementary schools:  A survey and evaluation
Chan, Christine Wai-Chi
URI : http://hdl.handle.net/2429/25856
Degree : Master of Science – MSc
Graduation Date : 1986-05
Supervisor : Dr. Rosenberg

A PROLOG Implementation of a Subset of Marcus' Parser and its Relation to the Handling of Extragrammatical Input
Dorotich, Michael Scarlett
URI : http://hdl.handle.net/2429/25869
Degree : Master of Science – MSc
Graduation Date : 1986-11
Supervisor : Dr. Abramson

Reasoning with Incomplete Information Investigations of Non-Monotonic Reasoning
Etherington, David
URI : http://hdl.handle.net/2429/27070
Degree : Doctor of Philosophy – PhD
Graduation Date : 1986-11
Supervisor : Dr. Reiter

Intelligent behaviour relies heavily on the ability to reason in the absence of complete information. Until recently, there has been little work done on developing a formal understanding of how such reasoning can be performed. We focus on two aspects of this problem: default or prototypical reasoning, and closed-world or circumscriptive reasoning. After surveying the work in the field, we concentrate on Reiter's default logic and the various circumscriptive formalisms developed by McCarthy and others. Taking a largely semantic approach, we develop and/or extend model-theoretic semantics for the formalisms in question. These and other tools are then used to chart the capabilities, limitations, and interrelationships of the various approaches. It is argued that the formal systems considered, while interesting in their own rights, have an important role as specification/evaluation tools vis-a-vis explicitly computational approaches. An application of these principles is given in the formalization of inheritance networks in the presence of exceptions, using default logic.

Implementation Methods for Singularly Perturbed Two-Point Boundary Value Problems
Jacobs, Simon
URI : http://hdl.handle.net/2429/25898
Degree : Master of Science – MSc
Graduation Date : 1986-11
Supervisor : Dr. Ascher

A semi-automatic Approach to Protocol Implementation -- the ISO Class 2 transport protocol as an Example
Lau, Allen Chakming
URI : http://hdl.handle.net/2429/25907
Degree : Master of Science – MSc
Graduation Date : 1986-11
Supervisor : Dr. Vuong

Characterizing User Workload for Capacity Planning
Pang, Jee Fung
URI : http://hdl.handle.net/2429/26021
Degree : Master of Science – MSc
Graduation Date : 1986-11

On the Visual Discrimination of Self-Similar Random Textures
Rensink, Ronald Andy
URI : http://hdl.handle.net/2429/26059
Degree : Master of Science – MSc
Graduation Date : 1986-05
Supervisor : Dr.  Woodham

The Intermediate Machine Approach to Distributed Computing System Design
Simon, Gordon Peter
URI : http://hdl.handle.net/2429/26072
Degree : Master of Science – MSc
Graduation Date : 1986-05
Supervisor : Dr. Chanson

Implementation of Team SHOSHIN:  An Exercise in Proting and Multiprocessing Structuring of the Kernel
Wang, Huay-Yong
URI : http://hdl.handle.net/2429/26103
Degree : Master of Science – MSc
Graduation Date : 1986-05
Supervisor : Dr. Vuong

Depiction and Domains in Visual Knowledge Representation
Wong, Gladys Magali
URI : http://hdl.handle.net/2429/26207
Degree : Master of Science – MSc
Graduation Date : 1986-11
Supervisor : Dr. Mackworth

FLOSY:  A nonpreemptive FEP Operating System
Wu, Jean
URI : http://hdl.handle.net/2429/26209
Degree : Master of Science – MSc
Graduation Date : 1986-11
Supervisor : Dr. Chanson