Search
Now showing items 1-10 of 47
Intelligence in Scientific Computing
(1988-11-01)
Combining numerical techniques with ideas from symbolic computation and with methods incorporating knowledge of science and mathematics leads to a new category of intelligent computational tools for scientists and ...
The Revised Report on SCHEME: A Dialect of LISP
(1978-01-01)
SCHEME is a dialect of LISP. It is an expression-oriented, applicative order, interpreter-based language which allows one to manipulate programs as data. It differs from most current dialects of LISP in that it closes ...
Amorphous Computing
(2007)
The goal of amorphous computing is to identify organizationalprinciples and create programming technologies for obtainingintentional, pre-specified behavior from the cooperation of myriadunreliable parts that are arranged ...
Information Accountability
(2007-06-13)
Ease of information flow is both the boon and the bane of large-scale, decentralized systems like the World Wide Web. For all the benefits and opportunities brought by the information revolution, with that same revolution ...
The Art of the Propagator
(2009-01-26)
We develop a programming model built on the idea that the basic computational elements are autonomous machines interconnected by shared cells through which they communicate. Each machine continuously examines the cells it ...
Heuristic Techniques in Computer Aided Circuit Analysis
(1975-03-01)
We present EL, a new kind of circuit analysis program. Whereas other circuit analysis systems rely on classical, formal analysis techniques, EL employs heuristic "inspection" methods to solve rather complex DC bias ...
Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis
(1976-09-01)
We present a rule-based system for computer-aided circuit analysis. The set of rules, called EL, is written in a rule language called ARS. Rules are implemented by ARS as pattern-directed invocation demons monitoring ...
Constraints: A Language for Expressing Almost-Hierarchical Descriptions
(1981-08-01)
We present an interactive system organized around networks of constraints rather than the programs which manipulate them. We describe a language of hierarchical constraint networks. We describe one method of deriving ...
The FINDSPACE Problem
(MIT Artificial Intelligence Laboratory, 1971-08-03)
The FINDSPACE problem is that of establishing a volume in space where an object of specified dimensions will fit. The problem seems to have two subproblems: the hypothesis generation problem of finding a likely spot to ...
Transparent Accountable Data Mining: New Strategies for Privacy Protection
(2006-01-27)
Attempts to address issues of personal privacy in a world of computerized databases and information networks -- from security technology to data protection regulation to Fourth Amendment law jurisprudence -- typically ...