Technical reports, manuscripts and photographs document the early history of the University of Utah Computer Science Department.
TO
Filters: Date: "1985" Collection: "ir_computersa"
1 - 25 of 3
| Title | Description | Subject | Date | ||
|---|---|---|---|---|---|
| 1 |
 |
First-Order Unification in Equational Theories and its Application to Logic Programming | This thesis studies first-order unification in equational theories, called E-unification, paying particular attention to complete unification algorithms for classes of equational theories. It also investigates how results and notions of E-unification can be applied to logic programming systems that ... | first-order unification; equational theory; logic programming; e-unification; semantic unification; dec-20; prolog | 1985 |
| 2 |
 |
Geometric Hashing for Processing Complex Scenes | This work presents a new technique for handling many object interaction schemes developed using a graph theoretic approach. The interaction can be optical, as in ray tracing, or geometric, as in many body collision. Other problems solved by ray tracing, such as mass and volume calculation and viewin... | geometric hashing; object interaction; graph theory; ray tracing; many body collision | 1985 |
| 3 |
 |
On Representation and Discretization of Finite Element Analyses | The use of B-spline geometric representation and subdivision mechanism is explored for use in finite element analysis. On the representation issue, an attribute modelling technique is introduced to model the problem specification and the result interpretation. This modelling technique relies on the ... | finite element; b-spline; geometric representation; subdivision mechanism; planar domain; shell domain; solid domain | 1985 |
1 - 25 of 3