Intelligent Systems Division

Publications for year 2001 (72 of 1172)

Designing Agent Collectives for Systems With Markovian Dynamics
David Wolpert, John Lawson
Published at: Autonomous Agents 2002
12/12/01

On Abstractions and Simplifications in the Design of Human-Automation Interfaces
Michael Heymann, Asaf Degani, Michael Shafto, George Meyer
12/12/01

Combining Static Analysis and Model Checking for Software Analysis
Guillaume Brat, Willem Visser
Published at: Automated SW Engineering
12/12/01

Computing the Envelope for Stepwise Constant Resource Allocations
Nicola Muscettola
12/12/01

High Resolution Surface Geometry and Albedo by Combining Laser Altimetry and Visible Images
Robin Morris, Udo Toussount, Peter Cheeseman
12/12/01

Audio-Visual Situational Awareness for General Aviation Pilots
Lilly Spirkovska, Suresh Lodha
Published at: VisSym '02
12/12/01

Universal Quantification in a Constraint-Based Planner
Keith Golden, Jeremy Frank
Published at: 6th Int'l conf on AIPS
12/12/01

A Constraint-Based Planner with Attributes
Jeremy Frank, Ari Jonsson
Published at: Journal of Constraints
12/12/01

An Overview of Intelligent Systems for Control and Health Management
Joan Pallix, Gregory Dorais, John Penix
Published at: Joint Army Navy NASA AF
12/12/01

Intelligent Control Approaches for Aircraft Applications
Karen Gundy-Burlet, Kalmanje Krishnakumar, Don Soloway, John Kaneshige
Published at: Jannaf Interagency Prop.
12/12/01

Input Decimated Ensembles
Kagan Tumer, Nikunj Oza
12/12/01

Learning Sequences of Actions in Collectives of Autonomous Agents
Kagan Tumer, Adrian Agogino, David Wolpert
Published at: Autonomous Agents 2002
12/12/01

The Logic of Reachability
David Smith, Ari Jonsson
Published at: 6th Int'l conf on AIPS
12/12/01

Aspect-Oriented Programming is Quantification and Implicit Invocation
Robert Filman, Daniel Friedman
12/12/01

Automatic Overset Grid Generation with Heuristic Feedback Control
Peter I. Robinson
11/20/01

Certifying Domain Specific Policies
Michael Lowry, Thomas Pressburger, Grigore Rosu
Published at: ASE Conference
10/16/01

Specification and Error Pattern Based Program Monitoring
Klaus Havelund, Scott Johnson, Grigore Rosu
Published at: ESA Workshop
10/09/01

Multiagent Modeling and Simulation in Human-Robot Mission Operations Work System Design
Maarten Sierhuis, William Clancey, Michael Sims
09/27/01

Gyro-Based Maximum-Likelihood Thruster Fault Detection and Identification
Edward Wilson, Christopher Lages, Robert Mah
09/27/01

Evaluation of Standard Gear Metrics in Helicopter Flight Operation
Marianne Mosher, Anna Pryor, Edward Huff
09/18/01

Evolutionary Optimization of Yagi-Uda Antennas
Jason Lohn, William Kraus, Derek Linden, Silvano Colombano
09/18/01

A Framework for Distributed Rovert Congrol and Three Sample Applications
Steve McGuire
09/18/01

State Estimation for K9
Rugang Xu
09/18/01

Principal Components Analysis of Triaxial Vibration Data from Helicopter Transmissions
Irem Tumer, Edward Huff
09/18/01

On Maximum Entropy, Maximum Likelihood and Bayesian Inductive Inference
Peter Cheeseman, John Stutz, Vadim Smelyanskiy
08/07/01

K9 On-Board Rover Architecture
John Bresina, Maria Bualat, Michael Fair, Rich Washington, Anne Wright
07/26/01

Airport Remote Tower Sensor Systems
Richard Papasin, Yuri Gawdiak, David Maluf, Christopher Leidich, Peter B Tran
07/20/01

Mars Rovers Past, Present, and Future
Maria G Bualat
07/20/01

Secure Large-Scale Airport Simulations Using Distributed Computational Resources
William McDermott, David Maluf, Yuri Gawdiak, Peter Tran
07/20/01

Automata-Based Verification of Temporal Properties on Running Programs
Dimitra Giannakopoulou, Klaus Havelund
07/20/01

Analysis of Maneuvering Effects on Transmission Vibrations in an AH-1 Cobra Helicopter
Edward Huff, Eric Barszcz, Irem Tumer, Mark Dzwonczyk, James McNames
Published at: Change title
07/20/01

On the Effects of Production and Maintenance Variations on Rotating Machinery Performance
Irem Tumer, Edward Huff
Published at: Change title
07/20/01

Monitoring Programs Using Rewriting
Klaus Havelund, Grigore Rosu
07/20/01

RIACS Workshop on the Verification and Validation of Autonomous And Adaptive Systems
Charles Pecheur, Willem Visser, Reid Simmons
07/05/01

Field Science Ethnography
William Clancey
07/05/01

D3: A Collaborative Infrastructure for Aerospace Design
Joan Walton, Robert Filman, Chris Knight, David Korsmeyer, Diana Lee
07/05/01

