NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Intelligent Systems Division
Intelligent Systems Division Banner

Publications for All Years (598 out of 598)

Icebreaker Presentation
Brian Glass, Chris McKay
Published at: Telecon
Date: 11/16/09
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software
Ewen Denney
Published at: IEEE/ACM International Conference on Automated Software Engineering
Date: 11/16/09
Exploring Data Mining Representations of Track Data
Shawn Wolfe
Published at: SAE Aero Tech
Date: 11/10/09
A Bayesian Formulation for Sub-Pixel Refinement in Stereo Orbital Imagery
Ara Nefian, Kyle Husmann, Michael Broxton, Vinh To, Michael Lundy
Published at: International Conference on Image Processing
Date: 11/08/09
Probabilistic Matching of Lines for Their Homography
Taemin Kim, Jihwan Woo, InSo Kweon
Published at: International Conference on Image Processing
Date: 11/07/09
Compositional Verification for Discovering Failures in Adaptive Flight Control Systems
Sarah Thompson, Misty Davies, Karen Gundy-Burlet
Published at: AIAA Infotech
Date: 11/06/09
Visualization of Global Sensitivity Analysis Results Based on a Combination of Linearly Dependent and Independent Directions
Misty Davies, Karen Gundy-Burlet
Published at: AIAA Infotech
Date: 11/06/09
Deriving Safety Cases from Automatically Constructed Proofs
Ewen Denney, Bernd Fischer, Nurlida Basir
Published at: 4th IET International Conference on System Safety
Date: 10/26/09
Control Relevant Modeling, Analysis, and Design of Scramjet-Powered Hypersonic Vehicles
Armando Rodriguez, Jeffrey Dickeson, Jose Benavides, Don Soloway
Published at: 16th International Space Planes and Hypersonic Systems and Technologies Conference
Date: 10/19/09
The Role of Guidance, Navigation and Control in Hypersonic Vehicle Multidisciplinary Design and Optimization
Peter Ouzts, Don Soloway, Daniel Moerder, David Wolpert, Jose Benavides
Published at: International Space Planes and Hypersonics Sytems and Technologies
Date: 10/19/09
Virtual Planetary Analysis Enviroment for Remote Science
Leslie Keely
Published at: CIDU/AISRP
Date: 10/14/09
Porting Gravitational Wave Signal Extraction to Parallel Virtual Machine (PVM)
Raj Thirumalainambi
Published at: Conference on Intelligent Data Understanding (CIDU)
Date: 10/14/09
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


Filter by year

2016 2015 2014 2013 2012 2011 2010 2009 2008

Publications Search

Archive

2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

First Gov logo
NASA Logo - nasa.gov