2002 Proceedings

Person Tracking Using Audio-Video Sensor Fusion
--Neal Checka and Kevin Wilson

Connection Oriented Routing Environment (CORE): A Generalized Device Interconnect
--Ang-Chih Kao and Jorge Ortiz

Semantic Networks for Knowledge Representation in an IE
--Stephen Peters

Basic Concepts for Managing Semi-structured Information in Haystack
--Dennis Quan, David F. Huynh, Vineet Sinha, Marina Zhurakhinskaya, and David Karger

The Semantic User Interface Paradigm for Presenting Semi-structured Information in Haystack
--David F. Huynh, Dennis Quan, Vineet Sinha, and David Karger

A Continuum Between Discriminant and Model-Based Classifiers
--Lawrence Shih, Yu-han Chang, Jason D. M. Rennie, and David Karger

Enabling Internet Suspend/Resume with Session Continuations
--Alex Snoeren

Categories of Relative Motion
--Kinh Tieu

Perceptually Based Learning of Shape Descriptions From One Example
--Olga Veselova

Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving
--Toh Ne Win and Michael Ernst

An Interactive Electronic Flight Progress Strip Prototype
--Nathan Doble

Multi-Domain Sketch Recognition
--Tracy Hammond, Metin Sezgin, Olya Veselova, Aaron Adler, Michael Oltmans, Christine Alvarado, Rebecca Hitchcock

A Domain Description Language for Sketch Recognition
--Tracy Hammond

Safe Concurrent Programming in Java
--Chandrasekhar Boyapati, Robert Lee, Martin Rinard

Supporting Informal Computer- Human Collaboration: the K22 Kiosk Platform
--Max Van Kleek

Eprof: An Energy Profiler for the iPaq
--Kelly Koskelin, Kenneth Barr, Krste Asanovic

Document Clustering for Distributed Fulltext Search
--Jinyang Li, Robert Morris

PAC: Location Aware Access Control for Pervasive Computing Environments
--Nikolaos Michalakis

Adenine: A Metadata Programming Language
--Dennis Quan, David F. Huynh, Vineet Sinha, David Karger

Metadata- supported Agent Infrastructure
--Dennis Quan, David F. Huynh, Vineet Sinha, David Karger

Semantic Navigation Through Semi-structured Information
--Vineet Sinha, Dennis Quan, David F. Huynh, David Karger

FeatureSets: An Open-Ended Typing and Inference System for Open Pervasive Computing Compatible with DAML+OIL
--David Saff

Generating Domain Specific Sketch Recognizers from Object Descriptions
Tevfik Metin Sezgin

Detecting Malicious Nodes in Chord
--Emil Sit

Adaptive Mid-level Power Management for Wireless Devices
--Carl Steinbach

Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving
--Toh Ne Win, Michael Ernst

MIT Oxygen Alliance MIT Computer Science and Artificial Intelligence Laboratory The Stata Center, Builing 32, Cambridge, MA 02139 Revised Monday, 19-Jul-2004 17:09:24 EDT