NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner
The MER/CIP Portal for Ground Operations - 12/15/03
Static Analysis of C Programs - 12/08/03
Motion Based System Identification and Fault Detection and Isolation Technologies for Thruster Controlled Spacecraft - 12/08/03
Lessons Learned from Using a Livingstone Model to Diagnose a Main Propulsion System - 11/24/03
Automated Testing Using Symbolic Execution and Temporal Monitoring - 11/14/03
Execution-Based Model Checking of Interrupt-Based Systems - 11/14/03
EAGLE Monitors by Collecting Facts and Generating Obligations - 11/14/03
Efficient Monitoring of Safety Properties - 11/14/03
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software - 11/14/03
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software - 11/14/03
Automated Data Processing as an AI Planning Problem - 11/12/03
Design of Hybrid Mobile Communication Networks for Planetary Exploration - 11/12/03
Choosing Objectives in Over-Subscription Planning - 11/12/03
Plan-Graph Based Heuristics for Conformant Probablistic Planning - 11/12/03
Actions, Observations, and Decision-Making Biologically Inspired Strategies for Autonomous Aerial Vehicles - 11/12/03
Mission Simulation Facility: Simulation Support for Autonomy Development - 11/12/03
A Comparison of Techniques for Scheduling Fleets of Earth-Observing Satellites - 11/12/03
Incremental Maximum Flows for Fast Envelope Computation - 11/12/03
Scheduling in the Face of Uncertain Resource Consumption & Utility Resource-Bounded Scheduling Under Uncertainty - 11/03/03
Observations on SOFIA Observation Scheduling: Search and Inference in the Face of Discrete and Continuous Constraints - 11/03/03
Scoping Planning Agents with Shared Models - 11/03/03
An Analysis Methodology for the Gamma Ray Large Area Space Telescope - 10/17/03
From Research to Operations Integrating Components of an Advanced Diagnostic System with an Aspect-Oriented Framework - 10/17/03
Modeling and Validating Interaction Aspects in UML - 10/17/03
HealthWatch-2 - 10/09/03
Terrain Model Registration for Single Cycle Instrument Placement - 10/09/03
First Workshop on Advancing the State of the Art in Run-Time Inspection - 10/09/03
Communications Abstractions for Distributed Systems - 10/09/03
Applying JLINT to Space Exploration Software - 10/03/03
Product Distribution Lagrangians - 10/03/03
Analysis of In-Flight Vibration Measurements from Helicopter Transmissions - 10/03/03
Rule-Based Runtime Verification - 10/03/03
Eagle Can Do Efficient LTL Monitoring - 10/03/03
The Case for Durative Actions: A Commentary on PDDL2.1 - 09/18/03
NETMARK: A Schema-less Extensions for Relational Databases for Managing Semi-Structured Data Dynamically - 09/18/03
Robosphere: Self Sustaining Robotic Ecologies as Precursors to Human Planetary Exploration - 09/11/03
Automating Capcom: Pragmatic Operations and Technology Research for Human Exploration of Mars - 09/04/03
Traceability Through Automatic Program Generation - 09/04/03
Automated Environment Generation for Software Model Checking - 09/04/03
Proof Rules for Automated Compositional Verification Through Learning - 09/04/03
Program Analysis Using Abstract Interpretation - 09/04/03
NASA's MERBoard: An Interactive Collaborative Workspace Platform - 08/22/03
Cooperative Exploration of Martian Terrains with the "Scorpion" Legged Robot as an Adjunct to a Rover - 08/22/03
Generative Representations for the Automated Design of Modular Physical Robots - 08/22/03
Optimal Limited Contingency Planning - 08/22/03
Adding Concrete Syntax to a Prolog-Based Program Synthesis System - 08/22/03
Developing an Autonomy Infusion Infrastructure for Robotic Exploration (Abstract Only) - 08/22/03
Transitioning From Software Requirements Models to Design Models - 08/08/03
Developing Visualization Techniques for Semantics-based Information Networks - 08/05/03
Semantic Information Retrieval: Developing A Web-based User Interface - 08/05/03
Constraint Maintenance with Preferences and Underlying Flexible Solution - 08/05/03
System Modeling and Diagnostics for Liquefying Fuel Hybrid Rockets - 08/05/03
Instrumentation of Java Bytecode for Runtime Analysis - 08/04/03
Integrated System Health Management for Re-usable In-space Transportation Systems - 08/04/03
Initial Efforts Towards Mission-Representative Imaging Surveys from Aerial Explorers - 07/17/03
An Extensible Information Grid for Risk Management - 07/17/03
Generative Representations for Evolving Families of Designs - 07/15/03
Compressing Aviation Data in XML Format - 07/15/03
Aviation Data Integration System - 07/15/03
Evolvable Systems for Space Applications - 07/15/03
Evolutionary Design of an X-Band Antenna for NASA's Space Technology 5 Mission - 07/15/03
Differentially Variable Component Analysis (dVCA): A New Tool for Understanding Single- Trial Brain Responses - 07/15/03
Differentially Variable Component Analysis (dVCA): A Single-Trial Analysis Method for Sensory Responses and Ongoing Oscillations - 07/15/03
A Spatiotemporal Map of 40 Hz Oscillations Across Visual areas - 07/15/03
Deriving Laws from Odering Relations - 07/15/03
Questions Revisited: A Close Examination of the Calculus of Inference and Inquiry - 07/15/03
Lessons from Applying Differentially Variable Component Analysis (dVCA) to Electroencephalographic Activity - 07/15/03
Web-based Weather Expert System (WES) for Space Shuttle Launch - 07/15/03
Density Estimation with Mercer Kernels - 06/18/03
Neural Network Based Modeling and Analysis of LP Control Surface Allocation - 06/18/03
Control Reallocation Strategies for Damage Adaptation in Transport Class Aircraft - 06/18/03
Team Formation and Communication Restrictions in Collectives - 06/18/03
An Adaptive Critic Approach to Reference Model Adaptation - 06/18/03
Neuro-Electric Machine Control - 06/18/03
Intelligent Approaches for UAVs - 06/16/03
Providing Effective Access to Shared Resources: a COIN approach - 06/13/03
Automated Reasoning in NASA's Intelligent Systems Program - 06/05/03
The Digital Space Shuttle, 3D Graphics, and Knowledge Management - 06/02/03
A Software Framework to Enhance Training and Operations of Space Missions - 05/28/03
Simulation-Based Verification of Livingstone Applications - 05/28/03
Modeling of Vibration Measurements for Gear Fault and Damage Detection on Aircraft - 05/28/03
Device Control Using Gestures Sensed from EMG - 05/21/03
Maneuver Classification for Aircraft Fault Detection - 05/20/03
Principles for Integrating Mars Analog Research - 05/14/03
Roles for Agent Assistants - 05/14/03
A Bayesian Approach to Sensor Characterization - 05/14/03
NASA's Secured Advanced Federated Environment - 05/14/03
Hybrid Concurrent Constraint Simulation Models of Several Systems (PSA, RWGS, Sorbtion, SWRS, Liquid Oxygen Tank) - 05/14/03
How Do We Remain Us in a Time of Change: Culture and Knowledge Management at NASA - 05/07/03
Holarchical Systems and Emotional Holons: Biologically Inspired System Designs for Control of Autonomous Aerial Vehicles - 05/07/03
Hiproofs - 05/07/03
Incremental Contingency Planning - 05/02/03
Scheduling Earth Observing Satellites with Evolutionary Algorithms - 04/30/03
Intelligent Agents for Science Data Processing - 04/30/03
A Domain Description Language for Data Processing - 04/30/03
MAPGEN Planner: Mixed-Initiative activity planning for the Mars Exploration Rover mission - 04/30/03
Interleaved Observation Execution and Rescheduling on Earth Observing Systems - 04/30/03
Constraint Reasoning over Strings - 04/21/03
A Hybrid Constraint Representation and Reasoning Framework - 04/21/03
Procedure Visualization to Augment Space Mission Training - 04/21/03
On the Critical Behaviour, Crossover Point and Complexity of the Exact Cover Problem - 04/21/03
Aspects, Wrappers and Events - 04/15/03
Applying Model-Based Reasoning to the FDIR of the Command & Data Handling Subsystem of the International Space Station - 04/11/03
Design for Verification: Enabling Verification of High Dependability Software Intensive Systems - 04/11/03
Evolutionary Fault Recovery in a Virtex FPGA Using a Representation That Incorporates Routing - 04/11/03
Hosted Services for Advanced V&V Technologies: An Approach to Achieving Adoption Without the woes of Usage - 04/10/03
Technology Transfer Challenges for High- Assurance Software Engineering Tools - 04/10/03
Design for Verification: Using Design Patterns To Build Reliable Systems - 04/10/03
Propel: Tools and Methods for Practical Source Code Model Checking - 04/10/03
Correctness of Source-Level Safety Policies - 04/03/03
Terrain Model Registration for Single Cycle Instrument Placement - 04/02/03
A Survey of Space Robotics - 04/02/03
Integrated Demonstration of Instrument Place- ment, Robust Execution and Contingent Planning - 04/02/03
The Newell Test Should Commit to Diagnosing Dysfunctions - 04/02/03
Detailed Vibration of Analysis of PinionGear With Time-Frequency Methods - 04/02/03
Assessing the Probability of Legal Execution of Plans with Temporal Uncertainty - 04/02/03
Identifying Executable Plans - 04/02/03
Formalizing Resources For Planning - 03/27/03
Adjustably Autonomous Multi-Agent Plan Execution with an Internal Spacecraft Free- Flying Robot Prototype - 03/27/03
AEN Annual Report 2002 - 03/20/03
Data Management NASA-XDB-IPG-0.9 Netmark 1.0 XDB-IPG: An Extensible Database Architecture for an Information Grid of Heterogeneous and Distributed Information Resources - 03/20/03
The Loyal Opposition Comments on PDDL - 03/20/03
A Graph Based Backtracking Algorithms for Solving General CSPs - 03/19/03
An Extensible "Schema-Less" Database Framework for Managing High-Throughput Semi-Structured Documents - 03/14/03
Intelligent Virtual Station - 03/13/03
Source Update Capture in Information Agents - 03/13/03
Evaluation of Human vs Teleoperated Robotic Performance in Field Geology Tasks at a Mars Analog Site - 03/06/03
Agent Interaction with Human Systems in Complex Environments - 03/06/03
Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System - 03/06/03
Brahms Mobile Agents: Architecture & Field Tests - 03/06/03
Mining Distance Based Outliers in Near Linear Time with Randomization and a Simple Pruning Rule - 02/26/03
Tactical Maneuvering Using Immunized Sequence Selection - 02/25/03
Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tool - 02/25/03
Targeted Help for Spoken Dialogue Systems: Intelligent Feedback Improves Naïve Users' Performance - 02/25/03
Kernel PLS-SVC for Linear and Nonlinear Discrimination - 02/25/03
Knowledge Management: A Skeptics Guide - 02/24/03
Intelligent Launch and Range Operations Virtual Test Bed - 02/24/03
Automating the processing of Earth Observation Data - 02/24/03
LiveInventor - An Interactive Development Environment for Robot Autonomy - 02/24/03
Bayesian Research at the NASA Ames Research Center, Computational Sciences Division - 02/13/03
The Effect of AOP on Software Engineering, with Particular Attention to OIF and Event Quantifica'n - 02/13/03
Multimodal Neuroelectric Interface Development: A Survey of Research at NASA Ames Research Center - 02/13/03
An Autonomous Control System for an Intra- Vehicular Spacecraft Mobile Monitor Prototype - 02/13/03
Foundations of the Bandera Abstraction Tools - 02/13/03
An Exploration of Discontinuous Time Synchronous Averaging Using Helicopter Flight Vibration - 02/13/03
Modeling and Simulation for Mission Operations Work System Design - 02/10/03
Training Data Requirement for a Neural Network to Predict Aerodynamic Coefficients - 02/10/03
Neural Dynamics Underlying Event-Related Potentials - 02/10/03
Intelligent Machines in the 21st Century: Automating the Processes of Inference and Inquiry - 02/10/03
Lessons Learned from Developing A Streaming Data Framework for Scientific Analysis - 02/10/03
Subauditory Speech Recognition based on EMG/EPG Signals - 01/30/03
A Genetic Representation for Evolutionary Fault Recovery in Virtex FPGAs - 01/29/03
Characterization of Model-Based Reasoning Strategies for use in IVHM Architectures - 01/29/03
Tractable Pareto Optimization of Temporal Preferences - 01/29/03
Real-Time Rover Executive Based on Model-Based Reactive - 01/29/03
Near Linear Time Detection of Distance Based Outliers - 01/29/03
Differentially Variable Component Anlysis (dVCA): Identifying Multiple Evoked Components Using Trial-to-Trial Variability - 01/22/03
Formal Verification for a Next-Generation Space Shuttle - 01/21/03
Artificial Immune System Approaches for Aerospace Applications - 01/21/03
Generalized Symbolic Execution for Model Checking and Testing - 01/21/03
Human Centered Design and Development for NASA's MERBoard - 01/16/03
Boosting with Averaged Weight Vectors - 01/03/03
Program Instrumentation and Trace Analysis - 01/03/03
High-Level Data Races - 01/03/03
Netmark-Docushare Integration Brainstorming - 01/03/03
First Gov logo
NASA Logo - nasa.gov