NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner
K9 Operations in May '00 Dual-Rover FieldExperiment - 12/06/00
Neuroelectric Virtual Devices - 11/21/00
Redirecting by Injector - 11/14/00
Predicate Abstraction for Object-Oriented Programs - 11/14/00
A Framework for Analog Studies of Mars Surface Operations - 11/14/00
AWE:Aviation Weather data Visualization Env. - 11/14/00
Integrated Airplane Health Management System - 10/30/00
General Temporal Knowledge for Planning and Data Mining - 10/30/00
AI's Philosophical Underpinnings - 10/30/00
A Software Architecture for Intelligent SE - 10/18/00
Robustness via Run-time Adaptation ofContingent Plans - 10/18/00
NASA IVHM Technology Experiment for X37 - 10/04/00
ScienceDesk Project Overview Materials - 10/04/00
A Model-Based Health Monitoring andDiagnostic System for the UH-60 Helicopter - 09/27/00
The Application of Time-Frequency Methods toHUMS - 09/27/00
NASA Smart Probe: Breast Cancer Application - 09/21/00
Aspect-Oriented Programming is Quantifications and Obliviousness - 09/14/00
Any Two Learning Algorithms are (almost) Exactly Identical - 09/14/00
Holographic Optical Data Storage - 09/14/00
Model-based testability assessment anddirected troubleshooting of shuttle wiring systems <ABSTRACT> - 09/14/00
Remote Diagnosis of the International Space Station Utilizing Telemetry Data <Abstract> - 09/14/00
An Experimental Comparison of Transmission Vibration Responses From OH58C and AH1 Helicoptors - 08/28/00
Pilot-Autopilot Interaction: A Formal Perspective - 08/01/00
Generating Statechart Designs from Scenarios - 07/27/00
Improved Results for Route Planning inStochastic Transportation Networks - 07/27/00
Automated Synthesis of Agent Designs in UML - 07/27/00
Generating Data Analysis Programs fromStatistical Models - Position Paper - 07/18/00
Automatic Debugging Support for UML Designs - 07/18/00
Designing Human-Centered Autonomous Agents - 07/18/00
DEOS Kernel:Environment Modeling Using LTL Assumptions - 07/18/00
The Future of the Internet in Science - 07/05/00
Formal Analysis of the Remote Agent Before and After Flight - 07/05/00
Using Runtime Analysis to Guide Model Checking of Java Programs - 07/05/00
Roughness Perception of Haptically DisplayedFractal Surfaces - 07/05/00
Verification of Plan Models Using UPPAAL - 07/05/00
AWE: Aviation Weather Data Visualization Environment - 06/15/00
Conceptual Coordination Bridges Information Processing and Neuropsychology - 06/09/00
On the Computational Capabilities ofPhysical Systems, Part I - 06/01/00
On Reformulating Planning As Dynamic Constraint Satisfaction - 06/01/00
AWE: Aviation Weather Data Visualization - 05/15/00
Human-Centered Design for the Personal Satellite Assistant - 05/15/00
Applying Aspect-Oriented Programming toIntelligent Synthesis - 05/15/00
Applying Multi-agent Simulation to Planetary Surface Operations - 05/15/00
ISOWAN:A NASA Science and EngineeringInformation and Services Framework - 05/15/00
Modeling and Simulating Human Behavior - 05/15/00
From Livingstone to SMV - 05/15/00
Verification of Time Partitioning in the DEOS Scheduler Kernel - 05/15/00
Expected Utility Distributions forFlexible, Contingent Execution - 04/12/00
Evaluating Manufacturing & Assembly Errors in Rotating Machinery to Enhance Component Performance - 04/05/00
Managing Distributed Systems with Smart Subscriptions - 03/20/00
Verification and Validation of Autonomy Software at NASA - 03/14/00
Towards Evolving Electronic Circuits for Autonomous Space Applications - 02/09/00
A Parallel Genetic Algorithm forAutomated Electronic Circuit Design - 02/09/00
Back to the Future: Consistency-based Trajectory Tracking - 01/28/00
Executing Temporal Networks with Uncertainty - 01/25/00
Bridging the Gap Between Planningand Scheduling - 01/25/00
SOFIA's Choice: Automating theScheduling of Airborne Observatory - 01/03/00
First Gov logo
NASA Logo - nasa.gov