Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 31471 - 31500 of 31906

Full-Text Articles in Entire DC Network

Optimal Superprimitivity Testing For Strings, Alberto Apostolico, Martin Farach, Costas S. Iliopoulos Nov 1990

Optimal Superprimitivity Testing For Strings, Alberto Apostolico, Martin Farach, Costas S. Iliopoulos

Department of Computer Science Technical Reports

No abstract provided.


Implementation And Performance Of A Communication Facility For Distributed Transaction Processing, Enrique Mafla, Bharat Bhargava Nov 1990

Implementation And Performance Of A Communication Facility For Distributed Transaction Processing, Enrique Mafla, Bharat Bhargava

Department of Computer Science Technical Reports

No abstract provided.


Managing Data Synchronization Automatically For Distributed-Memory Architectures, Ko-Yang Wang Nov 1990

Managing Data Synchronization Automatically For Distributed-Memory Architectures, Ko-Yang Wang

Department of Computer Science Technical Reports

No abstract provided.


Hypercube Algorithms For Operations On Quadtrees, Ravi V. Shankar, Sanjay Ranka Nov 1990

Hypercube Algorithms For Operations On Quadtrees, Ravi V. Shankar, Sanjay Ranka

Electrical Engineering and Computer Science - Technical Reports

This paper describes parallel algorithms for the following operations on quadtrees - boolean operations (union, intersection, complement), collapsing a quadtree, and neighbor finding in an image represented by a quadtree. The architecture assumed in this paper is a hypercube with one processing element (PE) per hypercube node. We assume that the architecture is SIMD, i.e., all PEs work under the control of a single control unit.


Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, November 1990, College Of Engineering And Computer Science, Wright State University Nov 1990

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, November 1990, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A ten page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.


Forecasting The Behavior Of Multivariate Time Series Using Neural Networks, Kanad Charkraborty, Kishan Mehrotra, Chilukuri K. Mohan, Sanjay Ranka Nov 1990

Forecasting The Behavior Of Multivariate Time Series Using Neural Networks, Kanad Charkraborty, Kishan Mehrotra, Chilukuri K. Mohan, Sanjay Ranka

Electrical Engineering and Computer Science - Technical Reports

This paper presents a neural network approach to multivariate time-series analysis. Real world observations of flour prices in three cities have been used as a benchmark in our experiments. Feedforward connectionist networks have been designed to model flour prices over the period from August 1972 to November 1980 for the cities of Buffalo, Minneapolis, and Kansas City. Remarkable success has been achieved in training the networks to learn the price curve for each of these cities, and thereby to make accurate price predictions. Our results show that the neural network approach leads to better predictions than the autoregressive moving average(ARMA) …


Software Performance Evaluation Papers In Toms, Volumes 1-15, John R. Rice Oct 1990

Software Performance Evaluation Papers In Toms, Volumes 1-15, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.


A Space And Time Efficient Coding Algorithm For Lattíce Computations, Deb Dutta Ganguly, Sanjay Ranka Oct 1990

A Space And Time Efficient Coding Algorithm For Lattíce Computations, Deb Dutta Ganguly, Sanjay Ranka

Electrical Engineering and Computer Science - Technical Reports

