Digital Commons Network^™

Lily: A Parser Generator For Ll(1) Languages, Timothy Topper Taylor

Masters Theses

This paper discusses the design and implementation of Lily, a language for generating LL(1) language parsers, originally designed by Dr. Thomas J. Sager of the University of Missouri--Rolla. A method for the automatic generation of parser tables is described which creates small, highly optimized tables, suitable for conversion to minimal perfect hash functions.

An implementation of Lily is discussed with attention to design goals, implementation of parser table generation, and table optimization techniques. Proposals are made detailing possibilities for further augmentation of the system. Examples of Lily programs are given as well as a manual for the system.

The Whittier College Bbs, Robert Hansen

Whittier Scholars Program

This senior project details the process of creating the Whittier College Bulletin Board System (BBS). The Whittier College BBS was intended to facilitate intelligent, aware, and concerned communication about important and current events. Within the project are sections for the Details of Operation, Summary, Technical Discussions of Problems with Code and Implementation, Statistics, Source Code Listing, and BBS Log. Appendix B is a hard copy sample of the Whittier College BBS.

Intensional Reasoning About Knowledge, Oliver B. Popov

Doctoral Dissertations

"As demands and ambitions increase in Artificial Intelligence, the need for formal systems that facilitate a study and a simulation of a machine cognition has become an inevitability. This paper explores and developes the foundations of a formal system for propositional reasoning about knowledge. The semantics of every meaningful expression in the system is fully determined by its intension, the set of complexes in which the expression is confirmed. The knowledge system is based on three zeroth-order theories of epistemic reasoning for consciousness, knowledge and entailed knowledge. The results presented in the paper determine the soundness and the completeness of …

[Introduction To] A Gentle Introduction To The Vax System, John R. Hubbard

Bookshelf

This book was written originally for students enrolled in computer science courses at the University of Richmond. Very few had worked on a large time-sharing system like the VAX.

The purpose of this book is to help the novice become comfortable using any of the Digital Equipment Corporations VAX computers, from the Micro-VAX to the powerful VAX 8000 system. The book is meant to be used as a tutorial.

Learning Object-Centered Representations, Peter Anthony Sandon

Computer Science Technical Reports

When we look at a familiar object from a novel viewpoint, we are usually able to recognize it. In this thesis, we address the problem of learning to recognize objects under transformations associated with viewpoint. Our vision model combines a hierarchical representation of shape features with an explicit representation of the transformation. Shape features are represented in a layered pyramid-shaped subnetwork, while the transformation is explicitly represented in an auxiliary subnetwork. The two connectionist networks are conjunctively combined to allow object- centered shape features to be computed in the upper layers of the network. A simulation of a 2-D translation …

Organization For Collection Development In Medium-Sized Academic Libraries, Carol W. Cubberley

CCAC Theses and Dissertations

At the University of Central Florida Library, the librarians with collection development assignments, and the Head of Collection Development, were frustrated in their attempts to fulfill their responsibilities. Those librarians did not report to the Department Head, but to other departments, and only a small percentage of their time was set aside for collection development. This meant that collection development duties frequently were deferred to other duties. There also was uncertainty about what duties could be expected of these librarians. Some functioned only as liaisons to academic departments, while others did extensive selection of material, wrote collection development policies, and …

Decoding Substitution Ciphers By Means Of Word Matching With Application To Ocr, George Nagy, Sharad C. Seth, Kent Einspahr

School of Computing: Faculty Publications

A substitution cipher consists of a block of natural language text where each letter of the alphabet has been replaced by a distinct symbol. As a problem in cryptography, the substitution cipher is of limited interest, but it has an important application in optical character recognition. Recent advances render it quite feasible to scan documents with a fairly complex layout and to classify (cluster) the printed characters into distinct groups according to their shape. However, given the immense variety of type styles and forms in current use, it is not possible to assign alphabetical identities to characters of arbitrary size …

Performance Parameter Measurements Of Generic Files, Sankarraman Subramanian

Masters Theses

"This study discusses the performance parameter measurements of generic files, the pile file, the sequential file, the indexed-sequential file, the indexed file and the direct file. The file performance measurements are compiled in a software package. The study then describes the use of such software package as a simulation tool in a file design environment"--Abstract, page iii.

Ethernet Performance: Design And Implementation Study, Michael M. Chaney

Masters Theses

"General concepts concerning local area network designs, functions and topologies will be presented. Ethernet as a multipoint bus topology local area network will be presented in detail. The Carrier Sense Multiple Access/Collision Detect (CSMA/CD) method of fairly regulating access to the shared network bus is studied. The Ethernet Network in relation to the Open Systems Interconnect (OSI) is reviewed, but only the layers pertaining to Ethernet are discussed throughout the majority of the paper. The specifications as described by Xerox, Digital and Intel are presented to help the designer understand the network's physical limitations. Analytical models are used to predict …

Lazy Evaluation And Nondeterminism Make Backus' Fp-Systems More Practical, Atanas Radenski

Mathematics, Physics, and Computer Science Faculty Articles and Research

