Follow

Submissions from 2004

PDF

A Prototype System for Transnational Information Sharing and Process Coordination, Violetta Cavalli-Sforza, Jaime G. Carbonell, and Peter J. Jensen

PDF

AutoMap 1.2 : extract, analyze, represent, and compare mental models from texts, Jana Diesner and Kathleen M. Carley

PDF

Predictive Robot Programming: Theoretical and Experimental Analysis, Kevin R. Dixon, John M. Dolan, and Pradeep Khosla

Link

Gestion de Connaissances Personnelles et Contextuelles et Respect de la Vie Privée, Fabien L. Gandon and Norman Sadeh

PDF

Hypothesis Formation and Tracking in ARGUS, B. Cenk Gazen, Jaime G. Carbonell, Philip J. Hayes, Chun Jin, and Eugene Fink

Link

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Function Vectors, Amit Goel and Randal E. Bryant

PDF

Studying free software with free software and free methods, James Howison

PDF

Why can’t I manage academic papers like MP3s? The evolution and intent of metadata standards, James Howison and Abby Goodrum

PDF

Interactive Multi-Modal Robot Programming, Soshi Iba, Christiaan J.J. Paredis, and Pradeep Khosla

PDF

Six Learning Barriers in End-User Programming Systems, Andrew Ko, Brad Myers, and Htet Htet Aung

PDF

Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks, Philip Koopman and Tridib Chakravarty

Link

Constructing Quantified Invariants via Predicate Abstraction, Shuvendu K. Lahiri and Randal E. Bryant

Link

Indexed Predicate Discovery for Unbounded System Verification, Shuvendu K. Lahiri and Randal E. Bryant

Link

Revisiting Positive Equality, Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, and Muralidhar Talupur

PDF

Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees, Elizabeth Latronico, Paul Miner, and Philip Koopman

PDF

A Trainable Transfer-based Machine Translation Approach for Languages with Limited Resources, Alon Lavie, Katharina Probst, Erik Peterson, Stephan Vogel, Lori Levin, Ariadna Font Llitjós, and Jaime G. Carbonell

PDF

Instance-Based Question Answering: A Data Driven Approach, Lucian Vlad Lita and Jaime G. Carbonell

Link

Learning Semantically Robust Rules from Data, Yiheng Li and Latanya Sweeney

PDF

The Translation Correction Tool : English-Spanish User Studies, Ariadna Font Llitjós and Jaime G. Carbonell

PDF

Error Analysis of Two Types of Grammar for the Purpose of Automatic Rule Refinement, Ariadna Font Llitjós, Katharina Probst, and Jaime G. Carbonell

PDF

The Economic Incentives of Providing Network Security Services on the Internet Infrastructure, Thomas A. Longstaff, Li-Chiou Chen, and Kathleen M. Carley

PDF

Empirical Evaluation of Defect Projection Models for Widely-deployed Production Software Systems, Paul Luo Li, Mary Shaw, James Herbsleb, Bonnie Ray, and P. Santhanam

Link

How (Not) to Protect Genomic Data Privacy in a Distributed Network: Using Trail Re-identification to Evaluate and Design Privacy Protection Systems, Bradley Malin and Latanya Sweeney

PDF

Representing User Workarounds As A Component Of System Dependability, Christopher Martin and Philip Koopman

Link

Context-aware computing using a shared contextual information service, Nancy Miller, Glenn Judd, Urs Hengartner, Fabien L. Gandon, Peter Steenkiste, I-Heng Meng, Ming-Whei Feng, and Norman Sadeh

PDF

Unsupervised Induction of Natural Language Morphology Inflection Classes, Christian Monson, Alon Lavie, Jaime G. Carbonell, and Lori Levin

PDF

Data Collection and Analysis of Mapudungun Morphology for Spelling Correction, Christian Monson, Lori Levin, Rodolfo Vega, Ralf Brown, Ariadna Font Llitjós, Alon Lavie, Jaime G. Carbonell, Eliseo Cañulef, and Rosendo Huisca

PDF

Optimal Sensor Placement for Cooperative Distributed Vision, Luis E. Navarro-Serment, John M. Dolan, and Pradeep Khosla

PDF

Report on the INCITS/V2 AIAP-URC Standard, Jeffrey Nichols and Brad Myers

PDF

Describing Appliance User Interfaces Abstractly with XML, Jeffrey Nichols, Brad Myers, Kevin Litwack, Michael Higgins, Joseph Hughes, and Thomas Harris

PDF

Surviving the Quagmire of Process Models, Integrated Models, and Standards, Mark C. Paulk

Link

