Search
Now showing items 3421-3430 of 4210
Reasoning By Analogy: A Progress Report
(MIT Artificial Intelligence Laboratory, 1976-10)
Rather.
From Computational Theory to Psychology and Neurophysiology -- a case study from vision
(MIT Artificial Intelligence Laboratory, 1976-08)
The CNS needs to be understood at four nearly independent levels of description: (1) that at which the nature of a computation is expressed; (2) that at which the algorithms that implement a computation are characterised; ...
The Use of Dependency Relationships in the Control of Reasoning
(MIT Artificial Intelligence Laboratory, 1976-11)
Several recent problem-solving programs have indicated improved methods for controlling program actions. Some of these methods operate by analyzing the time-independent antecedent-consequent dependency relationships between ...
PSUDOC - A Simple Diagnostic Program
(MIT Artificial Intelligence Laboratory, 1976-12)
This paper describes PSUDOC, a very simple LISP program to carry out some medical diagnosis tasks. The program's domain is a subset of clinical medicine characterized by patients presenting with edema and/or hematuria. The ...
Laws for Communicating Parallel Processes
(MIT Artificial Intelligence Laboratory, 1976-11)
This paper presents some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating restrictions on the histories of computations that are physically realizable. ...
Resilient Knowledge-Based Mechanisms For Truly Combinatorial Auctions (And Implementation in Surviving Strategies)
(2008-10-08)
We put forward a new mechanism achieving a high benchmark for (both revenue and) the sum of revenue and efficiency in truly combinatorial auctions. Notably, our mechanism guarantees its performance (1) in a very adversarial ...
MOOS-IvP Autonomy Tools Users Manual
(2008-11-11)
This document describes seven common MOOS-IvP autonomy tools. The uHelmScope application provides a run-time scoping window into the state of an active IvP Helm executing its mission. The pMarineViewer application is a ...
Resilient Provision of a Public and/or Private Good, or: Resilient Auctions of One Good in Unlimited Supply
(2008-12-02)
We present two resilient mechanisms: the first for the provision of a public good, and the second for the provision of a private good. Both mechanisms adopt a knowledge-based benchmark.
Stochastic Digital Circuits for Probabilistic Inference
(2008-11-24)
We introduce combinational stochastic logic, an abstraction that generalizes deterministic digital circuit design (based on Boolean logic gates) to the probabilistic setting. We show how this logic can be combined with ...
Modeling Computational Security in Long-Lived Systems, Version 2
(2008-11-22)
For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressively over the lifetime of a protocol. However, some ...