NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner

Publications for All Years (525 out of 525)

Parameter Estimation of ERIS Model Using Monte Carlo Error
Raj Thirumalainambi, Johann Schumann, Peter Berg, Anupa Bajwa
Published at: Conference on Intelligent Data Understanding (CIDU)
Date: 10/14/09
Data Mining of Air traffic Track Data for NGATS
Johann Schumann, Karen Tung
Published at: CIDU 2009
Date: 10/14/09
Assessment of Robotic Recon for Human Exploration of the Moon
Terry Fong, Andrew Abercromby, Maria Bualat, Matt Deans, Kip Hodges
Published at: International Astronautical Congress
Date: 10/12/09
Human/Automations Trade Methodology for the Moon, Mars and Beyond
David Korsmeyer
Published at: 60th IAC
Date: 10/12/09
Testing First-Order Axioms in AutoCert
KiYung Ahn, Ewen Denney
Published at: The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) and Systems (APLAS 2009)
Date: 10/08/09
Human/Automation Trade Methodology for the Mood, Mars and Beyond
David Korsmeyer
Published at: 59th International Astronautical Congress
Date: 09/29/09
Methods for Probabilistic Fault Diagnosis- An Electrical Power System Case Study
Brian Ricks, Ole Mengshoel
Published at: Annual Conference of the Prognostics and Health Management Society 2009
Date: 09/27/09
Towards Verification of Operational Procedures using Auto-Generated Diagnostic Trees
Tolga Kurtoglu, Robyn Lutz, Ann Patterson-Hine
Published at: Annual Conference of the Prognostics and Health Management Society 2009
Date: 09/27/09
On Applying the Prognostics Performance Metrics
Abhinav Saxena, Jose Celaya-Galvan, Bhaskar Saha, Sankalita Saha, Kai Goebel
Published at: 1st Annual Conference of the Prognostics and Health Management Society
Date: 09/27/09
Model-Based Diagnostics and Prognostics for Solid Rocket Motors
Dimitry Luchinsky, Vadim Smelyanskiy, Ann Patterson-Hine, Viatcheslav Osipov
Published at: 1st Annual Conference of the Prognostics and Health Management Society
Date: 09/27/09
Model-based Verification and Validation for Procedure Authoring
Guillaume Brat, Dimitra Giannakopoulou, Michel Izygon, Emmy Alex, Lui Wang
Published at: Verification and validaiton of planning and scheduling systems
Date: 09/20/09
PDVer, a Tool to Verify PDDL Planning Domains
Guillaume Brat, Franco Raimondi, Charles Pecheur
Published at: Verification and validation of planning and scheduling systems
Date: 09/20/09
A Comparison of Risk Sensitive Path Planning Methods for Aircraft Emergency Landing
Nicolas Meuleau, Chris Plaunt, David Smith, Tristan Smith
Published at: 19th International Conference on Automated Planning and Scheduling Workshop
Date: 09/19/09
Highly Scalable Matching Pursuit Signal Decomposition Algorithm
Santanu Das
Published at: International Workshop on Structral Health Monitoring
Date: 09/11/09
Web 2.0 in Government
Elizabeth Foughty
Published at: Journal Article: ACM Interactions
Date: 09/01/09


Filter by year

2014 2013 2012 2011 2010 2009 2008

Publications Search

Archive

2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

+NASA Home

+Ames Home

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