Submissions from 2004
Going Beyond the Data: Empirical Validation Leading to Grounded Theory, Craig Schreiber and Kathleen Carley
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds, Sanjit A. Seshia and Randal E. Bryant
Improving System Dependability with Functional Alternatives, Charles P. Shelton and Philip Koopman
Using Semantic Web Services for Context-Aware Applications, Mithun Sheshagiri, Norman Sadeh, and Fabien L. Gandon
A Multiparty Computation for Randomly Ordering Players and Making Random Selections, Latanya Sweeney and Michael Shamos
HandShot: A Fast 3-D Imaging System for Capturing Fingerprints, Palm Prints and Hand Geometry, Latanya Sweeney, V. Weedn, and Ralph Gross
Crucial Factors in Cooperative Multirobot Learning, Poj Tangamchit, John M. Dolan, and Pradeep Khosla
Learning to Navigate Web Forms, Anthony Tomasic, William Cohen, Susan Fussell, John Zimmerman, Marina Kobayashi, Einat Minkov, Nathan Halstead, Ravi Mosur, and Jason Hum
What IT Can and Cannot do for the Power Sector and Distribution in India: Link to Reforms, Incentives, and Management, Rahul Tongia
DyNetML : interchange format for rich social network data, Maksim Tsvetovat, Jeff Reminga, and Kathleen M. Carley
TeleBYTE: Remote Controlled Electronic Switching System, Parlikar Alok Ulhas, Shubham Shrestha Agrwal, Nishant Shrivastava, Varun Khullar, and Gora Nandi
Writing with a Joystick: A Comparison of Date Stamp, Selection Keyboard, and EdgeWrite, Jacob Wobbrock, Brad Myers, and Htet Htet Aung
Submissions from 2003
Modeling Rate-dependent Hysteresis in Piezoelectric Actuator, Wei Tech Ang, Francisco Alija Garmón, Pradeep Khosla, and Cameron N. Riviere
Design of All-Accelerometer Inertial Measurement Unit for Tremor Sensing in Hand-held Microsurgical Instrument, Wei Tech Ang, Pradeep Khosla, and Cameron N. Riviere
The trading agent competition supply chain management game, Raghu Arunachalam
Modeling the Structure and Effectiveness of Intelligence Organizations: Dynamic Information Flow Simulation, Robert Behrman and Kathleen Carley
Estimating Cloth Simulation Parameters from Video, Kiran S. Bhat, Christopher D. Twigg, Jessica K. Hodgins, Pradeep Khosla, Zoran Popovic, and Steven M. Seitz
Critical Message Integrity Over A Shared Network, Jennifer Black and Philip Koopman
Software Defect Masquerade Faults in Distributed Embedded Systems, Jennifer Black and Philip Koopman
Reducing Boundary Friction Using Translation-Fragment Overlap, Ralf D. Brown, Rebecca Hutchinson, Paul N. Bennett, Jaime G. Carbonell, and Peter J. Jansen
Formal Methods for Functional Verification, Randal E. Bryant and James H. Kukula
Convergence Testing in Term-Level Bounded Model Checking, Randal E. Bryant, Shuvendu K. Lahiri, and Sanjit A. Seshia
Enabling Transnational Collection, Notification, and Sharing of Information, Violetta Cavalli-Sforza and Jaime G. Carbonell
Document Classification of Protein Sequences, Betty Yee Man Cheng, Jaime G. Carbonell, and Judith Klein-Seetharaman
‘I Didn’t Buy it for Myself’ Privacy and Ecommerce Personalization, Lorrie Faith Cranor
Estimating the Shape of Covert Networks, Paul Fischbeck, Matthew Dombroski, and Kathleen M. Carley
A Semantic eWallet to Reconcile Privacy and Context Awareness, Fabien L. Gandon and Norman Sadeh
Semantic Web Technologies to Reconcile Privacy and Context Awareness, Fabien L. Gandon and Norman Sadeh
Semantic web technologies to reconcile privacy and context awareness, Fabien L. Gandon and Norman Sadeh
Rate-dependent inverse hysteresis feedforward controller for microsurgical tool, F. Alija Garmón, Wei Tech Ang, Pradeep Khosla, and Cameron N. Riviere
Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis, Amit Goel and Randal E. Bryant
An Introduction to the Literature on Online Reputation Systems for the MMAPPS project, James Howison
Maximal Lattice Overlap in Example-Based Machine Translation, Rebecca Hutchinson, Paul N. Bennett, Jaime G. Carbonell, Peter Jansen, and Ralf D. Brown
Guided Symbolic Universal Planning, Rune M. Jensen, Manuela M. Veloso, and Randal E. Bryant
A New Boosting Algorithm Using Input-Dependent Regularizer, Rong Jin, Yan Liu, Luo Si, Jaime G. Carbonell, and Alexander G. Hauptmann
Elements of the Self-Healing System Problem Space, Philip Koopman
Deductive Verification of Advanced Out-of-Order Microprocessors, Shuvendu K. Lahiri and Randal E. Bryant
A Symbolic Approach to Predicate Abstraction, Shuvendu K. Lahiri, Randal E. Bryant, and Byron Cook
Problems Facing Group Membership Specifications for X-by-Wire Protocols, Elizabeth Latronico
A Period-Based Group Membership Strategy for Nodes of TDMA Networks, Elizabeth Latronico and Philip Koopman
A Pairwise Ensemble Approach for Accurate Genre Classification, Yan Liu, Jaime G. Carbonell, and Rong Jin
Prediction of Anti-parallel and Parallel Beta-sheets using Conditional Random Fields, Yan Liu, Jaime G. Carbonell, Judith Klein-Seetharaman, and Vanathi Gopalakrishnan
Video Editing Using Lenses and Semantic Zooming, A. Chris Long, Brad Myers, Juan Casares, Scott Stevens, and Albert Corbett
Coordinating User and Device Behavior in Wireless Grids, Lee McKnight, William Lehr, and James Howison
Handheld Devices for Control, Brad Myers, Jeffrey Nichols, Jacob Wobbrock, Kevin Litwack, Michael Higgins, Joseph Hughes, Thomas Harris, Roni Rosenfeld, and Mathilde Pignol
Preserving Privacy by De-identifying Facial Images, Elaine Newton, Latanya Sweeney, and Bradley Malin
Automatically Generating Interfaces for Multi-Device Environments, Jeffrey Nichols and Brad Myers
Studying The Use of Handhelds to Control Smart Appliances, Jeffrey Nichols and Brad Myers
The JAVELIN Question-Answering System at TREC 2003: A Multi-Strategy Approach with Dynamic Planning, Eric H. Nyberg, Teruko Mitamura, James P. Callan, Jaime G. Carbonell, Robert Frederking, and Kevyn Collins-Thompson
Time is Not Money: The Case for Multi-dimensional Accounting in Value-based Software Engineering, Vahe Poladian, Shawn Butler, Mary Shaw, and David Garlan
Learning to Detect Partially Labeled People, Yaron Rachlin, John M. Dolan, and Pradeep Khosla
Eliciting User Expectations for Data Behavior via Invariant Templates, Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, and Christos Faloutsos
Agent-based e-Supply Chain Decision Support, Norman Sadeh, David W. Hildum, and Dag Kjenstad
Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods, Sanjit A. Seshia and Randal E. Bryant
Writing Good Software Engineering Research Papers, Mary Shaw
Writing Good Software Engineering Research Papers, Mary Shaw
CourseForges: Open Source Curriculum Design for Value-Based Software Engineering, Mary Shaw, Shawn Butler, Hakan Erdogmus, and Klaus Schmid
Using Architectural Properties to Model and Measure Graceful Degradation, Charles Shelton and Philip Koopman
A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems, Charles Shelton, Philip Koopman, and William Nace
Coordinating Multi-Attribute Reverse Auctions Subject to Temporal and Capacity Constraints, Jiong Sun and Norman Sadeh
Multi-Attribute Supply Chain Negotiation: Coordinating Reverse Auctions Subject to Finite Capacity Considerations, Jiong Sun and Norman Sadeh
Finding lists of people on the Web, Latanya Sweeney
Locating Lists of People on the Web: RosterFinder, Latanya Sweeney
Navigating computer science research through waves of privacy concerns : discussions among computer scientists at Carnegie Mellon University, Latanya Sweeney
Navigating Computer Science Research Through Waves of Privacy Concerns: Discussions among Computer Scientists at Carnegie Mellon University, Latanya Sweeney
That's AI? A History and Critique of the Field, Latanya Sweeney
Crucial Factors Affecting Cooperative Multirobot Learning, Poj Tangamchit, John M. Dolan, and Pradeep Khosla
Crucial Factors Affecting Decentralized Multirobot Learning in an Object Manipulation Task, Poj Tangamchit, John M. Dolan, and Pradeep Khosla
Effective Use of Boolean Satisfiability Procedures in the Formal Verification of Superscalar and VLIW Microprocessors, Miroslav N. Velev and Randal E. Bryant
Submissions from 2002
Assistive Human-Machine Interfaces via Artificial Neural Netwoks, Wei Tech Ang and Cameron N. Riviere
Jini Meets Embedded Control Networking: a case study in portability failure, Meredith Beveridge and Philip Koopman
Modeling and Verifying Systems using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions, Randal E. Bryant, Shuvendu K. Lahiri, and Sanjit A. Seshia
Incorporating Nontechnical Attributes in Multi-attribute Analysis for Security, Shawn Butler and Mary Shaw
Automatic Rule Learning for Resource-Limited MT, Jaime G. Carbonell, Katharina Probst, Erik Peterson, Christian Monson, Alon Lavie, Ralf D. Brown, and Lori Levin
Simplifying Video Editing with Intelligent Interaction, Juan Casares, Brad Myers, A. Chris Long, Rishi Bhatnagar, Scott Stevens, Laura Dabbish, and Albert Corbett
Robust Software – No More Excuses, John DeVale and Philip Koopman
Comparative ngram analysis of whole-genome sequences, M. Ganapathiraju, D. Weisser, R. Rosenfeld, Jaime G. Carbonell, R. Reddy, and Judith Klein-Seetharaman
An Introduction to the e-XML Data Integration Suite, Georges Gardarin, Antoine Mensch, and Anthony Tomasic
Interactive Multi-Modal Robot Programming, Soshi Iba, Christiaan J.J. Paredis, and Pradeep Khosla
An Efficient BDD-Based A* Algorithm, Rune M. Jensen, Randal E. Bryant, and Manuela M. Veloso
32-Bit Cyclic Redundancy Codes for Internet Applications, Philip Koopman
What’s Wrong With Fault Injection As A Benchmarking Tool?, Philip Koopman
Using Architectural Properties to Model and Measure System-Wide Graceful Degradation, Philip Koopman and Charles Shelton
Modeling and Verification of Out-of-Order Processors in UCLID, Shuvendu K. Lahiri, Sanjit A. Seshia, and Randal E. Bryant
Data Collection and Language Technologies for Mapudungun, Lori Levin, Rodolfo Vega, Jaime G. Carbonell, Ralf D. Brown, Alon Lavie, Eliseo Cañulef, and Carolina Huenchullan
The Potential for Synergy Between Certification and Insurance, Paul Luo Li, Mary Shaw, Kevin Stolarick, and Kurt Wallnau
Inferring Genotype from Clinical Phenotype through a Knowledge Based Algorithm, Bradley Malin and Latanya Sweeney
Locating and Accessing Data Repositories with WebSemantics, George A. Mihaila, Louiqa Raschid, and Anthony Tomasic
Mobile Devices for Control, Brad Myers
Flexi-modal and Multi-Machine User Interfaces, Brad Myers, Robert Malkin, Michael Bett, Alex Waibel, Ben Bostwick, Robert Miller, Jie Yang, Matthias Denecke, Edgar Seemann, Jie Zhu, Choon Hong Peck, Dave Kong, Jeffrey Nichols, and Bill Scherlis
Communication Ubiquity Enables Ubiquitous Control, Brad Myers and Jeffrey Nichols
Using Handhelds to Help People with Motor Impairments, Brad Myers, Jacob Wobbrock, Sunny Yang, Brian Yeung, Jeffrey Nichols, and Robert Miller
Requirements for Automatically Generating Multi-Modal Interfaces for Complex Appliances, Jeffrey Nichols, Brad Myers, Thomas Harris, Roni Rosenfeld, Stefanie Shriver, Michael Higgins, and Joseph Hughes
The JAVELIN Question-Answering System at TREC 2002, Eric H. Nyberg, Teruko Mitamura, Jaime G. Carbonell, James P. Callan, and Kevyn Collins-Thompson
Using HCI Techniques to Design a More Usable Programming System, John Pane, Brad Myers, and Leah Miller
Agile Methodologies and Process Discipline, Mark C. Paulk
Benchmarking Semantic Availability of Dynamic Data Feeds, Orna Raz, Philip Koopman, and Mary Shaw
Semantic Anomaly Detection in Online Data Sources, Orna Raz, Philip Koopman, and Mary Shaw
MyCampus: An Agent-Based Environment for Context-Aware Mobile Services, Norman Sadeh, Enoch Chan, and Linh Van
An Open Agent Environment for Context-Aware M-Commerce, Norman Sadeh, Ting-Chak Enoch Chan, Linh Van, OhByung Kwon, and Kazuaki Takizawa