Search
Now showing items 61-70 of 79
First Class Copy & Paste
(2006-05-22)
The Subtext project seeks to make programming fundamentally easier by altering the nature of programming languages and tools. This paper defines an operational semantics for an essential subset of the Subtext language. It ...
CogSci to AI: It's the Brainware, Stupid!
(2006-03)
Current modularization techniques fail when applied to hard AI problems.But cognitive science shows that the mind has modules specialized for particular functions.Unlike current engineered modules, the modules of themind ...
Infrastructure for Engineered Emergence on Sensor/Actuator Networks
(2006-03)
The ability to control emergent phenomena depends on decomposingthem into aspects susceptible to independent engineering. Forspatial self-managing systems, the amorphous-medium abstraction lets youseparate the system s ...
A Machine-Checked Safety Proof for a CISC-Compatible SFI Technique
(2006-05-11)
Executing untrusted code while preserving security requires that thecode be prevented from modifying memory or executing instructionsexcept as explicitly allowed. Software-based fault isolation (SFI) or"sandboxing" enforces ...
Schematic Querying of Large Tracking Databases
(2006-06-12)
In dealing with long-term tracking databases withwide-area coverage, an important problem is in formulating anintuitive and fast query system for analysis. In such a querysystem, a user who is not a computer vision research ...
What the Assassin's Guild Taught Me About Distributed Computing
(2006-05-27)
Distributed computing and live-action roleplaying share many of thesame fundamental problems, as live-action roleplaying games commonly include simulations carried out by their players.Games run by the MIT Assassin's Guild ...
Learning using the Born Rule
(2006-05-16)
In Quantum Mechanics the transition from a deterministic descriptionto a probabilistic one is done using a simple rule termed the Bornrule. This rule states that the probability of an outcome ($a$)given a state ($\Psi$) ...
Analogical Retrieval via Intermediate Features: The Goldilocks Hypothesis
(2006-11-07)
Analogical reasoning has been implicated in many important cognitive processes, such as learning, categorization, planning, and understanding natural language. Therefore, to obtain a full understanding of these processes, ...
A Fast Approximation of the Bilateral Filter using a Signal Processing Approach
(2006-11-09)
The bilateral filter is a nonlinear filter that smoothes a signal while preserving strong edges. It has demonstrated great effectiveness for a variety of problems in computer vision and computer graphics, and fast versions ...
On Using First-Order Theorem Provers in the Jahob Data Structure Verification System
(2006-11-09)
This paper presents our integration of efficient resolution-based theorem provers into the Jahob data structure verification system. Our experimental results show that this approach enables Jahob to automatically ...