Submissions from 2002
Decision-theoretic control of planetary rovers, S Zilberstein, R Washington, DS Bernstein, and AI Mouaddib
Submissions from 2001
Channelization problem in large scale data dissemination, M Adler, ZH Ge, JF Kurose, D Towsley, and S Zabele
"An n! Lower bound on formula size", M Adler and N Immerman
Evaluating combinations of ranked lists and visualizations of inter-document similarity, James Allan
The Crane Beach conjecture, DAM Barrington, N Immerman, C Lautemann, N Schweikardt, and D Therien
On the complexity of some problems on groups input as multiplication tables, DM Barrington, P Kadau, KJ Lange, and P McKenzie
Cheat-proof playout for centralized and distributed online games, NE Baughman and BN Levine
Composing high-performance memory allocators, ED Berger, BG Zorn, and KS McKinley
A novel loss indication filtering approach for multicast congestion control, S Bhattacharyya, D Towsley, and J Kurose
A Visual Query Language for Relational Knowledge Discovery, H. Blau
On the bisection width and expansion of butterfly networks, CF Bornstein, A Litman, BM Maggs, RK Sitaraman, and T Yatzkar
Deadline fair scheduling: Bridging the theory and practice of proportionate fair scheduling in multiprocessor systems, A Chandra, M Adler, and P Shenoy
FLAVERS: a Finite State Verification Technique for Software Systems, Jamieson M. Cobleigh
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification, Jamieson M. Cobleigh
Developing haptic and visual perceptual categories for reaching and grasping with a humanoid robot, J Coelho, J Piater, and R Grupen
On the benefit of supporting virtual channels in wormhole routers, RJ Cole, BM Maggs, and RK Sitaraman
Dissemination of dynamic data, P Deolasee, A Katkar, A Panchbudhe, K Ramamritham, and P Shenoy
Using Types to Analyze and Optimize Object-Oriented Programs, Amer Diwan, Kathryn S. McKinley, and J. Eliot B. Moss
On the unusual effectiveness of logic in computer science, JY Halpern, R Harper, N Immerman, PG Kolaitis, MY Vardi, and V Vianu
Evaluation of a Novel Two-Step Server Selection Metric, Katrina M. Hanna, Nandini Natarajan, and Brian Neil Levine
LAO*: A heuristic search algorithm that finds solutions with loops, EA Hansen and S Zilberstein
Monitoring and control of anytime algorithms: A dynamic programming approach, EA Hansen and S Zilberstein
Number of variables is equivalent to space, N Immerman, JF Buss, and DAM Barrington
Automated state abstraction for options using the U-Tree algorithm, A Jonsson and AG Barto
LANGUAGE MODELS FOR HIERARCHICAL SUMMARIZATION (PROPOSAL FOR DISSERTATION), Dawn Lawrie
A study of networks simulation efficiency: Fluid simulation vs. packet-level simulation, BY Liu, DR Figueiredo, Y Guo, J Kurose, and D Towsley
On the impact of concurrent downloads, Y Liu, WB Gong, and P Shenoy
Accelerating Reinforcement Learning through the Discovery of Useful Subgoals, Amy McGovern and Andrew G. Barto
Automatic Discovery of Subgoals in Reinforcement Learning using Diverse Density, Amy McGovern and Andrew G. Barto
Frameworks for reasoning about agent based systems, LJ Osterweil and LA Clarke
New software engineering faculty symposium, L Osterweil, G Silberman, and K Wong
Dissemination of dynamic data on the Internet, K Ramamritham, P Deolasee, A Katkar, A Panchbudhe, and P Shenoy
Bayesian Clustering by Dynamics, Marco Ramoni, Paola Sebastiani, and Paul Cohen
A study of proactive hybrid FEC/ARQ and scalable feedback techniques for reliable, real-time multicast, D Rubenstein, J Kurose, and D Towsley
Responder anonymity and anonymous peer-to-peer file sharing, V Scarlata, BN Levine, and C Shields
The Agent-Based Approach: A New Direction for Computational Models of Development, Matthew Schlesinger and Domenico Parisi
Maintaining Mutual Consistency for Cached Web Objects, Bhuvan Urgaonkar, Anoop George Ninan, Mohammad Salimullah Raunak, Prashant Shenoy, and Krithi Ramamritham
An agent infrastructure to build and evaluate multi-agent systems: The Java Agent Framework and Multi-Agent System Simulator, R Vincent, B Horling, and V Lesser
Design-To-Criteria scheduling: Real-time agent control, T Wagner and V Lesser
Integrating high-level and detailed agent coordination into a layered architecture, XQ Zhang, A Raja, B Lerner, V Lesser, L Osterweil, and T Wagner
Submissions from 2000
Software Mode Changes for Continuous Motion Tracking, E. G. Araujo
Hoard: A scalable memory allocator for multithreaded applications, ED Berger, KS McKinley, RD Blumofe, and PR Wilson
An adaptive algorithm for measurement-based admission control in integrated services packet networks, C Casetti, J Kurose, and D Towsley
Surplus Fair Scheduling: A Proportional-Share CPU Scheduling Algorithm for Symmetric Multiprocessors, Abhishek Chandra, Micah Adler, Pawan Goyal, and Prashant Shenoy
Verifying Properties of Process Definitions, Jamieson M. Cobleigh
Tree canonization and transitive closure, E Etessami and N Immerman
Tracing patterns and attention: Humanoid robot cognition, LM Garcia, AAF Oliveira, RA Grupen, DS Wheeler, and AH Fagg
A value-driven system for autonomous information gathering, J Grass and S Zilberstein
Using self-diagnosis to adapt organizational structures, B Horling, B Benyo, and V Lesser
MDP routing for multi-rate loss networks, RH Hwang, JF Kurose, and D Towsley
Multiple comparisons in induction algorithms, DD Jensen and PR Cohen
Scalable reliable multicast using multiple multicast channels, SK Kasera, G Hjalmtysson, DF Towsley, and JF Kurose
A Model for Compound Type Changes Encountered in Schema Evolution, Barbara Staudt Lerner
BIG: An agent for resource-bounded information gathering and decision making, V Lesser, B Horling, F Klassner, A Raja, C Wagner, and SXQ Zhang
Resource-bounded searches in an information marketplace, V Lesser, B Horling, A Raja, XQ Zhang, and T Wagner
A system to place observers on a polyhedral terrain in polynomial time, M Marengoni, BA Draper, A Hanson, and R Sitaraman
Modeling TCP reno performance: A simple model and its empirical validation, J Padhye, V Firoiu, DF Towsley, and JF Kurose
Equation-Based Congestion Control for Unicast Applications, Jitendra Padhye
Distinctive features should be learned, JH Piater and RA Grupen
Feature learning for recognition with Bayesian networks, JH Piater and RA Grupen
Constructive Feature Learning and the Development of Visual Expertise, Justus H. Piater
Symmetries in world geometry and adaptive system behaviour, R Popplestone and RA Grupen
Eligibility Traces for Off-Policy Policy Evaluation, Doina Precup, Richard S. Sutton, and Satinder Singh
User agent migration policies in wireless networks, R Ramjee, TF La Porta, J Kurose, and D Towsley
Combining Reinforcement Learning with a Local Control Algorithm, Jette Randløv
The JSPIN experience - Exploring the seamless persistence option for Java (TM), JVE Ridgway and JC Wileden
Traffic models and admission control for variable bit rate continuous media transmission with deterministic service, S Sahu, V Firoiu, D Towsley, and J Kurose
A quantitative study of Differentiated Services for the internet, S Sahu, D Towsley, and J Kurose
Online Smoothing of Variable-Bit-Rate Streaming Video, S Sen, JL Rexford, JK Dey, JF Kurose, and DF Towsley
Experiences in simulating multi-agent systems using T AE MS, R Vincent, B Horling, and V Lesser
Investigating interactions between agent conversations and agent control components, T Wagner, B Benyo, V Lesser, and P Xuan
Justifying multiply sectioned Bayesian networks, Y Xiang and V Lesser
Communication in multi-agent Markov decision processes, P Xuan, V Lesser, and S Zilberstein
Optimal scheduling of progressive processing tasks, S Zilberstein and AI Mouaddib
Submissions from 1999
Bounded Depth Arithmetic Circuits: Counting and Closure, Eric Allender
Lower bounds for modular counting by circuits with modular gates, DAM Barrington and H Straubing
A cerebellar model of timing and prediction in the control of reaching, AG Barto, AH Fagg, N Sitkoff, and JC Houk
Natural Semantics for a Mobile Robot, Paul R. Cohen and Carole R. Beal
Study of Lambda(0) polarization in four different exclusive pp reactions at 27.5 GeV/c, J Felix, C Avilez, DC Christian, MD Church, M Forbush, EE Gottschalk, G Gutierrez, EP Hartouni, SD Holmes, FR Huson, DA Jensen, BC Knapp, MN Kreisler, G Moreno, J Uribe, BJ Stern, MHLS Wang, A Wehmann, LR Wiencke, and JT White
Performance evaluation of reliable multicast communication protocols under heterogeneous transmission delay circumstances, T Hashimoto, M Yamamoto, H Ikeda, and JF Kurose
Using Self-Diagnosis to Adapt Organizational Structures, Bryan Horling, Brett Benyo, and Victor Lesser
Coordinating Agent Activities in Knowledge Discovery Processes, David Jensen
The Impact of Multicast Layering on Network Fairness, Jim Kurose
Cooperative multiagent systems: A personal view of the state of the art, VR Lesser
Strategy-based interactive cluster visualization for information retrieval, Anton Leuski and James Allan
Source time scale and optimal buffer/bandwidth tradeoff for heterogeneous regulated traffic in a network node, F Lo Presti, ZL Zhang, J Kurose, and D Towsley
Simple algorithms for routing on butterfly networks with bounded queues, BM Maggs and RK Sitaraman
Scheduling Straight-Line Code Using Reinforcement Learning and Rollouts, Amy McGovern, Eliot Moss, and Andrew G. Barto
An efficient algorithm for computing MHP information for concurrent Java programs, G Naumovich, GS Avrunin, and LA Clarke
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs, Gleb Naumovich
Using emulations to enhance the performance of parallel architectures, B Obrenic, MC Herbordt, AL Rosenberg, and CC Weems
Continuous-media courseware server: A study of client interactions, J Padhye and J Kurose
Modeling resources for activity coordination and scheduling, RM Podorozhny, BS Lerner, and LJ Osterweil
Learning Situation-Specific Coordination in Cooperative Multi-agent Systems, M. V. Nagendra Prasad and Victor R. Lesser
Toward class evolution in persistent Java (TM), JVE Ridgway and JC Wileden
Guidelines for Data-Parallel Cycle-Stealing in Networks of Workstations, II: On Maximizing Guaranteed Output, Arnold L. Rosenberg
Improving Reliable Multicast Using Active Parity Encoding Services (APES), Dan Rubenstein
Design Considerations for Integrated Proxy Servers, Sambit Sahu
Optimal control methods for simulating the perception of causality in young infants, M Schlesinger and A Barto