Follow

1991

PDF

Constructing Real-Time Systems from Temporal I/O Automata, J. F. Peters III and S. Ramanna

PDF

A Variable-Free Logic for Mass Terms, William C. Purdy

Coordinating Conjuctions in Aristotelian Theories of English, William C. Purdy

PDF

On the Question ‘Do We Need Identity?’, William C. Purdy

PDF

Resolution without Unification, William C. Purdy

PDF

Explicit Clock Temporal Logic in Timing Constraints for Real-Time Systems, S. Ramanna and J. F. Peters III

PDF

A Sixteen-Valued Algorithm for Test Generation in Combinational Circuits, Akhtar Uz Zaman, M. Ali, and Carlos R.P. Hartmann

PDF

Optimal Parallel Lexicographic Sorting using a Fine-Grained Decomposition, Ramachandran Vaidyanathan, Carlos R.P. Hartmann, and Pramod Varshney

PDF

A Unified Framework For Three-Valued Semantical Treatments of Logic Programming, Feng Yang

PDF

Duality in Logic Programming, Feng Yang

1990

PDF

Analyzing Images Containing Multiple Sparse Patterns with Neural Networks, Rangachari Anand, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

PDF

Arithmetic Classification of Perfect Models of Stratified Programs (Addendum), Krzysztof R. Apt and Howard A. Blair

A Parallel Free-Text Search System with Indexing, N. Asokan, G. Frieder, and Sanjay Ranka

PDF

A Neural Network Simulator for the Connnection Machine, N. Asokan, Ravi V. Shankar, Chilukuri K. Mohan, Kishan Mehrotra, and Sanjay Ranka

PDF

Arrays and the Lambda Calculus, Klaus Berkling

PDF

Monotone Logic Programming, Howard A. Blair, Allen Brown Jr., and V. S. Subrahmanian

PDF

Strong Completeness Results for Paraconsistent Logic Programming, Howard A. Blair and V. S. Subrahmanian

PDF

A Logic Grammar Foundation for Document Representation and Document Layout, Allen Brown Jr. and Howard A. Blair

PDF

Forecasting the Behavior of Multivariate Time Series using Neural Networks, Kanad Charkraborty, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

PDF

Optical Switching and Routing Architectures for Fiber-optic Computer Communication Networks, Alok Choudhary, Salim Hariri, Wang Song, Partha Banerjee, and Sanjay Ranka

PDF

Mesh and Pyramid Algorithms for Iconic Indexing, Alok Choudhary and Sanjay Ranka

PDF

Mapping Finite Element Graphs on Hypercubes, Yeh-Ching Chung and Sanjay Ranka

PDF

Dynamic Range Partitioning in Multiprocessor Database Implementations, Ophir Frieder

PDF

A Space and Time Efficient Coding Algorithm for LattÍce Computations, Deb Dutta Ganguly and Sanjay Ranka

PDF

A Petri Net-Based Tool for Detecting Deadlocks and Race Conditions in Concurrent Programs, Amrit L. Goel and N. Mansouri

PDF

A Proof for a QuickHull Algorithm, Jonathan Scott Greenfield,

PDF

Balancing a Pipeline by Folding, Per Brinch Hansen

PDF

HOUSEHOLDER REDUCTION, Per Brinch Hansen

PDF

THE ALL-PAIRS PIPELINE, Per Brinch Hansen

PDF

Korean Character Recognition Using Neural Networks, Jinhwan Koh, G. S. Moon, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

PDF

Forecasting Sunspot Numbers Using Neural Networks, Ming Li, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

PDF

A Colored Petri Net-Based Approach for Automated Deadlock Detection in Parallel Programs, N. Mansouri and Amrit L. Goel

PDF

An Approach for Minimizing Spurious Errors in Testing ADA Tasking Programs, N. Mansouri and Amrit L. Goel

PDF