Synthesis of UML designs from Requirements in an interactive process.
Johann Schumann, Jonathan Whittle
07/05/01

[] or Success is not enough: Current Technology and Future Directions in Proof Presentation
Johann Schumann, Peter Robinson
07/05/01

Java Pathexplorer A Runtime Verification Tool
Klaus Havelund, Grigore Rosu
07/05/01

Monitoring Java Programs with JAVA Pathexplorer
Klaus Havelund, Grigore Rosu
07/05/01

A Metadata Action Language
Keith Golden
06/05/01

VIPER: Virtual Intelligent Planetary Exploration Rover
Larry Edwards, Lorenzo Fluekiger, Laurent Nguyen, Rich Washington
06/05/01

Robust Order Statistics Based Ensembles for Distributed Data Mining
Kagan Tumer, Joydeep Ghosh
06/05/01

The 3D Recognition, Generation, Fusion, Update and Refinement (GR4) Concept
David Maluf
06/05/01

(Almost) Featureless Stereo - Calibration and Dense 3D Reconstruction Using Whole Image Operations
Vadim Smelyanskiy, R D Morris, Peter Cheeseman, David Maluf
06/05/01

What is Aspect-Oriented Programming, Revisited
Robert E Filman
05/07/01

Planning and Scheduling for Fleets of Earth Observing Satellites
Jeremy Frank, Ari Jonsson, Robert Morris, David Smith
05/07/01

The AutoBayes Program Synthesis System: System Description
Bernd Fischer, Thomas Pressburger, Grigore Rosu, Johann Schumann
Published at: "Calculemus"
04/27/01

Assessment of the NASA Space Shuttle Program's Problem Reporting and Corrective Action System
David Korsmeyer, John Schreiner
04/23/01

Mapping Temporal Planning Constraints into Timed Automata
Lina Khatib, Nicola Muscettola, Klaus Havelund
04/23/01

Component Verification and Certification in NASA Missions
Dimitra Giannakopoulou, John Penix
Published at: Int'l Conf. SW Engineering
04/23/01

Empirical Requirements Analysis Using the Flashline Mars Arctic Research Station
William Clancey
04/09/01

Multiagent Work Practice Simulation: Progress and Challenges
William Clancey
04/09/01

Multimodal NeuroElectric Interface Development
Len Trejo, Kevin Wheeler, Chuck Jorgensen
03/20/01

Model Checking Autonomy Models for a Martian Propellant Production Plant
Peter Engrand
03/14/01

Developing Distributed Collaboration Systems at NASA: A Report from the Field
Irma Fernandez, Helen Stewart, Chris Knight
03/05/01

Discovering Communicable Scientific Knowledge from Spatio-Temporal Data
Mark Schwabacher, Pat Langley
03/05/01

Matching Images to Models - Camera Calibration for 3D Surface Reconstruction
Robin Morris, Vadim Smelyanskiy, Peter Cheeseman
02/21/01

Learning Preferences on Temporal Constraints: A Preliminary Report
F Rossi, A Sperduit, Lina Khatib, Paul Morris, Robert Morris
02/21/01

Intelligent Aerodynamic/Propulsion Flight Control for Flight Safety: A Nonlinear Adaptive Approach
Moshe Idan, Matthew Johnson, Anthony Calise, John Kaneshige
02/13/01

Synthesizing Dynamic Programming Algorithms From Linear Temporal Logic Formulae
Grigore Rosu, Klaus Havelund
02/07/01

Circular Coinduction
Grigore Rosu, Joseph Gogueu
02/07/01

Institution Morphisms
Joseph Gogueu, Grigore Rosu
02/07/01

Analytical Method to Evaluate Failure Potential during High-Risk Component Develop
Irem Tumer, Robert Stone
02/06/01

An Overview of NASA's Intelligent Systems Prog
Daniel E Cooke
01/22/01

Temporal Constraint Reasoning with Preferences
Lina Khatib, Paul Morris, Robert Morris, Francesca Rossi
Published at: IJCAI-01
01/19/01

Dynamic Control of Plans with Temporal Uncertainty
Paul Morris, Nicola Muscettola, Thierry Vidal
Published at: IJCAI-01
01/19/01

Communication System Architecture for Planetary Exploration
Richard Alena, Bruce Gilbaugh, Brian Glass, Stephen Braham
01/19/01

Testing Linear Temporal Logic Formulae on Finite Execcution Traces
Klaus Havelund, Grigore Rosu
01/19/01

Using Triaxial Accerlerometer Data for Health Monitoring in an OH58 Helicopter
Irem Tumer, Edward Huff
01/19/01

Can Distributed Volunteers Accomplish Massive Data Analysis Tasks
Bob Kanefsky, Virginia Gulick, Nadine Barlow
01/11/01

Integrated Neural Flight and Propulsion Control System
John Kaneshige, Karen Gundy-Burlet
01/11/01

+ View All

Search Publications

Date range

Filter by year

2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

The Intelligence Report

The Intelligence Report is a compilation of articles describing the rich and diverse research and development projects at Ames Research Center's Intelligent Systems Division.

2006-2007

2005-2006

2004-2005

2003-2004