Follow

Submissions from 1999

PDF

Combining Information Technology Components and Symbolic Equation Manipulation in Modeling and Simulation of Mechatronic Systems, Antonio Diaz-Calderon, Christiaan J.J. Paredis, and Pradeep Khosla

PDF

On the Synthesis of the System Graph for 3D Mechanics, Antonio Diaz-Calderon, Christiaan J.J. Paredis, and Pradeep Khosla

PDF

Collaborative Surveillance using Both Fixed and Mobile Unattended Sensor Platforms, Christopher P. Diehl, Mahesh Saptharishi, John B. Hamshire II, and Pradeep Khosla

PDF

RAVE: A Real and Virtual Environment for Multiple Mobile Robot Systems, Kevin Dixon, John M. Dolan, Wesley Huang, Christiaan J.J. Paredis, and Pradeep Khosla

PDF

Distributed Tactical Surveillance with ATVs, John M. Dolan, Ashitey Trebi-Ollennu, Alvaro Soto, and Pradeep Khosla

PDF

Robustness Testing of A Distributed Simulation Backplane, Kimberly Fernsler and Philip Koopman

PDF

Agent-Based Planning and Control of a Multi-Manipulator Assembly System, Juan-Carlos Fraile, Christiaan J.J. Paredis, Cheng-Hua Wang, and Pradeep Khosla

PDF

Sensing Hand Tremor in a Vitreoretinal Microsurgical Instrument, Mario Gomez-Blanco, Cameron N. Riviere, and Pradeep Khosla

PDF

Heterogeneous Teams of Modular Robots for Mapping and Exploration, Robert Grabowski, Luis E. Navarro-Serment, Christiaan J.J. Paredis, and Pradeep Khosla

PDF

The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing, Carol L. Hoover, Jeffrey Hansen, Philip Koopman, and Sandeep Tamboli

PDF

An Architecture for Gesture Based Control of Mobile Robots, Soshi Iba, J. Michael Vande Weghe, Christiaan J.J. Paredis, and Pradeep Khosla

PDF

Comparing the Robustness of POSIX Operating Systems, Philip Koopman and John DeVale

PDF

Dependability Benchmarking & Prediction: A Grand Challenge Technology Problem, Philip Koopman and Henrique Madeira

Link

Symbolic Functional and Timing Verification of Transistor-Level Circuits, Clayton B. McDonald and Randal E. Bryant

PDF

Lightweight Structured Text Processing, Robert Miller and Brad Myers

PDF

Selecting Text Spans for Document Summaries: Heuristics and Metrics, Vibhu Mittal, Mark Kantrowitz, Jade Goldstein, and Jaime G. Carbonell

PDF

An Implementation Architecture to Support Single-Display Groupware, Brad Myers

PDF

Past, Present and Future of User Interface Software Tools, Brad Myers, Scott Hudson, and Randy Pausch

PDF

Collaboration Using Multiple PDAs Connected to a PC, Brad Myers, Herb Stiel, and Robert Gargiulo

PDF

Modularity in Small Distributed Robots, Luis E. Navarro-Serment, Robert Grabowski, Christiaan J.J. Paredis, and Pradeep Khosla

Link

Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation, Manish Pandey and Randal E. Bryant

PDF

A Dimensionality Model Approach to Testing and Improving Software Robustness, Jiantao Pan, Philip Koopman, and Daniel Siewiorek

Link

Formal Verification of an ARM Processor, Vsihnu A. Patankar, Alok Jain, and Randal E. Bryant

PDF

Using the Software CMM with Good Judgment, Mark Paulk

PDF

Assessing a Level 5 Organization, Mark C. Paulk and David B. Putnam

PDF

The Capability Maturity Model: A Summary, Mark C. Paulk, Charles V. Weber, and Mary B. Chrissis

Link

MASCOT: An Agent-based Architecture for Coordinated Mixed-Initiative Supply Chain Planning and Scheduling, Norman Sadeh, David W. Hildum, Dag Kjenstad, and Allen Tseng

PDF

Continuous Probabilistic Mapping by Autonomous Robots, Jesús Salido Tercero, Christiaan J.J. Paredis, and Pradeep Khosla

Link

Architectural Requirements for Computing with Coalitions of Resources, Mary Shaw

Link

Research Opportunities in the Virtual Agora: Market Aspects of Open Resource Coalitions, Mary Shaw

PDF

Cyber-ATVs: Dynamic and Distributed Reconnaissance and Surveillance Using All-Terrain UGVs, Alvaro Soto, Mahesh Saptharishi, Ashitey Trebi-Ollennu, John M. Dolan, and Pradeep Khosla

PDF

Adaptive Fuzzy Throttle Control for an All Terrain Vehicle, Ashitey Trebi-Ollennu, John M. Dolan, and Pradeep Khosla

PDF