Simplifications to "A New Approach to the Covering Radius...”, H. F. Mattson Jr

PDF

On Choosing An Optimally Trimmed Mean, Kishan Mehrotra, Paul Jackson, and Anton Schick

PDF

Fitting Semantics for Conditional Term Rewriting, Chilukuri K. Mohan

PDF

A Lexical Extension of Montague Semantics, William C. Purdy

PDF

A Logic for Natural Language, William C. Purdy

PDF

Axiomatization of Some Natural Quantifiers, William C. Purdy

PDF

Surface Reasoning, William C. Purdy

PDF

Taxonomic Reasoning and Lexical Semantics, William C. Purdy

PDF

Load Redistribution on Hypercubes in the Presence of Faults, Sanjay Ranka and Jhy-Chun Wang

PDF

A Simpler Proof of PH C BP[ӨP], Kenneth W. Regan and James S. Royer

PDF

Parallel Vision Algorithms Using Sparse Array Representations, Ravi V. Shankar

PDF

Hypercube Algorithms for Operations on Quadtrees, Ravi V. Shankar and Sanjay Ranka

PDF

Optimal Parallel Solutions to the Neighbor Localization Problem and Integer Sorting: A Fine Grained Approach, Ramachandran Vaidyanathan, Carlos R.P. Hartmann, and Pramod K. Varshney

PDF

Unification in Modal Theorem Proving, Xiaolin Zhang and Chilukuri K. Mohan

1989

PDF

A Logic Programming Elucidation of ODA - Document Descriptions and Processes, Howard A. Blair and Allen Brown Jr.

PDF

Analysis of a Parallel Mergesort, Per Brinch Hansen

PDF

The Nature of Parallel Programming, Per Brinch Hansen

PDF

Term Rewriting with Conditionals and Priority Orderings, Chilukuri K. Mohan

PDF

Two-Dimensional Pattern Matching with k Mismatches, Sanjay Ranka and Todd Heywood

PDF

Computing Hough Transforms on Hypercube Multicomputers, Sanjay Ranka and Sartaj Sahni

PDF

Embedding Meshes on the Star Graph, Sanjay Ranka, Jhy-Chun Wang, and Nangkang Yeh

Generalization of the Norse Bounds to Codes, P. Sole and Kishan Mehrotra

PDF

A 15-Valued Algorithm for Test Pattern Generation, Akhtar Uz Zaman, M. Ali, and Carlos R.P. Hartmann

1988

PDF

MetaProlog Design and Implementation, Hamid Bacha

PDF

MetaProlog User Manual, Hamid Bacha

PDF

A Multiprocessor Implementation of Joyce, Per Brinch Hansen

PDF

Joyce Performance on a Multiprocessor, Per Brinch Hansen and Rangachari Anand

Priority Rewriting: Semantics, Confluence, and Conditionals, Chilukuri K. Mohan

PDF

A Lexical Extension of Montague Semantics, William C. Purdy

1987

PDF

Meta-level Programming: a Compiled Approach, Hamid Bacha

PDF

Domains for Logic Programming, I. Filippenko and F. L. Morris

PDF

A Theory of Lexical Semantics, William C. Purdy

1985

PDF

The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler, Kenneth A. Bowen, Kevin A. Buettner, Ilyas Cicekli, and Andrew Turk

PDF

A Meta-Level Extension of Prolog, Kenneth A. Bowen and Tobias Weinberg

1983

PDF

The QUALOG User’s Manual (Preliminary Version), Anne Shelly and Ernest Sibert

1982

PDF

A finitary retract model for the polymorphic lambda-calculus, Nancy McCracken

1981

PDF

On APP Decoding, Carlos R.P. Hartmann, Luther D. Rudolph, Kishan Mehrotra, and Guy J. Snedeker

PDF

APPLICATION OF INFORMATION THEORY TO THE CONSTRUCTION OF EFFICIENT DECISION TREES, Carlos R.P. Hartmann, Pramod Varshney, Kishan Mehrotra, and Carl L. Gerberich

