Physical Sciences and Mathematics Commons^™

Seth: A Quorum-Based Replicated Database System For Experimentation With Failures, Bharat Bhargava, Abdelsalam Helal, Jagannathan Srinivasan

Department of Computer Science Technical Reports

No abstract provided.

Topological Numbering Of Features On A Mesh (Cc-88-18), Mikhail J. Atallah, Susanne E. Hambrusch, Lynn E. Tewinkel

Department of Computer Science Technical Reports

No abstract provided.

(Probably) Optimal Solution To Some Problems Not Only On Graphs, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Estimating Lower Bounds On Buffer Sizes For A Packet Switch, Douglas E. Comer, Rajendra Yavatkar

Department of Computer Science Technical Reports

No abstract provided.

Using The Bat: A Six Dimensional Mouse For Object Placement, Colin Ware, Danny R. Jessome

Center for Coastal and Ocean Mapping

Placement in space is inherently six dimensional. An object can be translated in x, y and z cartesian coordinates, and it can be rotated about three axes to change its orientation. A six dimensional sensor I\I(/S conj/gured as a one button six dimensional mouse (which we call a bat) and interfaced with an IRIS workstation thus creating an environment for investigating the problems of object placement. A sojiware workbench was built which allows the manipulation of hierarchical scenes displayed on a monitor. The features of the workbench are described together with experiences using the bat in a variety of interaction …

Stepwise Refinement And Verification In Box-Structured Systems, Harlan D. Mills

The Harlan D. Mills Collection

No abstract provided.

Interface Structures I: Abstract Structures For Computing About Physical Objects, Chandrajit Bajaj, Dayne Dyksen, Christoph M. Hoffmann, Elias N. Houstis, John T. Korb

Department of Computer Science Technical Reports

No abstract provided.

Automated Circuit Diagnosis Using First Order Logic Tools, Barbara Smith, Ralph W. Wilkerson, Gerald E. Peterson, Mcdonnell Douglas

Computer Science Faculty Research & Creative Works

While Numerous Diagnostic Expert Systems Have Been Successfully Developed in Recent Years, They Are Almost Uniformly based on Heuristic Reasoning Techniques (I.e., Shallow Knowledge) in the Form of Rules. This Paper Reports on an Automated Circuit Diagnostic Tool based on Reiter's Theory of Diagnosis. in Particular, this is a Theory of Diagnosis based on Deep Knowledge (I.e., Knowledge based on Certain Design Information) and using First Order Logic as the Representation Language. the Inference Mechanism Which is Incorporated as Part of the Diagnostic Tool is a Refutation based Theorem Prover using Rewriting Systems for Boolean Algebra Developed by Hsiang. Consequently, …

Graph And Directed Graph Augmentation Problems, Zhuguo Mo

Dissertations

No abstract provided.

Dynamics Of Knowledge Processing In Parallel Systems, Abhijit Chaundhury, Dan C. Marinescu, Andrew Whinston

Department of Computer Science Technical Reports

No abstract provided.

Machine Learning: A Critique Of Research Efforts And Suggested Research Strategy, William S. Davis, David B. Murrell

Department of Computer Science Technical Reports

No abstract provided.

Robust Replication Control Using Primary Copy Method, Niraj K. Sharma

Department of Computer Science Technical Reports

No abstract provided.

The Problem Of Accuracy And Robustness In Geometric Computation, Christoph M. Hoffmann

Department of Computer Science Technical Reports

No abstract provided.

Applying Algebraic Geometry To Surface Intersection Evaluation, Christoph M. Hoffmann

Department of Computer Science Technical Reports

No abstract provided.

Locating Distributed Information, Craig E. Wills

Department of Computer Science Technical Reports

No abstract provided.

Service Execution In A Distributed Environment (Thesis), Craig E. Wills

Department of Computer Science Technical Reports

No abstract provided.

Computer Control Of A Pbx Washout Plant, Scott Cameron Sharp, Chung You Ho

Computer Science Technical Reports

A fully automated, computer controlled plant has been designed specifically for safe removal of plastic bonded explosives (PBX) from obsolete military munitions. This PBX washout plant consists of a two stage delivery system and robotically operated high pressure waterjet lance. The assigned task was to develop control packages for each component.

The first stage of the delivery system is a battery operated overhead trolley. Its control package consist of a dedicated computer, DC motor and custom positioning subprograms. The dedicated computer communicates through an infrared link to the operator's computer. This link was developed due to requirements of a hazardous …

Using A Partial Order And A Metric To Analyze A Recursive Trace Set Equation, Jan Tijmen Udding, Tom Verhoeff

All Computer Science and Engineering Research

In Trace Theory the notion of a process is defined in terms of a set of finite-length traces over an alphabet. These processes are used as the semantics for a program notation. The program text for a recursive component naturally gives rise to an equation over trace sets. This paper takes two approaches at the analysis of that equation. The first approach is based on a partial order and it concentrates on the projection operator for processes. This yields a condition under which the greatest solution of that equation can be approximated by iteration. The second approach introduces a metric …

Shadow Pattern Simulator, Roberto A. Brown

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

This paper describes an interactive computer program that can be used as a design tool in assessing the shading effects of trees in relation to buildings. The program determines the area and position of the shadow cast by a tree or group of trees on a surface of a building which can have any orientation. The program outputs numerical and graphical hourly results at any time of the day, for any day of the year, at any location on the earth, for any relative positioning between the tree and building, and estimates percent irradiation reductions on building surfaces resulting from …

Model Generation And Modification For Dynamic Systems From Geometric Data, Christoph M. Hoffmann, John E. Hopcroft

Department of Computer Science Technical Reports

No abstract provided.

Yet Another Application Of A Binomial Recurrence, Wojciech Szpankowski, Vernon J. Rego

Department of Computer Science Technical Reports

No abstract provided.

Integrating Editing In A Monolingual Environment, Prasun Dewan

Department of Computer Science Technical Reports

No abstract provided.

Supporting Objects In A Conventional Operating System, Prasun Dewan

Department of Computer Science Technical Reports

No abstract provided.

An Approach To Support Automatic Generation Of User Interfaces, Prasun Dewan, Marvin Solomon

Department of Computer Science Technical Reports

No abstract provided.

On The Analysis Of Request-Response Communication In A Token Passing Ring, Dan Cristian Marinescu

Department of Computer Science Technical Reports

No abstract provided.

An Optimal Parallel Algorithm For The Visibility Of A Simple Polygon From A Point, Mikhail J. Atallah, Danny Z. Chen, Hubert Wagner

Department of Computer Science Technical Reports

No abstract provided.

Towards Implementing Robust Visual Motion Computations: Generate And Test Approach, Chia-Hoang Lee

Department of Computer Science Technical Reports

No abstract provided.

Micro Database Management System Language, Karen Yingling Tam, George Winston Zobrist

Computer Science Technical Reports

There are two approaches to solve computational problems in a microcomputer environment:

1. Non-database approach: uses a high level programming language with non-database files as input and/or output files.
2. Database approach: uses the programming language embedded in the micro Data Base Management System(DBMS), with the database defined by the integrated database definition language as input and/or output files.

Adopting the appropriate approach in any single application may save cost and time. This paper compares the two different approaches while solving the same Control Section (CSECT) Interaction Hierarchy problem and suggests which to use when.

Implementation Of Raid, Bharat Bhargava, John Riedl

Department of Computer Science Technical Reports

No abstract provided.

Reconstruction Of A Real Object Using Stereo Vision, Ignatios E. Vakalis

Masters Theses

The problem of reconstructing a three dimensional object from its two dimensional image is the most critical problem which any powerful visual system must solve. The human visual system is known to solve this problem with impressive range and resolution. Computer solutions have fallen far short of human performance mainly because the solution process is poorly understood.

The reconstruction problem is solved using stereo vision. The distance of points on the object from the viewing device and the orientation of specific patches of the visual surface with respect to the viewing device are computed. Discontinuities in distance and orientation are …