NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner
Towards Automated Synthesis of Data Mining Programs - 12/27/99
Acting on Information: RepresentingActions that Manipulate Information - 12/17/99
Generic Neural Flight Control and Autopilot System - 12/15/99
Planning in Interplanetary Space: Theory and Practice - 12/09/99
State Identification for Planetary Rovers:Learning and Recognition - 12/09/99
Bayesian Super-Resolved Surface Reconstruction from Multiple Images - 12/01/99
Classifier Ensembles: Select Real-World Applications - 11/29/99
Adaptivity in Agent Based Routing for Data Networks - 11/26/99
Automated Theorem Proving in High Quality Software Design - 10/29/99
Marooned on Mars: Mind-Spinning Books for Software Engineers - 10/25/99
Human Exploration Ethnography - 10/25/99
A Framework for DynamicConstraint Reasoning using Procedural Constraint - 09/20/99
Bioelectric Flight Control of a 757 Class High Fidelity AircraftSimulation - 09/20/99
The Evolution of the DARWIN System - 09/20/99
Experimental Analysis of Steady-State Maneuvering Effects onTransmission Virbration Patterns Recorded in an AH-1 Cobra Helicopter - 09/20/99
Experimental Analysis of Mast Bending and Lifting Forces onVibration Patterns Before and After Pinion Reinstallation in an OH-58 Transmission Test Rig - 09/20/99
Java Pathfinder User Guide - 09/20/99
Java Pathfinder A Translator from Java to Promela - 09/20/99
Managing Distributed SystemsThrough Smart Publishers and Subscribers - 09/01/99
Integration of Deductive Retrieval into Deductive Synthesis - 08/11/99
Advanced Modelling and Verification Techniques Applied to a Cluster File System - 08/09/99
Adjustable Autonomy for Human-Centered Autonomous Systems - 08/09/99
A Distributed Multi-Agent System for Collaborative Information Mgmt and Learning - 07/01/99
Combining Automated TheoremProvers w/ Symbolic Algebraic Systems - Positions Paper - 07/01/99
Cooperation and CoordinationBetween Reinforcement Learning Agents inContinuous State Partially Observable Markov Decision Pro - 06/23/99
A Circuit Representation Technique for Automated Circuit Design - 06/22/99
A Comparison of Dynamic Fitness Schedules for Evolutionary Design of Amplifiers - 06/22/99
Visualizing Practical Knowledge: The Haughton-Mars Project - 06/22/99
Experiments on Evolving SW Models of Analog Circuits - 06/22/99
Adding Active Objects to SPIN - 06/10/99
Microphone Array Phased Proc System (MAPPS): Phased ArraySystem for Acoustic Measurements in a Wind Tunnel - 06/10/99
Transformation Systems at NASA Ames - 05/10/99
Managing Personal and Group Collections of Information - 05/10/99
Remote Agent Demonstration - 04/24/99
Autonomous Rovers for Mars Exploration - 04/24/99
Formal Verification of a Power Controller using the Real-TimeModel Checker UPPAAL - 04/13/99
Mechanical Verification of a Garbage Collector - 04/13/99
Practical Application of Model Checking in SW Verification '->Applying Model Checking in Java Verification - 04/13/99
Model Checking Java Programs Using Java Pathfinder - 04/13/99
Increased Flexibility and Robustness of Mars Rovers - 04/13/99
Steady-State Characterization ofBacteriorhodopsin-D85N Photocycle - 03/17/99
Haptic Surface Exploration - 03/17/99
Decimated Input Ensembles for Improved Generalization - 03/17/99
Next Generation RemoteAgent Planner - 03/17/99
Applying NASA Technology to Education A Case Study using Amphion - 03/05/99
Co-Evolution for Task Simplification - 03/05/99
On-Line Fringe Tracking and Prediction of IOTA - 01/27/99
Temporal Planning with Mutual Exclusion Reasoning - 01/22/99
Managing Temporal Uncertainty through Waypoint Controllability - 01/22/99
Cyclic Scheduling - 01/15/99
An Integrated Vehicle Modeling Environment - 01/06/99
First Gov logo
NASA Logo - nasa.gov