I(CES)-Cubes: A Modular Self-Reconfigurable Bipartite Robotic System, Cem Ünsal, Han Kiliççöte, and Pradeep Khosla

Link

Exploiting Positive Equality and Partial Nonconsistency in the Formal Verification of Pipelined Microprocessors, Miroslav N. Velev and Randal E. Bryant

Link

Superscalar Processor Verification Using Efficient Reductions of the Logic of Equality with Uninterpreted Functions, Miroslav N. Velev and Randal E. Bryant

PDF

A Multi-Agent System for Programming Robotic Agents by Human Demonstration, Richard M. Voyles and Pradeep Khosla

PDF

Gesture-Based Programming for Robotics: Human Augmented Software Adaptation, Richard M. Voyles, J. Dan Morrow, and Pradeep Khosla

Link

Optimizing Symbolic Model Checking for Constraint-Rich Models, Bwolen Yang, Reid Simmons, Randal E. Bryant, and David R. O'Hallaron

PDF

Learning Approaches to Topic Detection and Tracking, Yiming Yang, Jaime G. Carbonell, Ralf D. Brown, Tom Pierce, Brian T. Archibald, and Xin Liu

Submissions from 1998

PDF

Topic Detection and Tracking Pilot Study Final Report, James Allan, Jaime G. Carbonell, George Doddington, Jonathan Yamron, and Yiming Yang

PDF

Functional Evolution of an Automated Highway System for Incremental Deployment, Michelle Bayouth and Philip Koopman

Link

Parachute Queries in the Presence of Unavailable Data Sources, Philippe Bonnet and Anthony Tomasic

Link

Partial Answers for Unavailable Data Sources, Philippe Bonnet and Anthony Tomasic

Link

Unavailable Data Sources in Mediator Based Applications, Philippe Bonnet and Anthony Tomasic

PDF

CONALD Report on the Workshop on Learning from Text and the Web, Jaime G. Carbonell, Mark Craven, Steve Fienberg, Tom Mitchell, and Yiming Yang

PDF

ACTS Theory: Extending the Model of Bounded Rationality, Kathleen M. Carley and Michael J. Prietula

PDF

Destabilizing Terrorist Networks, Kathleen M. Carley, Jeffrey Reminga, and Natasha Kamneva

Link

Verification of Floating Point Adders, Yirng-An Chen and Randal E. Bryant

Link

A Framework for Classifying Scientific Metadata, Helena Galhardas, Eric Simon, and Anthony Tomasic

Link

Blackboard Agents for Mixed Initiative Management of Integrated Process-Planning/Production-Scheduling Solutions Across the Supply Chain, David W. Hildum, Norman Sadeh, Thomas J. Laliberty, John McA'Nulty, Stephen Smith, and Dag Kjenstad

PDF

The Metaphor Project Summary Report: Technology for Analyzing Change and Composing Reusable, Real-Time Components and Applications, Carol L. Hoover and Pradeep Khosla

PDF

Easily Programmable Shared Objects For Peer-To-Peer Distributed Applications, John Huebner and Brad Myers

PDF

Toward a Scalable Method for Quantifying Aspects of Fault Tolerance, Software Assurance, and Computer Security, Philip Koopman

Link

Toward Middleware Fault Injection for Automotive Networks, Philip Koopman

PDF

Orthogonal Capability Building Blocks for Flexible AHS Deployment, Philip Koopman and Michelle Bayouth

PDF

Automated Robustness Testing of Off-the-Shelf Software Components, Nathan P. Kropp, Philip Koopman, and Daniel Siewiorek

Link

Equal Time for Data on the Internet with WebSemantics, George A. Mihaila, Louiqa Raschid, and Anthony Tomasic

PDF

Authoring Interactive Behaviors for Multimedia, Brad Myers

PDF

Natural Programming: Project Overview and Proposal, Brad Myers

PDF

The Case for an Open Data Model, Brad Myers

PDF

The Amulet Prototype-Instance Framework, Brad Myers, Richard G. McDaniel, and Robert C. Miller

PDF

The Prototype-Instance Object Systems in Amulet and Garnet, Brad Myers, Richard G. McDaniel, Robert C. Miller, Brad Vander Zander, Dario Giuse, David Kosbie, and Andrew Mickish

PDF

Easily Adding Sound Output to Interfaces, Brad Myers and Kenneth Strickland

PDF

Using the Software CMM in Small Organizations, Mark C. Paulk

Link

A Blackboard Architecture for Integrating Process Planning and Production Scheduling, Norman Sadeh, David W. Hildum, Thomas J. Laliberty, John McA'Nulty, Dag Kjenstad, and Allen Tseng

Link

Generalizing Data to Provide Anonymity when Disclosing Information, Pierangela Samarati and Latanya Sweeney

Link

Protecting privacy when disclosing information: k-anonymity and its enforcement through generalization and suppression, Pierangela Samarati and Latanya Sweeney

