NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner
Designing Agent Collectives for Systems With Markovian Dynamics - 12/12/01
On Abstractions and Simplifications in the Design of Human-Automation Interfaces - 12/12/01
Combining Static Analysis and Model Checking for Software Analysis - 12/12/01
Computing the Envelope for Stepwise Constant Resource Allocations - 12/12/01
High Resolution Surface Geometry and Albedo by Combining Laser Altimetry and Visible Images - 12/12/01
Audio-Visual Situational Awareness forGeneral Aviation Pilots - 12/12/01
Universal Quantification in a Constraint-Based Planner - 12/12/01
A Constraint-Based Planner with Attributes - 12/12/01
An Overview of Intelligent Systems for Control and Health Management - 12/12/01
Intelligent Control Approaches for Aircraft Applications - 12/12/01
Input Decimated Ensembles - 12/12/01
Learning Sequences of Actions in Collectives of Autonomous Agents - 12/12/01
The Logic of Reachability - 12/12/01
Aspect-Oriented Programming is Quantification and Implicit Invocation - 12/12/01
Automatic Overset Grid Generation with Heuristic Feedback Control - 11/20/01
Certifying Domain Specific Policies - 10/16/01
Specification and Error Pattern Based Program Monitoring - 10/09/01
Multiagent Modeling and Simulation in Human-Robot Mission Operations Work System Design - 09/27/01
Gyro-Based Maximum-Likelihood Thruster Fault Detection and Identification - 09/27/01
Evaluation of Standard Gear Metrics inHelicopter Flight Operation - 09/18/01
Evolutionary Optimization of Yagi-UdaAntennas - 09/18/01
A Framework for Distributed Rovert Congrol and Three Sample Applications - 09/18/01
State Estimation for K9 - 09/18/01
Principal Components Analysis of TriaxialVibration Data from Helicopter Transmissions - 09/18/01
On Maximum Entropy, Maximum Likelihood andBayesian Inductive Inference - 08/07/01
K9 On-Board Rover Architecture - 07/26/01
Airport Remote Tower Sensor Systems - 07/20/01
Mars Rovers Past, Present, and Future - 07/20/01
Secure Large-Scale Airport Simulations UsingDistributed Computational Resources - 07/20/01
Automata-Based Verification of Temporal Properties on Running Programs - 07/20/01
Analysis of Maneuvering Effects on Transmission Vibrations in an AH-1 Cobra Helicopter - 07/20/01
On the Effects of Production and Maintenance Variations on Rotating Machinery Performance - 07/20/01
Monitoring Programs Using Rewriting - 07/20/01
RIACS Workshop on the Verification and Validation of Autonomous And Adaptive Systems - 07/05/01
Field Science Ethnography - 07/05/01
D3:A Collaborative Infrastructure forAerospace Design - 07/05/01
Synthesis of UML designs from Requirements in an interactive process. - 07/05/01
[] or Success is not enough: Current Technology and Future Directions in Proof Presentation - 07/05/01
Java Pathexplorer A Runtime Verification Tool - 07/05/01
Monitoring Java Programs with JAVAPathexplorer - 07/05/01
A Metadata Action Language - 06/05/01
VIPER:Virtual Intelligent Planetary Exploration Rover - 06/05/01
Robust Order Statistics Based Ensembles for Distributed Data Mining - 06/05/01
The 3D Recognition, Generation, Fusion, Update and Refinement (GR4) Concept - 06/05/01
(Almost) Featureless Stereo - Calibration andDense 3D Reconstruction Using Whole Image Operations - 06/05/01
What is Aspect-Oriented Programming, Revisited - 05/07/01
Planning and Scheduling for Fleets of Earth Observing Satellites - 05/07/01
The AutoBayes Program Synthesis System: System Description - 04/27/01
Assessment of the NASA Space Shuttle Program's Problem Reporting and Corrective Action System - 04/23/01
Mapping Temporal Planning Constraints into Timed Automata - 04/23/01
Component Verification and Certification in NASA Missions - 04/23/01
Empirical Requirements Analysis Using theFlashline Mars Arctic Research Station - 04/09/01
Multiagent Work Practice Simulation:Progress and Challenges - 04/09/01
Multimodal NeuroElectric Interface Development - 03/20/01
Model Checking Autonomy Models for a Martian Propellant Production Plant - 03/14/01
Developing Distributed Collaboration Systems at NASA:A Report from the Field - 03/05/01
Discovering Communicable Scientific Knowledgefrom Spatio-Temporal Data - 03/05/01
Matching Images to Models - Camera Calibration for 3D Surface Reconstruction - 02/21/01
Learning Preferences on Temporal Constraints: A Preliminary Report - 02/21/01
Intelligent Aerodynamic/Propulsion Flight Control for Flight Safety:A Nonlinear Adaptive Approach - 02/13/01
Synthesizing Dynamic Programming Algorithms From Linear Temporal Logic Formulae - 02/07/01
Circular Coinduction - 02/07/01
Institution Morphisms - 02/07/01
Analytical Method to Evaluate FailurePotential during High-Risk Component Develop - 02/06/01
An Overview of NASA's Intelligent SystemsProg - 01/22/01
Temporal Constraint Reasoning with Preferences - 01/19/01
Dynamic Control of Plans with Temporal Uncertainty - 01/19/01
Communication System Architecture forPlanetary Exploration - 01/19/01
Testing Linear Temporal Logic Formulae on Finite Execcution Traces - 01/19/01
Using Triaxial Accerlerometer Data for Health Monitoring in an OH58 Helicopter - 01/19/01
Can Distributed Volunteers Accomplish Massive Data Analysis Tasks - 01/11/01
Integrated Neural Flight and Propulsion Control System - 01/11/01
First Gov logo
NASA Logo - nasa.gov