Technical Reports
1994
Exploring Common Conceptions About Boys and Electronic Games
Generalized Ternary Simulation of Sequential Circuits
A Multigrid Solver for the Steady State Navier-Stokes Equations Using The Pressure-Poisson Formulation
Model-Based Object Recognition - A Survey of Recent Research
Cooperative Learning in the Classroom: The Importance of a Collaborative Environment for Computer-Based Education
Constant Time Parallel Indexing of Points in a Triangle
A Novel Constraint-Based Data Fusion System for Limited-Angle Computed Tomography
A Computational Theory of Decision Networks
Abduction to Plausible Causes: An Event-Based Model of Belief Update
Probabilistic Conflicts in a Search Algorithm for Estimating Posterior Probabilities in Bayesian Networks
Semantics, Consistency and Query Processing of Empirical Deductive Databases
Topology Building and Random Polygon Generation
Efficient and Effective Clustering Methods for Spatial Data Mining
Topological Aspects of Regular Languages
Computing Common Tangents Without a Separating Line
Transformations in High Level Synthesis: Axiomatic Specification and Efficient Mechanical Verification
Link Strength in Bayesian Networks
Prescriptions: A Language for Describing Software Configurations
Vision Servers and Their Clients
An Analysis of Buffer Sharing and Prefetching Techniques for Multimedia Systems
Incremental Algorithms for Optimizing Model Computation Based on Partial Instantiation
How Fast Will the Flip Flop?
Informal, Semi-Formal, and Formal Approaches to the Specification of Software Requirements.
Defeasible Preferences and Goal Derivation
RASP - Robotics and Animation Simulation Platform
A Foundation for the Design and Analysis of Robotic Systems and Behaviors
DECISION GRAPHS: Algorithms and Applications to Influence Diagram Evaluation and High-Level Path Planning Under Uncertainty
Computing the largest inscribed isothetic rectangle
Conservative Approximations of Hybrid Systems
Weird-a-gons and Other Folded Objects: The Influence of Computer Animation, Paper Models and Cooperative Mediation on Spatial Understanding
Exploiting Structure in Policy Construction
Modeling Positional Uncertainty in Object Recognition
Multiresolution Rough Terrain Motion Planning
Langwidere: A New Facial Animation System
A Multilevel Approach to Surface Response in Dynamically Deformable Models
Chebyshev Polynomials for Boxing and Intersections of Parametric Curves and Surfaces
A Kinematic Model for Collision Response
Making Shaders More Physically Plausible
Visualizing Real-Time Multivariate Data Using Preattentive Processing
Three-Dimensional Analysis of Scoliosis Surgery Using Stereophotogrammetry