LIBRARIES i Visualizing and Analyzing Human-Centered Data Streams (2008)
Michel Joseph Lambert, Alex (sandy Pentland, Arthur C. Smith, Michel Joseph Lambert
by
Computational genomics: Mapping, comparison, and annotation of genomes (2008)
Bonnie Berger, Arthur C. Smith, Serafim Batzoglou, Serafim Batzoglou
The field of genomics provides many challenges to computer scientists and mathematicians. The area of computational genomics has been expanding recently, and the timely application of computer...
iPlot: An Intelligent Lighting Design Assistant (2008)
Andrew J Perelson, Kimberle Koile, Arthur C. Smith, Andrew J Perelson
iPlot is an intelligent lighting design assistant. Given a performance space and a set of lighting goals, each specifying an area to be lit and a direction, iPlot explores the space of possible light...
Certified by.......................................................... (2008)
Jaime Quinonez, Michael D. Ernst, Arthur C. Smith
Javari is an extension of Java that supports reference immutability constraints. Programmers write Javari type qualifiers, such as the readonly type qualifier, in their programs, and the Javari...
Certified by __________________________________________________________________ (2007)
Edward Stuart, Boyden Iii, Neil Gershenfeld, Arthur C. Smith
Interactive Ray Tracing of VRML Scenes in Java (2007)
Arthur C. Smith, Brendon C. Glazer, Brendon C. Glazer
The Java 1.1 programming language is used to create an applet that acts as a browser for Virtual Reality Modeling Language (VRML) version 2.0 scenes. The applet is capable of performing interactive...
Parallelization of the Mosaic Image Alignment Algorithm (2007)
Arthur C. Smith, Laughton M. Stanley, Laughton M. Stanley
As processing power becomes cheaper and more readily available in networks of powerful desktop machines, the need for parallel algorithms capable of using these often untapped resources will...
Probabilistic Analysis of Multistage Interconnection Network Performance (2007)
Neil A. Brock, Thomas F. Knight, Arthur C. Smith, Patrick G. Sobalvarro, Patrick G. Sobalvarro
Low-latency communication in large-scale multiprocessors requires highperformance interconnection schemes. Multistage interconnection networks with redundant paths combine high performance with...
Record/Playback Mechanism for ETMS Feeds (2007)
Daniel Jackson, Arthur C. Smith, Roshan Gupta, Roshan Gupta
The Design and Implementation of FIG: a
Certified by.......................................................... (2007)
Patrick H. Winston, Arthur C. Smith, John R. Bender, John R. Bender
In an effort to better understand how language and vision connect, I have implemented theories of the human capacity for description and visualization. A visually-inspired representation for language...
Thesis Supervisor Accepted by......................................................... (2007)
Raymond A. Molnar, Patrick Henry Winston, Arthur C. Smith
In this thesis, I propose the “Generalize and Sift ” model for the acquisition of inflection in natural language. This model uses a two step learning process along with probabilistic selection...
Accepted by......................................................... (2007)
Joseph Paradiso, Arthur C. Smith, Leila Hasan, Leila Hasan
A new electronic musical instrument has been created, referred to as a 'termenova' (Russian for daughter of Theremin), that combines a free-gesture capacitive-sensing device with an optical...
and Intelligent Transportation Systems (2007)
Joseph Paradiso, Arthur C. Smith, Ara N. Knaian, Ara N. Knaian
We have developed a wireless sensor package to instrument roadways for Intelligent Transportation Systems. The sensor package counts passing vehicles, measures the average roadway speed, and detects...
Nonparametric Estimation for Dynamical Systems (2007)
Arthur C. Smith, Alexander T. Ihler, Alexander T. Ihler
Modeling complex dynamical systems is a difficult problem with a wide range of applications in prediction, discrimination, and simulation. Classical stochastic models make a number of simplifying...
Certified by.......................................................... (2007)
Joseph A. Paradiso, Arthur C. Smith, Phillip James Rowe, Phillip James Rowe
Sound localization has been the subject of much ongoing research in the area of beamformers and microphone arrays. Although these methods have been successful under certain conditions, the signal...
Certified by.......................................................... (2007)
Howard Shrobe, Arthur C. Smith, Rattapoom Tuchinda, Rattapoom Tuchinda
The vision of intelligent environments where computation will be pervasive is no longer a dream. As computers become smaller, they are embedded in everything around us from clothing to wall. Human...
Metaglue: A Programming Language (2007)
Tomás Lozano-pérez, Arthur C. Smith, Brenton A. Phillips, Brenton A. Phillips
for Multi-Agent Systems by
Design of a Software Radio Base Station (2007)
Joseph A. Paradiso, Arthur C. Smith, Zoe C. Teegarden, Zoe C. Teegarden, Zoe C. Teegarden
by
Certified by........................................................................ (2007)
Joseph A. Paradiso, Arthur C. Smith, Nisha Checka, Nisha Checka
by
Certified by.......................................................... (2007)
Randall Davis, Howard Shrobe, Arthur C. Smith, Aaron D. Adler, Aaron D. Adler
Sketches are commonly used in the early stages of design. Our previous system allows users to sketch mechanical systems that the computer interprets. However, some parts of the mechanical system...
Certified by.......................................................... (2007)
Mark Rosen, David R. Karger, Arthur C. Smith
This thesis describes the design and implementation of a text classification framework for the Haystack project. As part of this framework, we have built a robust Java API that supports a diverse set...
Multiprocessing with the Exokernel Operating System (2007)
M. Frans Kaashoek, Arthur C. Smith, Benjie Chen, Benjie Chen
Multiprocessing with the Exokernel Operating System by
Certified by.......................................................... (2007)
Chia-hao La, Timothy J. Hazen, Arthur C. Smith
into the SUMMIT Speech Recognizer by Chia-Hao La
David R. Martinez, Arthur C. Smith, Tyler J. Moeller, Tyler J. Moeller
copies of this thesis and to grant others the right to do so.
Randolph E. Harr, Saman P. Amarasinghe, Arthur C. Smith, Darin S. Petkov, Darin S. Petkov
the requirements for the degree of
Dr. Amar Gupta, Arthur C. Smith, Quincy R. Scott, Quincy R. Scott, Amar Gupta
The SSPARCy application was created to support the process of integrating software modules in an efficient fashion. SSPARCy performs automatic extraction of vital information from MATLAB source code....
Accepted by______________________________________________________ (2007)
Tzer Hung Low, Dr. Amar Gupta, Arthur C. Smith
We present the design and prototype implementation of a low-cost Hotel Management System. In this system, computing devices are distributed throughout the hotel and connected via Ethernet. A number...
Nathaniel A. Kushman, Volker Strumpen, Charles E. Leiserson, Arthur C. Smith
requirements for the degrees of
Company Supervisor (Cooperating Company) (2007)
Mathews Malieakkal Cherian, Arthur C. Smith, A Study, Backoff Barrier Synchronization
Accepted by.......................................................
Accepted by:_____________________________________________________________ (2007)
Stephen A. Ward, Arthur C. Smith, David Shoemaker, David Shoemaker
by
Accepted by:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: (2007)
John V. Guttag, L. Tennenhouse, Arthur C. Smith, David M. Murphy, David M. Murphy, David M. Murphy
at the
ML with Extended Pattern Matching and (2007)
Arthur C. Smith, Lalita A. Jategaonkar, Lalita A. Jategaonkar, Lalita A. Jategaonkar
by
Simulating Applicative Architectures on the Connection Machine (2007)
Bradley Clair 'uszmaul, Jack B. Dennis, Arthur C. Smith
Certified by
Modelling Speaker Variability and hnposing Speaker Constraints in Phonetic Classificat, ion (2007)
Partha Niyogi, Partha Niyogi, Arthur C. Smith
by
Accepted by...................................................................... (2007)
David Tennenhouse, Arthur C. Smith, Alok B. Shah, Alok B. Shah
at the
Certi ed by........................................................................ (2007)
Charles E. Leiserson, Arthur C. Smith, Guang-ien Cheng, Guang-ien Cheng
in partial ful llment oftherequirements for the degree of
Matteo Frigo, Charles E. Leiserson, Arthur C. Smith
notice and this permission notice are preserved on all copies.
Certified by.......................................................... (2007)
Peter Szolovits, Arthur C. Smith, Waikit Koh, Waikit Koh
The Internet has brought a new meaning to the term communities. Geography is no longer a barrier to international communications. However, the paradigm of meeting new interesting people remains...
Accepted by....................................................................... (2007)
Issam Bazzi, James Glass, Arthur C. Smith
This thesis concerns the problem of unknown or out-of-vocabulary (00V) words in contin-uous speech recognition. Most of today's state-of-the-art speech recognition systems can recognize only...
for Speech Understanding Systems (2007)
This thesis discusses the development and potential applications of acoustic based phone and word level condence scores in a segment-based recognizer. The implementation of the theories in this...
The Notion of Security for Probabilistic Public-key Cryptosystems by (2007)
Robert Hal Sloan, Arthur C. Smith
by
Thesis Supervisor Accepted by (2007)
Nancy A. Lynch, Arthur C. Smith, Stephen J. Ponzio, Stephen J. Ponzio
timeout.
in the FUGU Scalable Workstation (2007)
Anant Agarwal, Arthur C. Smith, Kenneth Martin Mackenzie, Kenneth Martin Mackenzie
A scalable workstation is one vision of a mainstream parallel computer: a machine that combines scalable, fine-grain communication facilities for parallel applications with virtual memory and...
Location in Ubiquitous Computing (2007)
Karen R. Sollins, Arthur C. Smith, Kathryn Flores Benedicto, Kathryn Flores Benedicto
Accepted by....................................................................... (2007)
Vanu G. Bose, John V. Guttag, David L. Tennenhouse, Arthur C. Smith
This dissertation presents the design, implementation ad evaluation of a novel software radio architecture based on wideband digitization, a general purpose processor and application level software....
Applications to Speech Research (2007)
James R. Glass, Arthur C. Smith, Michael K. Mccandless, Michael K. Mccandless
at the
Martin Rinard, Arthur C. Smith, C. Scott Ananian, C. Scott Ananian, Submmitted To The
Certi ed by
Probabilistic Analysis of Multistage Interconnection Network Performance (2007)
Neil A. Brock, Thomas F. Knight, Arthur C. Smith, Patrick G. Sobalvarro, Patrick G. Sobalvarro
in partial ful llment of the requirements for the degree of
Thesis Supervisor Accepted by (2007)
Dorothy Curtis, Arthur C. Smith, Paul H. Kim, Paul H. Kim
There is an increasing amount of data in the world that is distributed over many machines. Some of this data may be relatively static. However, certain types of data may be changing frequently....
Certified by............................................................... (2007)
Raj Dharmarajan, David R. Karger, Arthur C. Smith
The problem of combining preferences arises in several applications, such as combining the results of different search engines. This work describes an efficient algorithm for combining multiple...
Projective Minimal Analysis of Camera Geometry (2007)
W. Eric, L. Grimson, Olivier D. Faugeras, Arthur C. Smith, Raquel A. Romano, Raquel A. Romano
Integrating a Universal Remote Control with a Handheld Computer (2007)
Arthur C. Smith, Angus Huang, Angus Huang
As technology brings more and more portable devices into common use, applications must be available to sustain this trend. While the features and performance of these portable devices are fast...
FastStokes: A Fast 3-D Fluid Simulation Program for (2007)
Jacob K. White, Arthur C. Smith, Xin Wang, Xin Wang
by
Certified by.......................................................... (2007)
Alex P. Pentland, Arthur C. Smith, Sumit Basu, Sumit Basu
In this thesis, we develop computational tools for analyzing conversations based on nonverbal auditory cues. We develop a notion of conversations as being made up of a variety of scenes: in each...
Shafi Goldwasser, Arthur C. Smith, Nitin Thaper, Nitin Thaper
requirements for the degree of Master of Science. This thesis addresses the problem of source based text classification. In a nutshell, this problem involves classifying documents according to...
Gill A. Pratt, Arthur C. Smith, Allen S. Parseghian, Allen S. Parseghian
Physical-based control using center of mass, center of pressure, and foot placement is used to enable a simulated twelve-degree of freedom, seven-link, three-dimensional bipedal robot to lean...
Accepted by______________________________________________________ (2007)
Dr. Amar Gupta, Arthur C. Smith, Michael L. Feng, Michael L. Feng
A distributed system that stores name-to-address bindings and provides name resolution to a network of computers is presented in this thesis. This name system consists of a network of name services...
Automated Semantic Correlation between (2007)
David Wang, Amar Gupta, Arthur C. Smith
This page intentionally left blank.
An analytical Study on Image Databases By (2007)
Francine Ming Fang, Dr. Nishikant Sonwalkar, Arthur C. Smith, Francine M. Fang
Complex information data types such as images are becoming more and more significant in digital communication as modern technology continues to evolve. Because of the increased significance of...
Design of Information Channels for Mission Critical Systems (2007)
Dr. Amar Gupta, Arthur C. Smith, Brian A. Purville, Brian A. Purville
Current mission critical systems are distributed client-server applications written in C/C++, designed to work for a specific hardware or software vendor. These systems generally are not portable and...
Certified by........................................................ Seth Teller (2007)
This thesis describes the design, implementation, and initial evaluation of a device for quickly and easily acquiring large numbers of pose-images with a small amount of human effort. Pose-images are...
EVALUATION OF AN OBJECT-BASED DATA INTEROPERABILITY SOLUTION FOR AIR FORCE SYSTEMS (2007)
Dr. Amar Gupta, Arthur C. Smith, Jeffrey R. Doering, Jeffrey R. Doering
by
Zero Configuration Name Services for IP Networks (2007)
Dr. Amar Gupta, Arthur C. Smith, Paul E. Huck, Paul E. Huck
by
Certifiedby......................................................... (2007)
Saman Amarasinghe, Arthur C. Smith, Benjamin Eliot Greenwald, Benjamin Eliot Greenwald
Harold Abelson, John Lamping, Arthur C. Smith
Currently, there exist different approaches to parallelizing a computation at a coarse-grain. One approach is to parallelize a computation by placing compiler declarations in the source code. This...
Ronald L. Rivest, Arthur C. Smith, Jeffrey Burstein, Jeffrey Burstein
This thesis describes a prototype implementation of MicroMint, an Internet micropayment system designed to facilitate very small scale monetary transactions over the World Wide Web. By implementing a...
Bachelor of Science, Electrical Engineering and Computer Science (2007)
Arthur C. Smith, Héctor Manuel, Héctor Manuel, Briceño Pulido, Briceño Pulido
Animations of three-dimensional computer graphics are becoming an increasingly prevalent medium for communication. There are many sources of 3D animations including physical simulations, scientific...
Certifiedby......................................................... (2007)
Tomaso Poggio, Helen Whitaker, Professor Brain, Cognitive Sciences, Arthur C. Smith, Tung Chan, ...
In many studies of market microstructure, theoretical analysis quickly becomes intractable for all but the simplest stylized models. This thesis considers two alternative approaches, namely, the use...
Geometry Videos A New Representation For 3D Animations (2007)
Arthur C. Smith, Héctor Manuel, Héctor Manuel, Briceño Pulido, Briceño Pulido
Bachelor of Science, Electrical Engineering and Computer Science (2007)
Arthur C. Smith, Héctor Manuel, Héctor Manuel, Briceño Pulido, Briceño Pulido
Animations of three-dimensional computer graphics are becoming an increasingly prevalent medium for communication. There are many sources of 3D animations including physical simulations, scientific...
Submitted to the Department of Electrical Engineering and Computer Science (2007)
In Partial Fulfillment, Arthur C. Smith, Jason Murray Bell, Jason Murray Bell
Indoor, location-aware devices have the potential to provide extremely useful resource and building information to human users; for example, a location-aware PDA could potentially provide map...
Brian C. Williams, Arthur C. Smith, Judy Y. Chen, Judy Y. Chen
Intelligent autonomous agents working cooperatively accomplish tasks more efficiently than single agents, as well as tasks that were infeasible for the single agent. For example, a single agent...
Accepted by …………………………………………………………………………………….. (2007)
Barbara Liskov, Arthur C. Smith, Sarah Ahmed, Sarah Ahmed
A Scalable Byzantine Fault Tolerant Secure Domain Name System hy
Multiple Aspect Ranking for Opinion Analysis (2007)
Benjamin Snyder, Regina Barzilay, Arthur C. Smith, Benjamin Snyder
A Methodology for Analog Circuit Design (2007)
Piotr Mitros, Gerald Jay Sussman, Thomas F. Knight, Arthur C. Smith, Piotr Mitros
requirements for the degree of
Gene Prediction with Conditional Random Fields (2007)
Matthew K. Doherty, James Galagan, Assoc Director, David Decaprio, Arthur C. Smith, Matthew K. Doherty
Certified by........................................................................ (2007)
Tommi Jaakkola, Arthur C. Smith
This thesis focuses on the problem of extracting information from informal communication. Textual informal communication, such as e-mail, bulletin boards and blogs, has become a vast information...
CAPRI: A Common Architecture for Distributed Probabilistic Internet Fault Diagnosis (2007)
George J. Lee, George J. Lee, David D. Clark, Arthur C. Smith, George J. Lee
Accepted by......................................................... (2007)
David Andrew Schultz, Barbara Liskov, Arthur C. Smith, David Andrew Schultz
This thesis describes mobile proactive secret sharing (MPSS), an extension of proactive secret sharing. Mobile proactive secret sharing is much more flexible than proactive secret sharing in terms of...
Simulation of Timed Input/Output Automata (2006)
Panayiotis P. Mavrommatis, Dilsun K. Kaynar, Nancy A. Lynch, Arthur C. Smith, Panayiotis P. Mavrommatis
End -User Creation and Customization of In terfaces for Information Management Tasks (2006)
Run Ks Hi, Karun Bakshi, David R. Karger, Arthur C. Smith
Information based tasks rely on software applications that allow users to interact with information in some pre-defined manner deemed appropriate by the application developer or information/content...
Advances in Cryptographic Voting Systems (2006)
Ronald L. Rivest, Arthur C. Smith, Ben Adida, Ben Adida
depends on the proper administration of popular elections. Voters should receive assurance that their intent was correctly captured and that all eligible votes were correctly tallied. The election...
Certified by.......................................................... (2006)
Sie Hendrata Dharmawan, Saman Amarasinghe, Arthur C. Smith, Hendrata Dharmawan
A large software system usually has structure in it. Several functions work together to accomplish a certain task, and several tasks are grouped together to perform a bigger task. In order to...
Zahi Nadim Karam, Arthur C. Smith, Zahi Nadim Karam
Computation of the One-Dimensional
A Precise Computational Approach to Knowledge (2006)
Rafael Pass, Silvio Micali, Arthur C. Smith
There’s no sense in being precise when you don’t
Certified by.......................................................... (2006)
Mihai Bădoiu, Piotr Indyk, Arthur C. Smith, Mihai Bădoiu
We present several computationally efficient algorithms, and complexity results on low distortion mappings between metric spaces. An embedding between two metric spaces is a mapping between the two...
Advances in Cryptographic Voting Systems (2006)
Ronald L. Rivest, Arthur C. Smith, Ben Adida, Ben Adida, Ben Adida
elections
Certified by.........-.............................. (2005)
Loan Tudor Leu, Martin Rinard, Arthur C. Smith, Massachusetts Instimjte
An empirical study of a novel technique: rationed-memory compiling by
Provably good race detection that runs in parallel (2005)
Jeremy T. Fineman, Charles E. Leiserson, Arthur C. Smith, Jeremy T. Fineman
Certified by..................... (2005)
Jim Sukha, Charles E. Leiserson, Bradley C. Kuszmaul, Arthur C. Smith
Memory-mapped transactions combine the advantages of both memory mapping and transactions to provide a programming interface for concurrently accessing data on disk without explicit I/O or locking...
Yufei Wang, Ad F, Arthur C. Smith
and to grant others the right to do so.. '., w.,11 Dep tme of Electrical En neering and Computer Science
Tools for Reclaiming Our Personal Space by (2005)
Limor Fried, Ghs Csikszentmihalyi, Arthur C. Smith, Limor Fried
and to grant others the right to A.- JL ~ent Den of e
Localization and sensing applications in the pushpin computing network (2005)
Michael Joseph Broxton, Joseph Paradiso, Arthur C. Smith, Michael Joseph Broxton
requirements for the degrees of
David R. Cheng, A Uth Or, Alan Edelman, Arthur C. Smith, David R. Cheng
This thesis studies three problems in the field of parallel computing. The first result provides a deterministic parallel sorting algorithm that empirically shows an improvement over two sample sort...
Improved Handling of the Decoding Operation in the Presto Compiler (2005)
Wenyan Dong, K(aj Karen Pieper, Arthur C. Smith, Wenyan Dong
distribute publicly paper and electronic copies of this thetA tINs in whole or in part. OFTECHNOLOGY
Social-Mobile Applications (2005)
Joseph A. Paradiso, Arthur C. Smith, Laurel P. Smith, Laurel P. Smith
Building on the previous work and an earlier design by Dr. Joe Paradiso and Kai-Yuh Hsiao, an improved swept frequency tag reader has been developed and built. The tag reader uses an AC magnetic...
Thesis Supervisor Accepted by......................................................... (2005)
Paul Tan, The Pham, Isaac L. Chuang, Arthur C. Smith
A general-purpose pulse sequencer for quantum computing by
Text using the MeSH Hierarchy (2005)
Neha Bhooshan, Arthur C. Smith, Neha Bhooshan
Certified by,- _ _ Accepted by _ J ' ) f Peter
Building Fast and Secure Web Services with OKWS (2005)
Maxwell Krohn, M. Frans Kaashoek, Arthur C. Smith, Maxwell Krohn
Computer-assisted deidentification of free text (2005)
Margaret Douglass, Roger G. Mark, Arthur C. Smith, Margaret Douglass
X w · b....... y..I.......... V.. % '-..................
Tools for Reclaiming Our Personal Space (2005)
Limor Fried, Chris Csikszentmihalyi, Arthur C. Smith, Limor Fried
In contemporary Western society, electronic devices are becoming so prevalent that many people find themselves surrounded by technologies they find frustrating or annoying. The electronics industry...
Robust network computation (2005)
David Pritchard, Santosh S. Vempala, Arthur C. Smith, David Pritchard
Bo S. Kim, Ichael A. Cusumano, Arthur C. Smith, Bo S. Kim
and to grant others the right to do so.-.9
Post-Doctoral Lecturer Thesis Supervisor (2005)
John Sawa Shafran, Timothy A. Denison, Michael W. Judy, Arthur C. Smith, John Sawa Shafran
Department fElectrical ngineering an
Improving End-to-End Availability Using Overlay Networks (2005)
David Godbe Andersen, Hari Balakrishnan, Arthur C. Smith, David Godbe Andersen
Michael H. Perrott, Tiasis Sudervisor, Arthur C. Smith
A uthor.................................
Submitted to the Department of Electrical Engineering and Computer (2005)
Science In Partial, Arthur C. Smith, Ilya A Shlyakhter, Ilya A Shlyakhter
Model checking, a technique for findings errors in systems, involves building a formal model that describes possible system behaviors and correctness conditions, and using a tool to search for model...
Learning the process of World Wide Web data retrieval (2005)
David R. Karger, Arthur C. Smith, Ryan A. Manuel, Ryan A. Manuel
We develop a method for extracting and internalizing web site form submissions which we refer to as web operations. To begin the process, a user performs a sample submission of the form. From that...
On Symbolic Analysis of Cryptographic Protocols. Master of engineering thesis (2005)
Ronald L. Rivest, Ran Canetti, Arthur C. Smith, Akshay Patil, Akshay Patil
Accepted by.............................................................. (2005)
Kevin E. Fu, M. Frans Kaashoek, Ronald L. Rivest, Arthur C. Smith, Kevin E. Fu
Integrity and access control in untrusted content distribution networks by
Abstract Towards Constant Bandwidth Overhead Integrity Checking of Untrusted Data (2005)
Dwaine E. Clarke, Srinivas Devadas, Arthur C. Smith, Dwaine E. Clarke
a trace-hash scheme and an adaptive tree-trace scheme to improve the performance of checking the integrity of arbitrarily-large untrusted data, when using only a small fixed-sized trusted state....
Classification of Coordinated Motion by (2005)
Steven Daniel Lovell, Joseph A. Paradiso, Arthur C. Smith, Steven Daniel Lovell
grant others the right to do so.
Enabling fast flexible planning through incremental temporal reasoning (2005)
Brian C. Williams, Arthur C. Smith, I-hsiang Shu, I-hsiang Shu
by
Overcite: A cooperative digital research library (2005)
M. Frans Kaashoek, Arthur C. Smith, Jeremy Stribling, Jeremy Stribling
Robust Execution of Bipedal Walking Tasks From (2005)
Andreas G. Hofmann, Brian C. Williams, Steven G. Massaquoi, Arthur C. Smith, Andreas Hofmann
Effective use of robots in unstructured environments requires that they have sufficient autonomy and agility to execute task-level commands successfully. A challenging example of such a robot is a...
Feature-relative Real-time Obstacle Avoidance and Mapping (2005)
Jacques Chadwick Leedekerken, Bebiuc O, John J. Leonard, Arthur C. Smith, Jacques Chadwick Leedekerken
A..... uthor...............,.........................
ComicKit: Knowledge Acquisition of Story Scripts (2005)
Ryan Duane Williams, Arthur C. Smith, Li Raries, Ryan Duane Williams
Department of by. J z:.... i.,.r.........n................ L.t /.c Electrical Engineering and Computer Science
AEGIS: A Single-Chip Secure Processor (2005)
Srinivas Devadas, Arthur C. Smith, Gookwon Edward Suh, Gookwon Edward Suh
LIBRARIES ARCHIVES Development of a Programming Model for the AEGIS Secure Processor (2005)
Ishan Sachdev, Srinivas Devadas, Arthur C. Smith, Ishan Sachdev
by
Mandatory Security and Performance of Services in Asbestos (2005)
David Patrick Ziegler, M. Frans Kaashoek, Arthur C. Smith, David Patrick Ziegler
Accepted by iV in whole or in part. /1fA l l.E.g.i....
Evolving Circuits on a Field Programmable Analog Array Using Genetic Programming (2005)
Michael A Terry, Arthur C. Smith, Michael A Terry
j r') I
Simplified Random Network Codes for Multicast Networks (2005)
Anna H. Lee, Muriel Medard, Arthur C. Smith, Anna H. Lee
Network coding is a method of data transmission across a network which involves coding at intermediate nodes. Network coding is particularly attractive for multicast. Building on the work done on...
Enabling Collaboration in the Sketching Domain (2005)
Jesse Michael Smithnosky, Arthur C. Smith, Jesse Michael Smithnosky
publicly paper and electronic copies of this thesis and to grant others the right to do so. Author.. Departmnf......e...r; '..- ovf-.t, ".S......................................... ie...
Charles W. Kehoe, Deb K Roy, Arthur C. Smith
and distribute publicly paper and electronic copies of this document, in whole or in part, and to grant others the right to do so.
An Email Spam Filtering Proxy Using Secure Authentication and Micro-bonds (2005)
Ariel Lauren Rideout, Robert Miller, Arthur C. Smith, Ariel Lauren Rideout
distribute publicly paper and electronic copies of this the ir; *'
Certified by.......................................................... (2005)
John Danaher, Charles E. Leiserson, Arthur C. Smith
JCilk extends the Java language to provide call-return semantics for multithreading, much as Cilk does for C. Java’s built-in thread model does not support the passing of exceptions or return...
Provably good race detection that runs in parallel (2005)
Jeremy T. Fineman, Charles E. Leiserson, Arthur C. Smith, Jeremy T. Fineman
Thesis Supervisor Certified by.......................................................... (2005)
Jim Sukha, Charles E. Leiserson, Bradley C. Kuszmaul, Arthur C. Smith
Memory-mapped transactions combine the advantages of both memory mapping and transactions to provide a programming interface for concurrently accessing data on disk without explicit I/O or locking...
Thesis Supervisor Accepted by......................................................... (2005)
Gerardo Viedma Núñez, H. Lundberg, Arthur C. Smith, Gerardo Viedma Núñez
This thesis describes the design and implementation of a remote web-based laboratory (WebLab) for MIT’s 6.302 Feedback Systems course. The WebLab system proposed consists of a three-tiered...
Efficiency loss in market mechanisms for resource allocation (2004)
John N. Tsitsiklis, Arthur C. Smith, Ramesh Johari, Ramesh Johari
This thesis addresses a problem at the nexus of engineering, computer science, and economics: in large scale, decentralized systems, how can we efficiently allocate scarce resources among competing...
Learning and Applying Model-Based Visual Context (2004)
Vikash Gilja, Patrick Henry Winston, Arthur C. Smith
- / / ' aft ai he-upervisor
Syntax of the Mandarin and English Verb Phrase (2004)
Jimmy Lin, Boris Katz, Arthur C. Smith, Jimmy Lin
This work presents a theory of linguistic representation that attempts to capture the syntactic structure of verbs and their arguments. My framework is based on the assumption that the proper...
Educational Hardware for Feedback Systems (2004)
Isaac Dancy, Arthur C. Smith, Arthur C. Smith, Isaac Dancy
Certified by..............-.. v.-.-...
Diagnose Mitral Valve Prolapse (2004)
Marcia Yeojin Jung, Dorothy W. Curtis, Arthur C. Smith, Marcia Yeojin Jung
During annual physical examinations, a primary-care physician listens to the heart using a stethoscope to assess the condition of the heart muscle and valves. This process, termed cardiac...
Radio Frequency Rectifiers for DC-DC Power Conversion (2004)
Riad Samir Wahby, David J. Perreault, Arthur C. Smith, Riad Samir Wahby
Authentication in a reconfigurable byzantine fault tolerant system (2004)
Kathryn Chen, Barbara Liskov, Arthur C. Smith, Kathryn Chen
requirements for the degree of
Component-Based System Engineering by (2004)
Chibong Chan, Nancy G. Leveson, Arthur C. Smith, Chibong Chan
The goal of this thesis is to develop software under the SpecTRM software package for the partial automation of tasks associated with reusing SpecTRM-RL component models. The automation software is...
Translating Alloy Using Boolean Circuits (2004)
Samuel Isaac Daitch, Librries Ibraries, Daniel Jackson, Arthur C. Smith, Samuel Isaac Daitch
Alloy is a automatically analyzable modelling language based on first-order logic. An Alloy model can be translated into a Boolean formula whose satisfying assignments correspond to instances in the...
Mandana Vaziri-farahani, Daniel N. Jackson, Arthur C. Smith, Mandana Vaziri-farahani
We present a static technique for finding bugs in object-oriented procedures. It is capable of checking complex user-defined structural properties -- that is, of the configuration of objects on the...
User Authentication and Remote Execution Across Administrative Domains (2004)
M. Frans Kaashoek, Arthur C. Smith, Michael Kaminsky, Michael Kaminsky
Vista: A visualization tool for computer architects (2004)
Aaron D. Mihalik, Arthur C. Smith, D. Mihalik, Krste Asanović, Krste Asanović
As computer architectures continue to grow in complexity, software developers and hardware engineers cope with the increasing complexity by developing proprietary applications, simulations and tool...
Thesis Supervisor Certified by.......................................................... (2004)
Christopher Leger, Gregory T. Sullivan, Saman Amarasinghe, Arthur C. Smith
and
A Speech-Controlled Animation System by (2004)
Nancy Ellen Kho, Larry Rudolph, Arthur C. Smith, Nancy Ellen Kho
Sean Lie, Krste Asanovic, Arthur C. Smith
Hardware Support for Unbounded Transactional Memory by
High-Throughput Routing For Multi-Hop Wireless Networks (2004)
Robert T. Morris, Arthur C. Smith
The expected transmission count (ETX) metric is a new route metric for finding high-throughput paths in multi-hop wireless networks. The ETX of a path is the expected total number of packet...
Failure Detection and Recovery of Threads in CTAS (2004)
Farid Jahanmir, Martin C. Rinard, Arthur C. Smith, Farid Jahanmir
by
Vivienne C. Lee, Stephanie Seneff, Chao Wang, Arthur C. Smith, Vivienne C. Lee
00-C-0002. Opinions, interpretations, conclusions and recommendations are those of the author and are not necessarily endorsed by the United States Government.
Interruptions: Using Activity Transitions to Trigger Proactive Messages (2004)
Stephen Intille, Arthur C. Smith, Joyce Ho, Joyce Ho
requirements for the degree of
Christopher G. Lucas, Deb K. Roy, Arthur C. Smith, Christopher G. Lucas
Patent Semantics is system for processing text documents by extracting features capturing their semantic content, and searching, clustering, and relating them by those same features. It is set apart...
Generative temporal planning with complex processes (2003)
Brian C. Williams, Arthur C. Smith, Jonathan Kennell, Jonathan Kennell
Autonomous vehicles are increasingly being used in mission-critical applications, and robust methods are needed for controlling these inherently unreliable and complex systems. This thesis advocates...
Procedural Authoring of Solid Models (2003)
Julie Dorsey, Leonard Mcmillan, Arthur C. Smith, Barbara M. Cutler, Barbara M. Cutler
This thesis investigates the creation, representation, and manipulation of volumetric geometry suitable for computer graphics applications. In order to capture and reproduce the appearance and...
Encouraging Innovation by Engineering the Learning Curve (2003)
Christopher Thomas Lyon, T. Lyon, Bakhtiar J. Mikhak, Arthur C. Smith, Christopher Thomas Lyon
Component-based face recognition with 3D morphable models (2003)
Tomaso Poggio, Arthur C. Smith, Jennifer Huang, Jennifer Huang
This thesis presents a novel approach to pose and illumination invariant face recognition that combines two recent advances in the computer vision field: component-based recognition and 3D morphable...
Energy aware lossless data compression (2003)
Krste Asanović, Arthur C. Smith, Kenneth C. Barr, Kenneth C. Barr
Security and privacy in radio-frequency identification devices (2003)
Ronald L. Rivest, Arthur C. Smith, Stephen August Weis, Stephen August Weis
by
A Sparse Signal Reconstruction Perspective for . . . (2003)
Müjdat Çetin, Arthur C. Smith, Dmitry M. Malioutov, Dmitry M. Malioutov
The theme for this thesis is the application of the inverse problem framework with sparsity-enforcing regularization to passive source localization in sensor array processing. The approach involves...
Secure Execution Environment (2003)
Vladimir L. Kiriansky, Saman P. Amarasinghe, Arthur C. Smith, Vladimir L. Kiriansky
Efficient Algorithms for New Computational Models (2003)
David R. Karger, Arthur C. Smith, Jan Matthias Ruhl, Jan Matthias Ruhl
A Session-Based Architecture for Internet Mobility (2003)
Mark Alexander, Connell Snoeren, Hari Balakrishnan, M. Frans Kaashoek, Arthur C. Smith, Mark Alexander, ...
ZOOM: A Performance-Energy Cache Simulator (2003)
Regina Sam, Krste Asanović, Jude A. Rivers, Arthur C. Smith, Regina Sam
On-chip cache sizes are growing with each generation of microprocessors in an attempt to bridge the ever-widening memory-processor performance gap. At the same time, energy dissipation in caches has...
NIRA: A New Internet Routing Architecture (2003)
David Clark, Arthur C. Smith, Xiaowei Yang, Xiaowei Yang
This is a modified version of the submitted thesis. A few typos were corrected and Appendix 5.C is added.
Certified by.......................................................... (2003)
Minkyu Kim, Muriel Médard, Arthur C. Smith
We consider the issue of protection in very large networks displaying randomness in topology. We employ random graph models to describe such networks, and obtain probabilistic bounds on several...
Certified by___________________________________________________________ (2003)
Elina Kamenetskaya, Krste Asanovic, Arthur C. Smith, Elina Kamenetskaya
for a Handheld Device by
A Data-Driven Reflectance Model (2003)
Leonard Mcmillan, Arthur C. Smith, Wojciech Matusik, Wojciech Matusik
I present a data-driven model for isotropic bidirectional reflectance distribution functions (BRDFs) based on acquired reflectance data. Instead of using analytic reflectance models, each BRDF is...
Genes, Regulation, Evolution (2003)
Manolis (kellis Kamvysselis, Eric S. Lander, Bonnie A. Berger, Arthur C. Smith
Hanfeng Yuan, Nathaniel I. Durlach, Charlotte M. Reed, Arthur C. Smith
This research is concerned with the development of tactual displays to supplement the information available through lipreading. Because voicing carries a high informational load in speech and is not...
Jonathan Kennell, Brian C. Williams, Arthur C. Smith, Jonathan Kennell
Autonomous vehicles are increasingly being used in mission-critical applications, and robust methods are needed for controlling these inherently unreliable and complex systems. This thesis advocates...
An application-specific protocol architecture for wireless microsensor networks (2002)
Anantha P. Chandrakasan, Arthur C. Smith, Wendi Beth Heinzelman, Wendi Beth Heinzelman
An application-specific protocol architecture for wireless microsensor networks (2002)
Wendi Beth Heinzelman, Anantha P. Chandrakasan, Arthur C. Smith, Wendi Beth Heinzelman
An application-specific protocol architecture for wireless microsensor networks (2002)
Wendi Beth Heinzelman, Anantha P. Chandrakasan, Arthur C. Smith, Wendi Beth Heinzelman
Semantic Understanding and Commonsense Reasoning in an Adaptive Photo Agent (2002)
Arthur C. Smith, Xinyu Hugo Liu, Xinyu Hugo Liu
In a story telling authoring task, an author often wants to set up meaningful connections between different media, such as between a text and photographs. To facilitate this task, it is helpful to...
Accessible Broadband Network Analysis by (2002)
Esa Han, Hsien Masood, Neil Gershenfeld, Arthur C. Smith, Esa Han, Hsien Masood
Radio frequency network analysis is a powerful and versatile analysis tool. Due to the extremely high cost of vector network analyzers and their lack of portability, their use has been limited...
Rapid configuration of discourse dialog management in conversational systems (2002)
James R. Glass, Arthur C. Smith, Sterling J. Crockett, Sterling J. Crockett
A sophisticated conversational system should be able to carry a complex dialogue with the user and maintain a memory of information which has been learned. Although the framework to create such...
Belief layer for haystack (2002)
David R. Karger, Arthur C. Smith, Marina Zhurakhinskaya, Marina Zhurakhinskaya
The design and implementation of fisheye routing protocol for mobile ad hoc networks (2002)
Amar Gupta, Arthur C. Smith, Allen C. Sun, Allen C. Sun
Wireless networking is an emerging technology that will allow users to access information and services regardless of their geographic position. In contrast to infrastructure based networks, in...
In Partial Fulfillment of the Requirements for the Degree of (2002)
Master Of Engineering, Judith Donath, Arthur C. Smith, Raffi Krikorian, Raffi Krikorian
Traditional visualizations present quantitative data in a static format suitable for a person to gather exact data from it. Qualitative visualizations, on the other hand, try to evoke a...
The Tele-Reporter: A Collaborative Interface (2002)
Judith Donath, Arthur C. Smith, Derek J. Tang, Derek J. Tang
The Tele-Reporter is an extension of the Tele-Actor project, a Web interface where users share control over a human actor agent. The Tele-Reporter extends the premise of the TeleActor by allowing...
Certified by Accepted by (2002)
Paul H. Kim, Dorothy Curtis, Arthur C. Smith, Paul H. Kim
There is an increasing amount of data in the world that is distributed over many machines. Some of this data may be relatively static. However, certain types of data may be changing frequently....
Wolfgang Karl Gatterbauer, Marija Ilic, Daniel E. Hastings, Arthur C. Smith, Wolfgang Karl Gatterbauer
In the context of the ongoing deregulation of the electricity industry, we revisit the commonly held assumption that, under the condition of perfect information, a decentralized unit commitment would...
Design and Evaluation of the Hamal Parallel Computer (2002)
J. P. Grossman, Thomas F. Knight, Arthur C. Smith
Over the years there has been an enormous amount of hardware research in parallel computation. It os a testament...
Object Recognition with Partially Labeled Examples (2002)
Tomaso Poggio, Arthur C. Smith, Andrew Crane, Andrew S. Crane
Machine learning algorithms tend to improve in performance with larger training sets, but obtaining a large amount of training data comes at a high cost. Several methods of semi-supervised learning...
Providing Quality of Service over High Speed Electronic and Optical Switches (2002)
Can Emre Koksal, Robert G. Gallager, Arthur C. Smith, Can Emre Koksal
the
Certified by.......................................................... (2002)
Michael Mcgeachie, Jon Doyle, Arthur C. Smith
Ceteris paribus preference statements concisely represent preferences over outcomes or goals in a way natural to human thinking. Many decision making methods require an efficient method for comparing...
Data Migration and a Uniform Hardware Abstraction (2002)
Andrew “bunnie Huang, Thomas F. Knight, Arthur C. Smith, Andrew “bunnie Huang
Learning from Partially Labeled Data (2002)
Tommi S. Jaakkola, Arthur C. Smith, Martin Szummer, Marcin Olof Szummer
Classification with partially labeled data involves learning from a few labeled examples as well as a large number of unlabeled examples, and represents a blend of supervised and unsupervised...
Diagnostic Process Monitoring with Temporally Uncertain Models (2002)
Steven M. Bull, Peter Szolovits, Arthur C. Smith, Steven M. Bull
at the
A.: Building Grounding Abstractions for Artificial Intelligence Programming (2001)
Gerald J. Sussman, Arthur C. Smith, Robert A. Hearn, Robert A. Hearn
Most Artificial Intelligence (AI) work can be characterized as either “high-level” (e.g., logical, symbolic) or “low-level ” (e.g., connectionist, behavior-based robotics). Each approach...
Electron-Beam Lithography (2001)
Mark Alan Finlayson, Henry I. Smith, Arthur C. Smith, Mark Alan Finlayson
by
MICK: A Design Environment for Musical Instruments (2001)
Samuel H. Thibault, Bakhtiar J. Mikhak, Arthur C. Smith, Samuel H. Thibault, Bakhtiar J. Mikhak
A growing body of educational research has shown that children learn most effectively when they are engaged in designing and constructing things that are personally meaningful to them. Consequently,...
Amit Sinha, Anantha Chandrakasan, Arthur C. Smith, Amit Sinha
Energy Efficient Operating Systems and Software by
TEPHRANET: WIRELESS SELF-ORGANIZING PLATFORM FOR ENVIRONMENTAL SENSING BY (2001)
Andrew J. Wheeler, Michael J. Hawley, Arthur C. Smith, Andrew J. Wheeler
The growing number of threats to the Earth’s environment necessitates the gathering of finegrained environmental sensor data to deepen our understanding of endangered species and assist in their...
Accepted by............................................................. (2001)
Jonathan P. Pearce, Randall Davis, Arthur C. Smith
Programs that can reason about a particular domain of problems can be helpful to designers and engineers working in those areas. In this vein, several attempts have been made to create a qualitative...
Pattern Formation in Lichen (2001)
Julie Dorsey, Arthur C. Smith, Robert Walker Sumner, Robert Walker Sumner
Prosodic Modeling for Improved Speech Recognition and Understanding (2001)
Stephanie Seneff, Arthur C. Smith, Chao Wang, Chao Wang
by
Exposing datapath elements to reduce microprocessor energy consumption (2001)
Krste Asanovic, Arthur C. Smith, Mark Jerome Hampton, Mark Jerome Hampton
at the
Resilient Overlay Networks (2001)
Hari Balakrishnan, Arthur C. Smith, David G. Andersen, David G. Andersen
Reliability Projections in 3D Integrated Circuits (2001)
Mohiol Alam, Mohiol Alam, Syed Mohiul Alam, Arthur C. Smith, Syed Mohiul Alam
Donald E. Tr e
Thomas P Minka, Rosalind Picard, Arthur C. Smith, Thomas P Minka
in partial ful llment ofthe requirements for the degree of
Flexible Signal Processing Algorithms for Wireless Communications (2000)
Matthew Lee Welborn, John V. Guttag, Arthur C. Smith, Matthew Lee Welborn
at the
Windows nt attacks for the evaluation of intrusion detection systems (2000)
Jonathan Korba, Arthur C. Smith, Jonathan Korba
under Air Force Contract F19628-95-C-002. Opinions, interpretations, conclusions, and
SIFt: A Compiler for Streaming Applications (2000)
Elliot L. Waingold, Saman Amarasinghe, Arthur C. Smith, Elliot L. Waingold
Authenticating multimedia in the presence of noise (2000)
Greg Wornell, Arthur C. Smith, Emin Martinian, Emin Martinian
at the
Trust economies in the free haven project (2000)
Ron Rivest, Arthur C. Smith, Brian T. Sniffen, Brian T. Sniffen
An Architecture for Adaptable Wireless Networks (2000)
John V. Guttag, Arthur C. Smith, Sunil Kaliputnam Rao, Sunil Kaliputnam Rao
This thesis demonstrates the benefits of using a software based, adaptable wireless network protocol stack for voice applications. A design for a Controller Module which facilitates adaptation in the...
Parallel Signal-Processing for Everyone (2000)
John V. Guttag, Arthur C. Smith, Brett W. Vasconcellos, Brett W. Vasconcellos
We designed, implemented, and evaluated a signal-processing environment that runs on a general-purpose multiprocessor system, allowing easy prototyping of new algorithms and integration with...
Exploiting Inherent Robustness and Natural Dynamics in the Control of Bipedal Walking Robots (2000)
Gill A. Pratt, Arthur C. Smith, Jerry E. Pratt, Jerry E. Pratt
Walking is an easy task for most humans and animals. Two characteristics which make it easy are the inherent robustness (tolerance to variation) of the walking problem and the natural dynamics of the...
Understanding Expressive Action (2000)
Alex P. Pentland, Arthur C. Smith, Christopher R. Wren, Christopher R. Wren
We strain our eyes, cramp our necks, and destroy our hands trying to interact with computer on their terms. At the extreme, we strap on devices and weigh ourselves down with cables trying to...
A Low-Power 32 bit Datapath Design (2000)
Arthur C. Smith, Seongmoo Heo, Seongmoo Heo
In this thesis, we design a low-power 32 bit datapath with a five-stage pipeline for a single-issue MIPS RISC microprocessor. We compare various designs of flipflops, latches, and muxes in terms of...
The Search for Meaning in Large Text Databases (2000)
Daniel Frederick Gruhl, Arthur C. Smith
The task of retrieving information is becoming increasingly complicated as larger coropa are searched. Systems that employ single-pass statistical methods often swamp the user with an excessive...
Subword-based Approaches for Spoken Document Retrieval (2000)
Victor W. Zue, Arthur C. Smith, Kenney Ng, Kenney Ng
This thesis explores approaches to the problem of spoken document retrieval (SDR), which is the task of automatically indexing and then retrieving relevant items from a large collection of recorded...
Exploiting Superword Level Parallelism with Multimedia Instruction Sets (2000)
Saman Amarasinghe, Arthur C. Smith, Samuel Larsen, Samuel Larsen
at the
Meso: A virtual musculature for humanoid motor control (2000)
Rodney A. Brooks, Arthur C. Smith, Bryan Adams, Bryan Adams
Humanoid behavior requires a system with access to humanoid variables. Our humanoid robot, Cog, has two arms that are structurally similar to those of humans; however, the sensory system only...
SIFt: A Compiler for Streaming Applications (2000)
Saman Amarasinghe, Arthur C. Smith, Elliot L. Waingold, Elliot L. Waingold
Learning with Kernel Machine Architectures (2000)
Theodoros Evgeniou, Tomaso Poggio, Helen Whitaker, Professor Brain, Cognitive Sciences, Arthur C. Smith
This thesis studies the problem of supervised learning using a family of machines, namely kernel learning machines. A number of standard learning methods belong to this family, such as Regularization...
Certified by________________________________________________________________ (2000)
Philip K. Kim, Brian C. Williams, Arthur C. Smith, Philip Kim
This thesis could not have been completed without the help of several important people. First, I would like to thank Professor Brian Williams for providing technical guidance and for sacrificing so...
Understanding Expressive Action (2000)
Alex P. Pentland, Arthur C. Smith, Christopher R. Wren, Christopher R. Wren
Attack development for intrusion detection evaluation (2000)
Arthur C. Smith, Kumar J. Das, Kumar J. Das
and electronic copies of this document in whole or in part, and to grants others the right to do so....
A Gestural L nguage For A Humanoid Robot (2000)
Aaron Ladd Edsi, Rodney Brooks, Arthur C. Smith
humanoid robot platf orm, Cog. Humanoid research has long been concerned with the quality of the robot's movement. However, obtainingthe elusive tempo and graceof the human motor system has...
A Scalable Location Service for Geographic (2000)
Robert Morris, Arthur C. Smith, Ad Hoc Routing, Jinyang Li, Jinyang Li
GLS is a new distributed location service which tracks mobile node locations. GLS combined with geographic forwarding allows the construction of ad hoc mobile networks that scale to a larger number...
Michael I. Jordan, Arthur C. Smith
Learning with Mixtures of Trees by
Tyler J. Moeller, David R. Martinez, Arthur C. Smith, Tyler J. Moeller
As field programmable gate array (FPGA) technology has steadily improved, FPGAs have become viable alternatives to other technology implementations for high-speed classes of digital signal processing...
Atul Adya, Barbara H. Liskov, Arthur C. Smith, Atul Adya
Current commercial databases allow application programmers to trade off consistency for performance. However, existing definitions of weak consistency levels are either imprecise or they disallow...
Design and HCI applications of a low-cost scanning laser rangefinder (1999)
Joseph Paradiso, Arthur C. Smith, Range Nder, Joshua Andrew Strickon, Joshua Andrew Strickon
at the
The Static Single Information Form (1999)
All Right Reserved, Martin Rinard, Arthur C. Smith, C. Scott Ananian, C. Scott Ananian, Submmitted To The
Science in Electrical Engineering and Computer Science. The Static Single Information (SSI) form is a compiler intermediate representation that allows efficient sparse implementations of predicated...
A Model for Window Based Flow Control in Packet-Switched Networks (1999)
Arthur C. Smith, Xiaowei Yang, Xiaowei Yang
by
W. Eric, L. Grimson, Arthur C. Smith, Michael Emmanuel Leventon, Michael Emmanuel Leventon
Master of Science in Computer Science and Engineering Medical scans such as Magnetic Resonance (MR) and computed tomography (CT) are currently common diagnostic tools in surgical applications....
Adding Feedback to Improve Segmentation and Recognition of Handwritten Numerals (1999)
Dr. Amar Gupta, Arthur C. Smith, Susan A. Dey, Susan A. Dey
is a system which performs automated reading of handwritten documents, particularly of strings of handwritten numerals on bank checks. A commonly-used strategy for reading handwritten strings is a...
Certificate Chain Discovery in SPKI/SDSI (1999)
Ronald L. Rivest, Arthur C. Smith, Dwaine E. Clarke, Dwaine E. Clarke
The issue of trust is of growing importance as our communities become increasingly interconnected. When resources are shared over an untrusted network, how are decisions on which principals are...
An Improved Segmentation Module for Identification of Handwritten Numerals (1999)
Dr. Amar Gupta, Arthur C. Smith, Jibu Punnoose, Jibu Punnoose
The Winbank program is a segmentation-based recognition system for reading handwritten numeral on bank checks. An improved segmentation algorithm, Extended Drop Fall, has been incorporated into the...
Energy-Efficient Register File Design (1999)
In this thesis, we evaluate five techniques for energy efficient register file design by studying dynamic traces of SPECInt95 and Powerstone benchmarks. A single-issue MIPS RISC microprocessor with a...
Imagina: A Cognitive Abstraction Approach to Sketch-Based Image Retrieval (1999)
Patrick H. Winston, Arthur C. Smith, Manolis Kamvysselis, Manolis Kamvysselis, Ovidiu Marina, Ovidiu Marina
ion Approach to Sketch-Based Image Retrieval by Manolis Kamvysselis and Ovidiu Marina Submitted to the Department of Electrical Engineering and Computer Science in partial ful#llment of the...
Robot Arm Control Exploiting Natural Dynamics (1999)
Rodney A. Brooks, Arthur C. Smith, Matthew M. Williamson, Matthew M. Williamson
This thesis presents an approach to robot arm control exploiting natural dynamics. The approach consists of using a compliant arm whose joints are controlled with simple non-linear oscillators. The...
Scalable Self-Calibrating Display Technology for Seamless Large-Scale Displays (1999)
Thomas F. Knight, Arthur C. Smith, Rajeev J. Surati, Rajeev J. Surati
We present techniques for combining high-performance computing with feedback to enable the correction of imperfections in the alignment, optical system, and fabrication of very high-resolution...
Portfolio Optimization with Quantile-based Risk Measures (1999)
Roy E. Welsch, Alexander Samarov, Arthur C. Smith, Gerardo José, Gerardo José, ...
In this thesis we analyze Portfolio Optimization risk-reward theory, a generalization of the mean-variance theory, in the cases where the risk measures are quantile-based (such as the Value at Risk...
A Robust Algorithm for Information Hiding in Digital Pictures (1999)
Walter Bender, Arthur C. Smith, Raymond W. Hwang, Raymond W. Hwang
A problem inherent in information hiding techniques for digital images is that of alignment during data extraction. This alignment problem can be solved using a search approach where a combination of...
If It Works, It's Not AI: A Commercial Look at Artificial Intelligence Startups (1999)
Patrick Winston, Arthur C. Smith, Eve M. Phillips, Eve M. Phillips
The goal of this thesis is to learn from the successes and failure of a select group of artificial intelligence (AI) firms in bringing their products to market and creating lasting businesses. I have...
Systematic Testing of Multithreaded Java Programs (1999)
John Chapin, Arthur C. Smith, Derek L. Bruening, Derek L. Bruening
Concurrent programs are becoming common, while testing techniques that can adequately test such programs are not widely available. Due to the nondeterministic nature of concurrent programs, program...
A Prediction Model for Ray Tracing (1999)
Arthur C. Smith, Marc A. Lebovitz, Marc A. Lebovitz
This thesis presents methods to predict ray traced rendering times given scenes and rendering options. In order to predict total rendering time, ray tracing is decomposed into a set of computation...
Aggregating Building Fragments Generated from Geo-Referenced Imagery into Urban Models (1999)
Arthur C. Smith, Barbara Cutler, Barbara M. Cutler
ult without a priori knowledge of the environment or human assistance to identify and correlate important model features. Existing tools to create detailed models from images require large amounts of...
A Folder-Based Graphical Interface for an Information Retrieval System (1999)
David R. Karger, Arthur C. Smith, Aidan Low, Aidan Low
Past advances in user interface design include the move from an application-centric model to the document-centric model found in the file/folder graphical interfaces of modern operating systems....
A Phase Measurement Radio Positioning System for Indoor Use (1999)
Neil A. Gershenfeld, Arthur C. Smith, Matthew S. Reynolds, Matthew S. Reynolds
I present here the detailed design for a low frequency radio navigation system called the Building Positioning System (BPS). This system is designed to work indoors, where the microwave radio signals...
David R. Martinez, Arthur C. Smith, Tyler J. Moeller, Tyler J. Moeller
As field programmable gate array (FPGA) technology has steadily improved, FPGAs have become viable alternatives to other technology implementations for high-speed classes of digital signal processing...
Raw Architecture Workstation (1999)
Michael Bedford Taylor, Anant Agarwal, Arthur C. Smith, Michael Bedford Taylor
by
Robot Arm Control Exploiting Natural Dynamics (1999)
Rodney A. Brooks, Arthur C. Smith, Matthew M. Williamson, Matthew M. Williamson
Group blind digital signatures: Theory and applications (1999)
Ronald L. Rivest, Arthur C. Smith
Master of Science in Computer Science and Electrical Engineering In this thesis weintroduce a new cryptographic construct called a Group Blind Digital Signature. This construct combines the already...
Certifiedby......................................................... (1999)
Benjamin Eliot Greenwald, Saman Amarasinghe, Arthur C. Smith, Benjamin Eliot Greenwald
Accepted by::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: (1999)
Manolis Kamvysselis, Ovidiu Marina, Patrick H. Winston, Arthur C. Smith, Manolis Kamvysselis, Ovidiu Marina
Imagina: A Cognitive Abstraction Approach to Sketch-Based Image Retrieval by
Accepted by::::::::::::::::::::::::::::::::::::::::::::::::::::::: (1999)
Ilya Lisanskiy, David R. Karger, Arthur C. Smith, Ilya Lisanskiy
by
Flexible policy-directed code safety (1999)
David Evans, John V. Guttag, Arthur C. Smith, David E. Evans, David E. Evans
Capturing Application and Network Adaptivity: Time Variations and Adaptation Paths (1999)
Steven J. Bauer, John Wroclawski, Arthur C. Smith, Steven J. Bauer
Existing wireless networks provide a wide variety of service capabilities. Due to the inherent nature of wireless transmissions, these services are often characterized by high error rates, variable...
The Static Single Information Form (1999)
All Right Reserved, Martin Rinard, Arthur C. Smith, C. Scott Ananian, C. Scott Ananian, Submmitted To The
The Static Single Information (SSI) form is a compiler intermediate representation that allows ecient sparse implementations of predicated analysis and backward dataow algorithms. It possesses...
Certified by..................................................... (1998)
Junji Yamato, Rodney A. Brooks, Arthur C. Smith, Junji Yamato
by
A Highly Integrated Adiabatic Energy Recovery Digital to Analog Converter (1998)
M. Josephine Ammer, Thomas F. Knight, Arthur C. Smith, M. Josephine Ammer
A low-power high-resolution digital input display architecture has been developed which is scaleable to larger display resolutions and grayscale resolutions. The architecture uses parallel sampled...
Evaluating Intrusion Detection Systems: The (1998)
Arthur C. Smith, Kristopher Kendall, Kristopher Kendall
(DARPA). Opinions, interpretations, conclusions, and recommendations are those of the author and are not necessarily endorsed by DARPA.
Character Segmentation Heuristics of Check Amount Verification (1998)
Dr. Amar Gupta, Arthur C. Smith, Salman Amin Khan, Salman Amin Khan
Automatic check amount verification involves three basic steps: 1) finding the courtesy amount (the numerical amount) on the check, 2) segmenting that amount into its individual characters, and...
Fast Place and Route Approaches for FPGAs (1998)
Stephen A. Ward, Arthur C. Smith, Russell G. Tessier, Russell G. Tessier
the
Debugging multithreaded programs that incorporate userlevel locks (1998)
Charles E. Leiserson, Arthur C. Smith, Andrew F. Stark, Andrew F. Stark
requirements for the degrees of
Character Segmentation Heuristics of Check Amount Verification (1998)
Dr. Amar Gupta, Arthur C. Smith, Salman Amin Khan, Salman Amin Khan
Automatic check amount verification involves three basic steps: 1) finding the courtesy amount (the numerical amount) on the check, 2) segmenting that amount into its individual characters, and...
ParaSite: Mining the Structural Information on the World-Wide Web (1998)
Lynn Andrea Stein, Arthur C. Smith, Ellen Spertus, Ellen Spertus
The World-Wide Web is potentially the world's largest knowledge base but only if new information retrieval techniques are developed to take advantage of its unique characteristics, particularly...
A Java Implementation of Simple Distributed Security Infrastructure (1998)
Ronald L. Rivest, Arthur C. Smith, Alexander Morcos, Alexander Morcos
Two Java packages have been written which contain classes to implement S-expressions and Version 2.0 of the Simple Distributed Security Infrastructure (SDSI) specification. Another package has been...
A Framework for Non-Realistic Projections (1998)
Julie Dorsey, Arthur C. Smith, Jonathan Levene, Jonathan Levene
Over the last thirty years, most research e#orts in computer graphics have been directed towards producing photorealistic images. Photorealism, however, exhibits some very real shortcomings in...
Optimizing an Inverse Warper (1998)
Robert W. Marcato, Leonard Mcmillan, Arthur C. Smith
Traditionally, in the field of computer graphics, three-dimensional objects and scenes have been represented by geometric models. Image-based rendering is a powerful new approach to computer graphics...
Interactive Editing Tools for Image-Based Rendering Systems (1998)
Prof Julie Dorsey, Arthur C. Smith, Sudeep Rangaswamy, Sudeep Rangaswamy
We will describe a toolkit for editing 3D scenes in an image-based rendering system. The toolkit makes use of color, camera and depth information from a set of images to generate arbitrary viewpoints...
Compiling for Parallel Multithreaded Computation on Symmetric Multiprocessors (1998)
Arthur C. Smith, Andrew Shaw, Andrew Shaw
Shared-memory symmetric multiprocessors (SMP's) based on conventional microprocessors are by far the most common parallel architecture today, and will continue to be so for the forseeable...
Fast Place and Route Approaches for FPGAs (1998)
Stephen A. Ward, Arthur C. Smith, Russell G. Tessier, Russell G. Tessier
Optimizing an inverse warper (1998)
Leonard Mcmillan, Arthur C. Smith, Robert W. Marcato, Robert W. Marcato
Aggregation and Pricing in Internet Commerce (1998)
Joseph P. Bailey, Lee W. Mcknight, Erik Brynjolfsson, David D. Clark, Richard De Neufville, Arthur C. Smith, ...
Decentralizing UNIX abstractions in the exokernel architecture (1997)
M. Frans Kaashoek, Gregory R. Ganger, Dawson R. Engler, Arthur C. Smith, Héctor Manuel, Héctor Manuel, ...
Chairman, Departmental Committee on Graduate Students
A three-dimensional model of human lip motions trained from video (1997)
Alex P. Pentland, Arthur C. Smith, Sumit Basu, Sumit Basu
at the
An Optimized Hardware Architecture and Communication Protocol for Scheduled Communication (1997)
Stephen A. Ward, Arthur C. Smith, David Shoemaker, David Shoemaker
Managing communications in parallel processing systems has proven to be one of the most critical problems facing designers. As processor speeds continue to increase, communication latency and...
Experimental Study of Minimum Cut Algorithms (1997)
David R. Karger, Arthur C. Smith, Matthew S. Levine, Matthew S. Levine
Relieving hot spots on the world wide web (1997)
David R. Karger, Arthur C. Smith, Rina Panigrahy, Rina Panigrahy
at the
Managing Scheduled Routing With A High-Level Communications Language (1997)
Christopher D. Metcalf, Stephen A. Ward, Arthur C. Smith
Language by
Bongo: A Kids' Programming Environment for Creating Video Games on the Web (1997)
Mitchel Resnick, Arthur C. Smith, Andrew B. Begel, Andrew B. Begel
In recent years, a growing number of researchers and educators have argued that design projects provide rich opportunities for learning. To support this type of learning, educational researchers have...
Hierarchical Duration Modelling for a Speech Recognition System (1997)
Stephanie Seneff, Arthur C. Smith, Grace Chung, Grace Chung
Durational patterns of phonetic segments and pauses convey information about the linguistic content of an utterance. Most speech recognition systems grossly underutilize the knowledge provided by...
Tadpole: An Off-line Router for the NuMesh System (1997)
Stephen A. Ward, Arthur C. Smith, Patrick Joseph Lopresti, Patrick Joseph Lopresti
A framework for analyzing off-line scheduling and routing of fixed-period recurring communication requirements in a multicomputer interconnect is presented. This framework, which is based on...
Passive wearable electrostatic tags (1997)
Neil A. Gershenfeld, Arthur C. Smith, Babak Nivi, Babak Nivi
PENNY: A Programming Language and Compiler for the Context (1997)
Fortunato Pena, Michael D. Siegel, Arthur C. Smith, Fortunato Pena
A Planner/Optimizer/Executioner for Context Mediated Queries (1997)
Ko Duodu Fynn, Arthur C. Smith, Ko Duodu Fynn
by
Education and the Environment (1992)
Howard E. Shrobe, Arthur C. Smith, Katherine E. Koch, Katherine E. Koch
In a human-centered computing environment, users interact with their computers in a natural way, including use of speech and gestures. In order for the computers to understand the user’s commands,...
In Integrated Services Networks (1992)
Abhay Kumar, J. Parekh, Robert G. Gallager, Arthur C. Smith, Abhay Kumar, J. Parekh
the
The real-time cost of timing uncertainty: Consensus and failure detection (1991)
Nancy A. Lynch, Arthur C. Smith, Stephen J. Ponzio, Stephen J. Ponzio
Certi ed by
Barbara Liskov, Arthur C. Smith, Raymie Stata, Raymie Stata, Raymie Stata
requirements for the degrees of Bachelor of Science and Master of Science in Electrical Engineering and Computer Science This thesis proposes ideas for designing le system software for large,...
Cache Coherence Protocols for Large-Scale Multiprocessors (1990)
Anant Agarwal, Arthur C. Smith, David Lars Chaiken, David Lars Chaiken
in partial ful�llment of the requirements for the degree of
Efficient Interconnection Schemes for VLSI and Parallel Computation (1989)
Charles E. Leiserson, Arthur C. Smith, Ronald I. Greenberg, Ronald I. Greenberg
This thesis is primarily concerned with two problems of interconnecting components in VLSI technologies. In the first case, the goal is to construct efficient interconnection networks for...
Using Cycles and Scaling in Parallel Algorithms (1989)
David Shmoys, Arthur C. Smith, Clifford Stein, Clifford Stein
We introduce the technique of decomposing an undirected graph by finding a maximal set of edge-disjoint cycles. We give a parallel algorithm to find this decomposition in O(log n) time on (m + n)=...
Lynne Michelle Brocco, Lynne Michelle Brocco, Il Al, Jonathan Allen, Arthur C. Smith, Lynne Michelle Brocco
A macromodeling and timing simulation technique is presented that allows fast, accurate delay calculations for CMOS circuits. This method is well suited for delay calculations of regular structure...
Simulating Applicative Architectures on the Connection Machine (1986)
Jack B. Dennis, Arthur C. Smith, Bradley Clair Kuszmaul, Bradley Clair Kuszmaul
: The connection machine (CM) is a highly parallel single instruction multiple data (SIMD) computer, which has been described as `a huge piece of hardware looking for a programming...