Dynamic Configuration of Resource-Aware Services, Vahe Poladian, João Sousa, David Garlan, and Mary Shaw

PDF

Sensing Capacity for Target Detection, Yaron Rachlin, Rohit Negi, and Pradeep Khosla

Link

Automated Assistance for Eliciting User Expectations, Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, and Christos Faloutsos

Link

Detecting Semantic Anomalies in Truck Weigh-In-Motion Traffic Data Using Data Mining, Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, and Christos Faloutsos

PDF

Going Beyond the Data: Empirical Validation Leading to Grounded Theory, Craig Schreiber and Kathleen Carley

Link

Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds, Sanjit A. Seshia and Randal E. Bryant

Link

Abstraction: Imposing Order on Complexity in Software Design, Mary Shaw

Link

Computer Science: Reflections on the Field, Reflections from the Field, Mary Shaw

PDF

Improving System Dependability with Functional Alternatives, Charles P. Shelton and Philip Koopman

Link

Using Semantic Web Services for Context-Aware Applications, Mithun Sheshagiri, Norman Sadeh, and Fabien L. Gandon

Link

A Multiparty Computation for Randomly Ordering Players and Making Random Selections, Latanya Sweeney and Michael Shamos

Link

HandShot: A Fast 3-D Imaging System for Capturing Fingerprints, Palm Prints and Hand Geometry, Latanya Sweeney, V. Weedn, and Ralph Gross

PDF

Crucial Factors in Cooperative Multirobot Learning, Poj Tangamchit, John M. Dolan, and Pradeep Khosla

Link

Learning to Navigate Web Forms, Anthony Tomasic, William Cohen, Susan Fussell, John Zimmerman, Marina Kobayashi, Einat Minkov, Nathan Halstead, Ravi Mosur, and Jason Hum

Link

What IT Can and Cannot do for the Power Sector and Distribution in India: Link to Reforms, Incentives, and Management, Rahul Tongia

PDF

DyNetML : interchange format for rich social network data, Maksim Tsvetovat, Jeff Reminga, and Kathleen M. Carley

Link

TeleBYTE: Remote Controlled Electronic Switching System, Parlikar Alok Ulhas, Shubham Shrestha Agrwal, Nishant Shrivastava, Varun Khullar, and Gora Nandi

PDF

Writing with a Joystick: A Comparison of Date Stamp, Selection Keyboard, and EdgeWrite, Jacob Wobbrock, Brad Myers, and Htet Htet Aung

Submissions from 2003

PDF

Modeling Rate-dependent Hysteresis in Piezoelectric Actuator, Wei Tech Ang, Francisco Alija Garmón, Pradeep Khosla, and Cameron N. Riviere

PDF

Design of All-Accelerometer Inertial Measurement Unit for Tremor Sensing in Hand-held Microsurgical Instrument, Wei Tech Ang, Pradeep Khosla, and Cameron N. Riviere

PDF

The trading agent competition supply chain management game, Raghu Arunachalam

PDF

Modeling the Structure and Effectiveness of Intelligence Organizations: Dynamic Information Flow Simulation, Robert Behrman and Kathleen Carley

PDF

Estimating Cloth Simulation Parameters from Video, Kiran S. Bhat, Christopher D. Twigg, Jessica K. Hodgins, Pradeep Khosla, Zoran Popovic, and Steven M. Seitz

PDF

Critical Message Integrity Over A Shared Network, Jennifer Black and Philip Koopman

PDF

Software Defect Masquerade Faults in Distributed Embedded Systems, Jennifer Black and Philip Koopman

PDF

Reducing Boundary Friction Using Translation-Fragment Overlap, Ralf D. Brown, Rebecca Hutchinson, Paul N. Bennett, Jaime G. Carbonell, and Peter J. Jansen

Link

Formal Methods for Functional Verification, Randal E. Bryant and James H. Kukula

Link

Convergence Testing in Term-Level Bounded Model Checking, Randal E. Bryant, Shuvendu K. Lahiri, and Sanjit A. Seshia

PDF

Enabling Transnational Collection, Notification, and Sharing of Information, Violetta Cavalli-Sforza and Jaime G. Carbonell

PDF

Document Classification of Protein Sequences, Betty Yee Man Cheng, Jaime G. Carbonell, and Judith Klein-Seetharaman

PDF

‘I Didn’t Buy it for Myself’ Privacy and Ecommerce Personalization, Lorrie Faith Cranor

PDF

Estimating the Shape of Covert Networks, Paul Fischbeck, Matthew Dombroski, and Kathleen M. Carley

Link

A Semantic eWallet to Reconcile Privacy and Context Awareness, Fabien L. Gandon and Norman Sadeh