PDF

SOME RESULTS ON OPTIMUM PREMIUM PAYMENT PLANS, Jeyaraj Vadiveloo, Kishan Mehrotra, and Kenneth Kaminsky

1980

PDF

AN INFORMATION THEORETIC APPROACH TO THE CONSTRUCTION OF EFFICIENT DECISION TREES, Jaime M. De Faria, Carlos R.P. Hartmann, Carl L. Gerberich, and Pramod Varshney

PDF

Bounds on the Number of Samples Needed for Neural Learning, Kishan G. Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

PDF

Computing Cyclic List Structures, F. Lockwood Morris and Jennifer Schwarz

1979

PDF

A PROOF PROCEDURE FOR QUANTIFIER-FREE NON-CLAUSAL FIRST ORDER LOGIC, Neil V. Murray

1978

PDF

ON LIST STRUCTURES AND THEIR USE IN THE PROGRAMMING OF UNIFICATION, F. Lockwood Morris

1977

PDF

DUAL-MODE COMBINATIONAL LOGIC FOR FUNCTION-INDEPENDENT FAULT TESTING, Sumit DasGupta

PDF

DUAL-MODE SEQUENTIAL LOGIC FOR FUNCTION INDEPENDENT FAULT-TESTING, Sumit DasGupta, Carlos R.P. Hartmann, and Luther D. Rudolph

PDF

A Time- and Space-Efficient Garbage Compaction Algorithm, F. Lockwood Morris

1976

PDF

Some results on arithmetic codes of composite length, Tai-Yang Hwang and Carlos R.P. Hartmann

PDF

The Definition of Programming Languages, J. A. Robinson

PDF

Data types as lattices: retractions, closures, and projections, Luis E. Sanchis

1975

PDF

Some Results on the Weight Structure of Cyclic Codes of Composite Length, Carlos R.P. Hartmann and T. Y. Hwang

PDF

An Optimum Symbol-by Symbol decoding rule for linear codes, Carlos R.P. Hartmann and Luther D. Rudolph

PDF

Two models for combinatory logic, Luis E. Sanchis

1974

PDF

ON THE BENEFACTIVE FEATURE IN TRANSITIVITY, Dale Ellen Gaucas

PDF

Statistical Modelling of Computer Systems: A Review, Amrit L. Goel and Anand M. Joglekar

PDF

Statistical Modelling of Computer Systems: A Survey, Amrit L. Goel and Anand M. Joglekar

PDF

STATISTICAL MODELLING OF COMPUTER SYSTEMS: A SURVEY, Amrit L. Goel and Anand M. Joglekar

PDF

WEIGHT DISTRIBUTIONS OF SOME CLASSES OF BINARY CYCLIC CODES, Carlos R.P. Hartmann, J. R. Riek Jr., and Ralph J. Longobardi

1972

PDF

Generalized Finite-Geometry Codes, Carlos R.P. Hartmann and Luther D. Rudolph

PDF

Decoding by Sequential Code Reduction, Luther D. Rudolph and Carlos R.P. Hartmann

PDF

SOME RESULTS ON THE BEST MATCH PROBLEM, Luther D. Rudolph, Kishan Mehrotra, and Ralph J. Longobardi

1970

PDF

SOME RESULTS ON THE DISTANCE PROPERTIES OF CONVOLUTIONAL CODES, Luther D. Rudolph and Alexander Miczo

PDF

Studies in Computational Linguistics No. 1, The Recognition of Alphabets, Edward F. Storm

1969

PDF

A Note on the Free Distance of a Convolutional Code, Alexander Miczo

PDF

A Note on the Free Distance of a Convolutional Code, Alexander Miczo and Luther D. Rudolph

PDF

Generalized Threshold Decoding of Convolutional Codes, Luther D. Rudolph