This paper presents an encoding algorithm to enable fast computation of the least upper bound (LUB) and greatest lower bound (GLB) of a partially ordered set. The algorithm presented reduces the LUB computation to an OR operation on the codes. The GLB computation is reduced essentially to an AND operation on the codes. The time complexity of our encoding algorithm is O(n + e) where n is the number of nodes and e is the number of edges. With respect to space requirements the algorithm presented gives good results for small lattices (code length was 50 bits for a 300 …


Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, October 1990, College Of Engineering And Computer Science, Wright State University Oct 1990

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, October 1990, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

An eight page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.


Domain Decomposer: A Software Tool For Mapping Pde Computations To Parallel Architectures, N. P. Chrisochoides, C. E. Houstis, Elias N. Houstis, P. N. Papachiou, S. K. Kortesis Sep 1990

Domain Decomposer: A Software Tool For Mapping Pde Computations To Parallel Architectures, N. P. Chrisochoides, C. E. Houstis, Elias N. Houstis, P. N. Papachiou, S. K. Kortesis

Department of Computer Science Technical Reports

No abstract provided.


Global Concurrency Control In Heterogeneous Distributed Database Systems, Ahmed K. Elmagarmid, Weimin Du, Yungho Leu Sep 1990

Global Concurrency Control In Heterogeneous Distributed Database Systems, Ahmed K. Elmagarmid, Weimin Du, Yungho Leu

Department of Computer Science Technical Reports

No abstract provided.


Surface Reasoning, William C. Purdy Sep 1990

Surface Reasoning, William C. Purdy

Electrical Engineering and Computer Science - Technical Reports

Surface reasoning is defined to be deduction conducted in the surface language in terms of certain primitive logical relations. The surface language is a spoken or written natural language (in this paper, English), in contrast to a "base language" or “deep structure" sometimes hypothesized to explain natural language phenomena. The primitive logical relations are inclusion, exclusion and overlap between classes of entities. A calculus for surface reasoning is presented. Then a model for reasoning in this calculus is developed. The model is similar to but more general than syllogistic. In this model, reasoning is represented as construction of fragments (subposets) …


Gateway Design For Lan Interconnection Via Isdn, Xian-Yu Zhang, Robert H. Deng Sep 1990

Gateway Design For Lan Interconnection Via Isdn, Xian-Yu Zhang, Robert H. Deng

Research Collection School Of Computing and Information Systems

Recently, the use of bridges/gateways to interconnect physically distant local area networks (LANs) has become increasingly popular. There are various ways of connecting these bridges/gateways. ISDN is one of them and an attractive one. In this paper we discuss our work in the gateway design for interconnecting LANs via ISDN.


Notions Of Relative Ubiquity For Invariant Sets Of Relational Structures, Paul Bankston, Wim Ruitenburg Sep 1990

Notions Of Relative Ubiquity For Invariant Sets Of Relational Structures, Paul Bankston, Wim Ruitenburg

Mathematics, Statistics and Computer Science Faculty Research and Publications

Given a finite lexicon L of relational symbols and equality, one may view the collection of all L-structures on the set of natural numbers w as a space in several different ways. We consider it as: (i) the space of outcomes of certain infinite two-person games; (ii) a compact metric space; and (iii) a probability measure space. For each of these viewpoints, we can give a notion of relative ubiquity, or largeness, for invariant sets of structures on w. For example, in every sense of relative ubiquity considered here, the set of dense linear orderings on w is …


The Origins Of Modern Computing, Saul Rosen Aug 1990

The Origins Of Modern Computing, Saul Rosen

Department of Computer Science Technical Reports

No abstract provided.


Efficient Parallel Binary Search On Sorted Arrays, Danny Z. Chen Aug 1990

Efficient Parallel Binary Search On Sorted Arrays, Danny Z. Chen

Department of Computer Science Technical Reports

No abstract provided.


Computing Some Distance Functions Between Polygons, Mikhail J. Atallah, Celso C. Ribeiro, Sergio Lifschitz Aug 1990

Computing Some Distance Functions Between Polygons, Mikhail J. Atallah, Celso C. Ribeiro, Sergio Lifschitz

Department of Computer Science Technical Reports

No abstract provided.


History Of The Computer Sciences Department At Purdue University, John R. Rice, Saul Rosen Aug 1990

History Of The Computer Sciences Department At Purdue University, John R. Rice, Saul Rosen

Department of Computer Science Technical Reports

No abstract provided.


Mesh And Pyramid Algorithms For Iconic Indexing, Alok Choudhary, Sanjay Ranka Aug 1990

Mesh And Pyramid Algorithms For Iconic Indexing, Alok Choudhary, Sanjay Ranka

Electrical Engineering and Computer Science - Technical Reports

In this paper parallel algorithms on meshes and pyramids for iconic indexing are presented. Our algorithms are asymptotically superior to previously known parallel algorithms.


Efficient Detection Of Quasiperiodicities In Strings, Alberto Apostolico, Andrzej Ehrenfeucht Aug 1990

Efficient Detection Of Quasiperiodicities In Strings, Alberto Apostolico, Andrzej Ehrenfeucht

Department of Computer Science Technical Reports

No abstract provided.


Unifying Parametric And Implicit Surface Representations For Computer Graphics: Parametric Surface Display And Algebraic Surface Fitting, Changrajit L. Bajaj Jul 1990

Unifying Parametric And Implicit Surface Representations For Computer Graphics: Parametric Surface Display And Algebraic Surface Fitting, Changrajit L. Bajaj

Department of Computer Science Technical Reports

No abstract provided.


A Statically-Typed Language With Classes, Mike Beaven, Ryan Stanisfer, Dan Wetklow Jul 1990

A Statically-Typed Language With Classes, Mike Beaven, Ryan Stanisfer, Dan Wetklow

Department of Computer Science Technical Reports

No abstract provided.


The Cops Security Checker System, Daniel Farmer, Eugene H. Spafford Jul 1990

The Cops Security Checker System, Daniel Farmer, Eugene H. Spafford

Department of Computer Science Technical Reports

No abstract provided.


A Logic For Natural Language, William C. Purdy Jul 1990

A Logic For Natural Language, William C. Purdy

Electrical Engineering and Computer Science - Technical Reports

This paper describes a language called £N whose structure mirrors that of natural language. £N is characterized by absence of variables and individual constants. Singular predicates assume the role of both individual constants and free variables. The role of bound variables is played by predicate functors called "selection operators." Like natural languages, £N is implicitly many-sorted. £N does not have an identity relation. Its expressive power lies between the predicate calculus without identity and the predicate calculus with identity. The loss in expressiveness relative to the predicate calculus with identity however is not significant. Deduction in £N is intended to …


Convex Decomposition Of Polyhedra And Robustness, Chanderjit Bajaj, Tamal K. Dey Jun 1990

Convex Decomposition Of Polyhedra And Robustness, Chanderjit Bajaj, Tamal K. Dey

Department of Computer Science Technical Reports

No abstract provided.


Digital Search Trees Again Revisited: The Internal Path Length Perspective, Peter Kirschenhofer, Helmut Prodinger, Wojciech Szpankowski Jun 1990

Digital Search Trees Again Revisited: The Internal Path Length Perspective, Peter Kirschenhofer, Helmut Prodinger, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.


A Simpler Proof Of Ph C Bp[Өp], Kenneth W. Regan, James S. Royer Jun 1990

A Simpler Proof Of Ph C Bp[Өp], Kenneth W. Regan, James S. Royer

Electrical Engineering and Computer Science - Technical Reports

We simplify the proof by S. Toda [Tod89] that the polynomial hierarchy PH is contained in BP[ӨP]. Our methods bypass the technical quantifier interchange lemmas in the original proof, and clarify the counting principles on which the result depends. We also show that relative to a random oracle R, PHR is strictly contained in ӨPR.


Typed Token Approach For Database Processing During Network Partitioning, Bharat Bhargava, Shy-Renn Lian Jun 1990

Typed Token Approach For Database Processing During Network Partitioning, Bharat Bhargava, Shy-Renn Lian

Department of Computer Science Technical Reports

No abstract provided.


A Data Structure For Analyzing Collisions Of Moving Objects, George Vanecek Jun 1990

A Data Structure For Analyzing Collisions Of Moving Objects, George Vanecek

Department of Computer Science Technical Reports

No abstract provided.


Taxonomies Of Model-Theoretically Defined Topological Properties, Paul Bankston Jun 1990

Taxonomies Of Model-Theoretically Defined Topological Properties, Paul Bankston

Mathematics, Statistics and Computer Science Faculty Research and Publications

A topological classification scheme consists of two ingredients: (1) an abstract class K of topological spaces; and (2) a "taxonomy", i.e. a list of first order sentences, together with a way of assigning an abstract class of spaces to each sentence of the list so that logically equivalent sentences are assigned the same class.K, is then endowed with an equivalence relation, two spaces belonging to the same equivalence class if and only if they lie in the same classes prescribed by the taxonomy. A space X in K is characterized within the classification scheme if whenever Y E …