Publications for All Years (417 out of 417)
Data Mining of Air traffic Track Data for NGATS
Johann Schumann, Karen Tung
Published at: CIDU 2009
Date: 10/14/09
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
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
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
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
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
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
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
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
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
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
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
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
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
Elizabeth Foughty
Published at: Journal Article: ACM Interactions
Date: 09/01/09
Informal Overview of HTV Project History
Eleanor Crane
Published at: Stanford Aerospace Robotics Lab Group Meeting
Date: 08/31/09
Eleanor Crane
Published at: Stanford Aerospace Robotics Lab Group Meeting
Date: 08/31/09
- NASA Official: Michael Shafto
- Curator: ASANI Solutions