Link

Semantic Web Technologies to Reconcile Privacy and Context Awareness, Fabien L. Gandon and Norman Sadeh

PDF

Semantic web technologies to reconcile privacy and context awareness, Fabien L. Gandon and Norman Sadeh

PDF

Rate-dependent inverse hysteresis feedforward controller for microsurgical tool, F. Alija Garmón, Wei Tech Ang, Pradeep Khosla, and Cameron N. Riviere

Link

Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis, Amit Goel and Randal E. Bryant

PDF

An Introduction to the Literature on Online Reputation Systems for the MMAPPS project, James Howison

PDF

Maximal Lattice Overlap in Example-Based Machine Translation, Rebecca Hutchinson, Paul N. Bennett, Jaime G. Carbonell, Peter Jansen, and Ralf D. Brown

Link

Guided Symbolic Universal Planning, Rune M. Jensen, Manuela M. Veloso, and Randal E. Bryant

PDF

A New Boosting Algorithm Using Input-Dependent Regularizer, Rong Jin, Yan Liu, Luo Si, Jaime G. Carbonell, and Alexander G. Hauptmann

PDF

Elements of the Self-Healing System Problem Space, Philip Koopman

Link

Deductive Verification of Advanced Out-of-Order Microprocessors, Shuvendu K. Lahiri and Randal E. Bryant

Link

A Symbolic Approach to Predicate Abstraction, Shuvendu K. Lahiri, Randal E. Bryant, and Byron Cook

PDF

Problems Facing Group Membership Specifications for X-by-Wire Protocols, Elizabeth Latronico

PDF

A Period-Based Group Membership Strategy for Nodes of TDMA Networks, Elizabeth Latronico and Philip Koopman

PDF

A Pairwise Ensemble Approach for Accurate Genre Classification, Yan Liu, Jaime G. Carbonell, and Rong Jin

PDF

Prediction of Anti-parallel and Parallel Beta-sheets using Conditional Random Fields, Yan Liu, Jaime G. Carbonell, Judith Klein-Seetharaman, and Vanathi Gopalakrishnan

PDF

Video Editing Using Lenses and Semantic Zooming, A. Chris Long, Brad Myers, Juan Casares, Scott Stevens, and Albert Corbett

Link

Selecting a Defect Prediction Model for Maintenance Resource Planning and Software Insurance, Paul Luo Li, Mary Shaw, and James Herbsleb

PDF

Coordinating User and Device Behavior in Wireless Grids, Lee McKnight, William Lehr, and James Howison

PDF

Handheld Devices for Control, Brad Myers, Jeffrey Nichols, Jacob Wobbrock, Kevin Litwack, Michael Higgins, Joseph Hughes, Thomas Harris, Roni Rosenfeld, and Mathilde Pignol

Link

Preserving Privacy by De-identifying Facial Images, Elaine Newton, Latanya Sweeney, and Bradley Malin

Link

Automatically Generating Interfaces for Multi-Device Environments, Jeffrey Nichols and Brad Myers

PDF

Studying The Use of Handhelds to Control Smart Appliances, Jeffrey Nichols and Brad Myers

PDF

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

Link

Time is Not Money: The Case for Multi-dimensional Accounting in Value-based Software Engineering, Vahe Poladian, Shawn Butler, Mary Shaw, and David Garlan

PDF

Learning to Detect Partially Labeled People, Yaron Rachlin, John M. Dolan, and Pradeep Khosla

Link

Eliciting User Expectations for Data Behavior via Invariant Templates, Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, and Christos Faloutsos

Link

Agent-based e-Supply Chain Decision Support, Norman Sadeh, David W. Hildum, and Dag Kjenstad

Link

Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods, Sanjit A. Seshia and Randal E. Bryant

Link

Writing Good Software Engineering Research Papers, Mary Shaw

Link

Writing Good Software Engineering Research Papers, Mary Shaw

Link

CourseForges: Open Source Curriculum Design for Value-Based Software Engineering, Mary Shaw, Shawn Butler, Hakan Erdogmus, and Klaus Schmid

PDF

Using Architectural Properties to Model and Measure Graceful Degradation, Charles Shelton and Philip Koopman

PDF

A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems, Charles Shelton, Philip Koopman, and William Nace

Link

Coordinating Multi-Attribute Reverse Auctions Subject to Temporal and Capacity Constraints, Jiong Sun and Norman Sadeh

Link

Multi-Attribute Supply Chain Negotiation: Coordinating Reverse Auctions Subject to Finite Capacity Considerations, Jiong Sun and Norman Sadeh

PDF

Finding lists of people on the Web, Latanya Sweeney