Backus' FP-systems are made more practical by introducing into them lazy evaluation and nondeterminism. This is done in the framework of a concrete programming language called FP*. From the one hand, this language is almost as mathematical as FP-systems are. From the other hand, it gives the possibility to manage secondary memory and to develop such applications as, for instance, interactive and distributed file systems. Experimental versions of a compiler and an interpreter for the FP* language are implemented.

Impact Of Automation On Process Control Decision-Making, Steven M. Miller, Susan R. Bereiter

Research Collection School Of Computing and Information Systems

This paper investigates changes in the process control of a vehicle assembly plant which had been modernized from a principally manual procedure to one that uses programmable automation extensively. Process control is defined as the information flow and decision-making required to perform basic process operations. We investigate the effects of implementing a computer-integrated production system on the amount and types of process control decision-making and on the distribution of process control decision-making between humans and machines. After automation, the emphasis on decisions regarding product quality specifications increased and the emphasis on decisions related to flexibility in handling a variety of …

The Use Of Services In The Tilde Environment, Craig E. Wills

Department of Computer Science Technical Reports

No abstract provided.

Finding The Convex Hull Of A Sorted Point Set In Parallel, Michael T. Goodrich

Department of Computer Science Technical Reports

No abstract provided.

The Cypress Link Level Protocol, Douglas E. Comer

Department of Computer Science Technical Reports

No abstract provided.

The Cypress Network, Douglas E. Comer, Thomas Narten, Rajendra Yuavatkar

Department of Computer Science Technical Reports

No abstract provided.

The Cypress Coaxial Backbone Packet Switch, Douglas E. Comer, Thomas Narten, Rajendra Yuavatkar

Department of Computer Science Technical Reports

No abstract provided.

Some Explicit Formulas For Mixed Exponential Service Systems, Vernon J. Rego

Department of Computer Science Technical Reports

No abstract provided.

On The Analysis Of The Average Height Of A Digital Trie: Another Approach, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Finding Maximum Cliques On Circular-Arc Graphs, Alberto Apostolico, Susanne E. Hambrusch

Department of Computer Science Technical Reports

No abstract provided.

Availability Driven Multiple Access Network Architecture, Dan Cristian Marinescu, Vernon J. Rego, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Structural, Remote Sensing And Multivariate Correlation Methods As Aids To Mineral Exploration, Central Ireland, D.W. Coller, M.F. Critchley, J.M. Dolan, Ciaran Mcdonnell, C.J. Murphy, W.E.A. Phillips, D.J. Sanderson

Books/Book chapters

This work discusses structural, remote sensing and multivariate correlation methods as aids to mineral exploration in West Central Ireland. The work was performed as part of the EU-funded CREST project.

Horizontal Fragmentation And Allocation In A Distributed Database For Cost Minimization With Reliability And Space Constraints, Elmo Loren Ivey

Masters Theses

In this paper a method for horizontal fragmentation of a relational database is presented. A method is given for calculating the benefit or cost savings obtained by allocating a given fragment to a site, independently for each site.

To obtain optimal benefit each fragment is allocated to all sites where there is a positive benefit. This may result in the allocation of some fragments to multiple sites.

Finally a method is given for removing or reallocating certain fragments from sites with insufficient storage. Also, a method is given for allocating fragments to multiple sites to meet constraints on the required …

Realistic Pde Solutions For Non-Rectangular Domains, Calvin J. Riobbens, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

A General Design Tool For Computer Directories, Edward J. Peeler

Masters Theses

The primary objective of a directory is to organize information for efficient retrieval. There are many techniques that can be applied to the design of a directory. One particularly useful technique employs the use of inverted files on range attributes. The technique provides an effective directory for a variety of applications and for very large databases. This paper examines the technique and describes the implementation of a general design tool based on these principles.

An Efficient Algorithm For Maxdominance, With Applications, Mikhail J. Atallah, S. Rao Kosaraju

Department of Computer Science Technical Reports

No abstract provided.

An O(N Log N) Cost Parallel Algorithm For The Single Function Coarsest Partition Problem, A. Apostolico, C. S. Iliopoulos, Robert Paige

Department of Computer Science Technical Reports

No abstract provided.

Efficient Message Routing In Planar Networks, Greg N. Frederickson, Ravi Janardan

Department of Computer Science Technical Reports

No abstract provided.

On The Behavior Of Programs With Remote Procedures, Dan C. Marinescu

Department of Computer Science Technical Reports

No abstract provided.

Simulation Of Physical Systems From Geometric Models, Christoph M. Hoffmann, John E. Hopfcroft

Department of Computer Science Technical Reports

No abstract provided.

Do We Really Know What Makes Educational Software Effective? A Call For Empirical Research On Effectiveness, Karen Jolicoeur, Dale E. Berger

CGU Faculty Publications and Research

Empirical information on specific factors that make educational software effective in reaching instructional objectives would be of considerable value. The authors describe the current state of evaluation research with educational software and discuss how popular software review methods fall short of meeting our need to know how well specific programs work.