Link

A Profession of Software Engineering, Is There a Need? YES. Are We Ready? NO., Mary Shaw

Link

Constructing Systems from Parts: What Students Should Learn about Software Architecture" and "Architectural Mismatch, Interoperability, and the Prospects for Electronic Commerce in Software Parts and Services, Mary Shaw

Link

Innovation and Obstacles: The Future of Computing, Mary Shaw

Link

Visions for the Future of the Fields, Mary Shaw

Link

What Adults Should Know about Information Technology and How They Should Learn It, Mary Shaw

Link

Power Learning: Using Computers as Teaching Machines, Latanya Sweeney

Link

Three computational systems for disclosing medical data in the year 1999, Latanya Sweeney

Link

Towards the optimal suppression of details when disclosing medical data, the use of sub-combination analysis, Latanya Sweeney

Link

Speech Perception Using Real-Time Phoneme Detection: The BeBe System, Latanya Sweeney and Patrick Thompson

Link

Scaling Access to Heterogeneous Databases with DISCO, Anthony Tomasic, Louiqa Raschid, and Patrick Valduriez

Link

Bit-level abstraction in the verification of pipelined microprocessors by correspondence checking, Miroslav N. Velev and Randal E. Bryant

Link

Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation, Miroslav N. Velev and Randal E. Bryant

PDF

Vehicle Sound Signature Recognition by Frequency Vector Principle Component Analysis, Huadong Wu, Mel Siegel, and Pradeep Khosla

Link

A Performance Study of BDD-Based Model Checking, Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, and Fabio Somenzi

Link

Space- and Time-Efficient BDD Construction by Working Set Control, Bwolen Yang, Yirng-An Chen, Randal E. Bryant, and David R. O'Hallaron

PDF

Translingual Information Retrieval: Learning from Bilingual Corpora, Yiming Yang, Jaime G. Carbonell, Ralf D. Brown, and Robert E. Frederking

Submissions from 1997

Link

Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation, Randal E. Bryant and Miroslav N. Velev

PDF

Translingual Information Retrieval: A Comparative Evaluation, Jaime G. Carbonell, Yiming Yang, Robert E. Frederking, Ralf D. Brown, Yibing Geng, and Danny Lee

Link

*PHDD: An Efficient Graph Representation for Floating Point Circuit Verification, Yirng-An Chen and Randal E. Bryant

Link

Lessons on Converting Batch Systems to Support Interaction, Robert DeLine, Gregory Zelesnik, and Mary Shaw

PDF

Analytical Design of Evolutionary Control Flow Components, Carol L. Hoover and Pradeep Khosla

PDF

Comparing Operating Systems Using Robustness Benchmarks, Philip Koopman, John Sung, Christopher Dingman, Daniel Siewiorek, and Ted Marz

PDF

Creating Dynamic World Wide Web Pages by Demonstration, Robert Miller and Brad Myers

PDF

Using Benchmarks to Teach and Evaluate User Interface Tools, Brad Myers, Neal Altman, Khalil Amiri, Matthew Centurion, Fay Chang, Chienhao Chen, Herb Derby, John Huebner, Rich Kaylor, Ralph Melton, Robert O'Callahan, Matthew Tarpy, Konur Unyelioglu, Zhenyu Wang, and Randen Warner

Link

The Amulet V3.0 Reference Manual, Brad Myers, Ellen Borison, Alan Ferrency, Richard McDaniel, Robert Miller, Andrew Faulring, Bruce Kyle, Patrick Doane, Andy Mickish, and Alex Klimovitski

PDF

The KANT Machine Translation System: From R&D to Initial Deployment, Eric H. Nyberg, Teruko Mitamura, and Jaime G. Carbonell

Link

Exploiting Symmetry when Verifying Transistor-Level Circuits by Symbolic Trajectory Evaluation, Manish Pandey and Randal E. Bryant

PDF

Agent-Based Design of Fault Tolerant Manipulators for Satellite Docking, Christiaan J.J. Paredis and Pradeep Khosla

PDF

Active handheld instrument for error compensation in microsurgery, Cameron N. Riviere and Pradeep Khosla

PDF

Augmenting the human-machine interface: improving manual accuracy, Cameron N. Riviere and Pradeep Khosla

PDF

Characteristics of hand motion of eye surgeons, Cameron N. Riviere, R. Scott Rader, and Pradeep Khosla

Link

Learning to Recognize (Un)Promising Simulated Annealing Runs: Efficient Search Procedures for Job Shop Scheduling and Vehicle Routing, Norman Sadeh, Yoichiro Nakakuki, and Sam R. Thangiah

PDF

A Modified Reactive Control Framework for Cooperative Mobile Robots, Jesús Salido Tercero, John M. Dolan, John B. Hamshire II, and Pradeep Khosla