NASA Logo, National Aeronautics and Space Administration

Publications for year 2000 (57 of 1172)

K9 Operations in May '00 Dual-Rover Field Experiment
John Bresina, Maria Bualat, Larry Edwards, Rich Washington, Anne Wright
12/06/00
Neuroelectric Virtual Devices
Kevin Wheeler, Chuck Jorgensen
Published at: Slides
11/21/00
Redirecting by Injector
Robert E Filman, Diana Lee
11/14/00
Predicate Abstraction for Object-Oriented Programs
Seung Joon Park, Willem Visser, Phil Oh
11/14/00
A Framework for Analog Studies of Mars Surface Operations
William Clancey
11/14/00
AWE:Aviation Weather data Visualization Env.
Lilly Spirkovska, Suresh Lodha
11/14/00
Integrated Airplane Health Management System
Jorge Bardina, Bill McDermott, GJ Follen, TM Blaser, WR Pavlik, D Zhang, X Liu
Published at: JANNAF 2st Modeling & Sim CPIA Publication 702
10/30/00
General Temporal Knowledge for Planning and Data Mining
Robert Morris, Lina Khatib
Published at: TIME 01 Symposium
10/30/00
AI's Philosophical Underpinnings
Silvano Colombano
10/30/00
A Software Architecture for Intelligent SE
Robert Filman
10/18/00
Robustness via Run-time Adaptation of Contingent Plans
John L Bresina, Richard Washington
10/18/00
NASA IVHM Technology Experiment for X37
Mark Schwabacher
10/04/00
ScienceDesk Project Overview Materials
Richard M Keller
10/04/00
A Model-Based Health Monitoring and Diagnostic System for the UH-60 Helicopter
Ann Patterson-Hine, William Hindson, Dwight Sanderfer, Somnath Deb, Chuck Domagala
09/27/00
The Application of Time-Frequency Methods to HUMS
Anna Pryor, Marianne Mosher
09/27/00
NASA Smart Probe: Breast Cancer Application
Robert Mah
09/21/00
Aspect-Oriented Programming is Quantifications and Obliviousness
Robert Filman, Daniel P Friedman
09/14/00
Any Two Learning Algorithms are (almost) Exactly Identical
David Wolpert
09/14/00
Holographic Optical Data Storage
Dogan Timucin, John D Downie
09/14/00
Model-based testability assessment and directed troubleshooting of shuttle wiring systems <ABSTRACT>
Somnath Deb, Chuck Domagala, Venkatesh Shrestha, Kevin Cavanaugh, Ann Patterson-Hine, Dwight Sanderfer, Jim Cockrell
09/14/00
Remote Diagnosis of the International Space Station Utilizing Telemetry Data <Abstract>
Somnath Deb, Sudipto Ghoshal, Venkat Malpati, Chuck Domagala, Ann Patterson-Hine, Rick Alena
09/14/00
An Experimental Comparison of Transmission Vibration Responses From OH58C and AH1 Helicoptors
Edward Huff, Irem Tumer
08/28/00
Pilot-Autopilot Interaction: A Formal Perspective
Asaf Degani, Michael Heymann
08/01/00
Generating Statechart Designs from Scenarios
Jonathan Whittle, Johann Schumann
07/27/00
Improved Results for Route Planning in Stochastic Transportation Networks
Justin Boyan, Michael Mitzenmacher
07/27/00
Automated Synthesis of Agent Designs in UML
Johann Schumann, Jonathan Whittle
07/27/00
Generating Data Analysis Programs from Statistical Models - Position Paper
Bernd Fischer, Johann Schumann, Thomas Pressburger
07/18/00
Automatic Debugging Support for UML Designs
Johann Schumann
07/18/00
Designing Human-Centered Autonomous Agents
Gregory Dorais, David Kortenkamp
07/18/00
DEOS Kernel: Environment Modeling Using LTL Assumptions
Corina Pasareanu
07/18/00
The Future of the Internet in Science
Jon Guice, Robert Duffy
07/05/00
Formal Analysis of the Remote Agent Before and After Flight
Klaus Havelund, Michael Lowry, Seung-Joon Park, Charles Pecheur, John Penix, William Visser, Jon L. White
07/05/00
Using Runtime Analysis to Guide Model Checking of Java Programs
Klaus Havelund
07/05/00
Roughness Perception of Haptically Displayed Fractal Surfaces
Michael Costa, Mark Cutkosky
07/05/00
Verification of Plan Models Using UPPAAL
Lina Khatib, Nicola Muscettola, Klaus Havelund
07/05/00
AWE: Aviation Weather Data Visualization Environment
Lilly Spirkovska, Suresh Lodha
06/15/00
Conceptual Coordination Bridges Information Processing and Neuropsychology
William J Clancey
06/09/00
On the Computational Capabilities of Physical Systems, Part I
David Wolpert
06/01/00
On Reformulating Planning As Dynamic Constraint Satisfaction
Jeremy Frank, Ari Jonsson, Paul Morris
06/01/00
AWE: Aviation Weather Data Visualization
Liljuana Spirkovska, Suresh K. Lodha
05/15/00
Human-Centered Design for the Personal Satellite Assistant
Jeffrey M Bradshaw, Maarten Sierhuis, Yuri Gawdiak, Hans Thomas, Mark Greaves, William J Clancey
05/15/00
Applying Aspect-Oriented Programming to Intelligent Synthesis
Robert E Filman
05/15/00
Applying Multi-agent Simulation to Planetary Surface Operations
Maarten Sierhuis, Michael H Sims, William J Clancey, Pascal Lee
05/15/00
ISOWAN: A NASA Science and Engineering Information and Services Framework
David J Korsmeyer, Edward T Chow, Michael P Conroy
05/15/00
Modeling and Simulating Human Behavior
Maarten Sierhuis, William J Clancey, Hoof, Ron va, Hoog, Robert d
05/15/00
From Livingstone to SMV
Charles Pecheur, Reid Simmons
05/15/00
Verification of Time Partitioning in the DEOS Scheduler Kernel
John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger
05/15/00
Expected Utility Distributions for Flexible, Contingent Execution
John Bresina, Richard Washington
04/12/00
Evaluating Manufacturing & Assembly Errors in Rotating Machinery to Enhance Component Performance
Irem Tumer, Edward Huff
04/05/00
Managing Distributed Systems with Smart Subscriptions
Robert E Filman, Diana D Lee
03/20/00
Verification and Validation of Autonomy Software at NASA
Charles Pecheur
03/14/00
Towards Evolving Electronic Circuits for Autonomous Space Applications
Jason Lohn, Gary Haith, Silvano Colombano, Dimitris Stassinopoulos
02/09/00
A Parallel Genetic Algorithm for Automated Electronic Circuit Design
Jason Lohn, Silvano Colombano, Gary Haith, Dimitris Stassinopoulos
02/09/00
Back to the Future: Consistency-based Trajectory Tracking
James Kurien, Pandu Nayak
01/28/00
Executing Temporal Networks with Uncertainty
Paul Morris, Nicola Muscettola
01/25/00
Bridging the Gap Between Planning and Scheduling
David E Smith, Jeremy Frank, Ari Jonsson
01/25/00
SOFIA's Choice: Automating the Scheduling of Airborne Observatory
Jeremy Frank
01/03/00

Search Publications

Date range

Start
End

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

+NASA Home

+Ames Home

Intelligent Systems Division
First Gov logo
NASA Logo - nasa.gov