Browsing CSAIL Technical Reports (July 1, 2003  present) by Title
Now showing items 671690 of 765

TaskStructured Probabilistic I/O Automata
(20060331)In the Probabilistic I/O Automata (PIOA) framework, nondeterministicchoices are resolved using perfectinformation schedulers,which are similar to historydependent policies for Markov decision processes(MDPs). These ... 
TaskStructured Probabilistic I/O Automata
(20060905)Modeling frameworks such as Probabilistic I/O Automata (PIOA) andMarkov Decision Processes permit both probabilistic andnondeterministic choices. In order to use such frameworks to express claims about probabilities of ... 
TaskStructured Probabilistic I/O Automata
(2009.)Modeling frameworks such as Probabilistic I/O Automata (PIOA) and Markov Decision Processes permit both probabilistic and nondeterministic choices. In order to use these frameworks to express claims about probabilities of ... 
tBurton: A Divide and Conquer Temporal Planner
(20141024)Planning for and controlling a network of interacting devices requires a planner that accounts for the automatic timed transitions of devices while meeting deadlines and achieving durative goals. For example, a planner for ... 
Team MIT Urban Challenge Technical Report
(20071214)This technical report describes Team MIT’s approach to theDARPA Urban Challenge. We have developed a novel strategy forusing many inexpensive sensors, mounted on the vehicle periphery,and calibrated with a new crossmodal ... 
Temporally Scalable Visual SLAM using a Reduced Pose Graph
(20120525)In this paper, we demonstrate a system for temporally scalable visual SLAM using a reduced pose graph representation. Unlike previous visual SLAM approaches that use keyframes, our approach continually uses new measurements ... 
The Tensor Algebra Compiler
(20170217)Tensor and linear algebra is pervasive in data analytics and the physical sciences. Often the tensors, matrices or even vectors are sparse. Computing expressions involving a mix of sparse and dense tensors, matrices and ... 
The Architecture of MAITA: A Tool for Monitoring, Analysis, and Interpretation
(20040518)This report describes the aims, functions, and organization of the MAITAsystem for knowledgebased construction, adaptation, and control of networks of monitoringprocesses. 
The Design of a Relational Engine
(20060929)The key design challenges in the construction of a SATbased relational engine are described, and novel techniques are proposed to address them. An efficient engine must have a mechanism for specifying partial solutions, ... 
The Interval Programming Model for Multiobjective Decision Making
(20040927)The interval programming model (IvP) is a mathematical programmingmodel for representing and solving multiobjective optimizationproblems. The central characteristic of the model is the use ofpiecewise linearly defined ... 
The Psychophysiology of Risk Processing and Decision Making at a Regional Stock Exchange
(20070612)A longstanding controversy in philosophy is whether decisionmaking isgoverned by reason or emotion. I study the role of physiologicalresponses in the decisionmaking process within the realm of financialmarkets, where ... 
The Quorum Deployment Problem
(20041029)Quorum systems are commonly used to maintain the consistency of replicated data in adistributed system. Much research has been devoted to developing quorum systems with good theoreticalproperties, such as fault tolerance ... 
The Satisfiability Threshold of Random 3SAT Is at Least 3.52
(20031120)We prove that a random 3SAT instance with clausetovariable densityless than 3.52 is satisfiable with high probability.The proof comes through an algorithm which selects (and sets) a variabledepending on its degree and ... 
The Security Power of the Ballot Box
(20050202)We show that any function F can be securely evaluated by a protocolwith ballots and a ballot box. That is, N mutually suspicious players,each player possessing a secret input, can use ballots and a ballotbox to jointly ... 
The Symmetriad: A Journey of Discovery Through the Land of the Polychora
(2005)I devised and implemented a method for constructing regular andsemiregular geometric objects in ndimensional Euclidean space.Given a finite reflection group (a Coxeter group) G, there is a standard way to give G a group ... 
The Theory of Timed I/O Automata
(20050302)This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems. 
The Theory of Timed I/O Automata
(20030827)Revised version  November 23, 2004.This paper presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems. 
Theoretical Analysis of Geographic Routing in Social Networks
(20050603)We introduce a formal model for geographic social networks, and introduce the notion of rankbased friendship, in which the probability that a person v is a friend of a person u is inversely proportional to the number of ... 
Theories in Practice: EasytoWrite Specifications that Catch Bugs
(20080114)Automated testing during development helps ensure that software works according to the test suite. Traditional test suites verify a few wellpicked scenarios or example inputs. However, such examplebased testing does not ... 
Throwing Down the Visual Intelligence Gauntlet
(2012)In recent years, scientific and technological advances have produced artificial systems that have matched or surpassed human capabilities in narrow domains such as face detection and optical character recognition. However, ...