## Search

Now showing items 31-40 of 97

#### Generalized Structured Programming

(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73003-R

In an effort to eliminate some inconveniences connected with Dijkstra's method of Structured Programming, a generalized set of basic flow graphs for structuring programs is suggested. These structures generate the set of ...

#### Learning as a Problem Solving Tool

(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74018-R

This paper explores the use of learning as a practical tool in problem solving. The idea that learning should and eventually will be a vital component of most Artificial Intelligence programs is pursued. Current techniques ...

#### Definability of Boolean Function Over Many-value Boolean Algebra

(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74007-R

In this paper, the definability of functions over B_s is first briefly discussed. We then give necessary and sufficient conditions on the definable functions over B_2, boolean algebra of four values. An efficient algorithm ...

#### A Note on Ledgard's Minilanguage 2 And a Proposal for an Alternative

(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74017-R

This note reviews and discusses the concepts of assignment statements which occur within programming languages and as exemplified by Minilanguage 2 by Ledgard [3]. Observing that the description of assignment by Ledgard ...

#### On the Minimal Total Path Length of a Spanning Tree

(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74032-R

The notions of a balance node and the total path length with respect to a node u of a spanning tree are defined. We show that the total path length of a spanning tree with respect to u is minimal if and only if u is a ...

#### Microprogrammable Cellular Automata

(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73006-R

This paper reports research into cellular automata with two binary inputs, two binary outputs, and an octal control variable. A set of control variables is chosen and it is shown that any function of three variables can ...

#### Symbol Manipulation in an Interactive Environment

(Department of Computer Science, Virginia Polytechnic Institute & State University, 1978), CS78004-R

In an interactive environment the opportunity exists for the on-line execution of an algorithm represented as a sequence of ordered commands. In particular, when the sequence of commands defines a normal Markov algorithm, ...

#### The Automatic Digitizer in Computer Graphics

(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74029-R

An operational hardware-software system is described which rapidly and economically converts hard-copy drawings into graphic data structures faithfully representing both their geometry and their topology. These facilities ...

#### First Report on Epos: Aspects of Generality And Efficiency in Programming Language Implementation

(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74016-R

No abstract available.

#### Concerning Transforms for Three-Valued Systems

(Department of Computer Science, Virginia Polytechnic Institute & State University, 1977), CS77001-R

No abstract available.