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

Publications for All Years (528 out of 528)

Formal Testing for Seperation Assurance
Johann Schumann, Dimitra Giannakopoulou, David Bushnell
Published at: JA: Special Issue Annals of Math and Airt. Intelligence
Date: 06/10/10
ISWHM: Tools and Techniques for Software and System Health Management
Johann Schumann, Ole Mengshoel, Adnan Darwiche
Published at: DASH/Software Health Management TIM 2010
Date: 06/10/10
Slicing and Dicing Bugs in Concurrent Programs
Neha Rungta, Eric Mercer
Published at: 32nd International Conference on Software Engineering
Date: 06/08/10
General Purpose Data-Driven Online System Health Monitoring with Application to Space Operations
David Iverson, Lilijana Spirkovska, Mark Schwabacher
Published at: 53rd Annual ISA POWID Symposium
Date: 06/07/10
Correlated Topics in a Scalable Multidimensional Text Cube- Algorithms and Aviation Safety Case Study
Nikunj Oza, Bo Zhao
Published at: Conference on Knowledge Discovery and Data Mining
Date: 05/28/10
The Role of Enterprise Architecture (EA) for Understanding and Defining Large Projects such as the NASA Con
Ian Sturken, Theodore Kahn
Published at: NASA/ARMY Systems and Software Engineering Forum
Date: 05/22/10
Narrating 'I' and 'We'- Tales From Insurance and Aerospace
Charlotte Linde
Published at: Narrative Matters
Date: 05/19/10
A POMDP for Optimal Motion Planning with Uncertain Dynamics
Nicolas Meuleau, Chris Plaunt, David Smith, Tristan Smith
Published at: Intl Conf on Automated Planning and Scheduline (ICAPS-10)
Date: 05/12/10
Electrical Wire Chafe Fault Detection Analysis
Dogan Timucin, Stefan Schuet, Kevin Wheeler
Published at: Aircraft Airworthiness and Sustainment
Date: 05/04/10
A Model Based Probabilistic Inversion Framework for Wire Fault Detection Using TDR
Stefan Schuet
Published at: International Instrumentation and Measurement Technology
Date: 05/03/10
A Model Based Probabilistic Inversion Framework for Wire Fault Detection Using TDR
Stefan Schuet, Dogan Timucin, Kevin Wheeler
Published at: IEEE International Instrumentation and Measurement Technology Conference
Date: 05/03/10
Slicing and Dicing Bugs in Concurrent Programs
Neha Rungta, Eric Mercer
Published at: 32nd International Conference on Software Engineering
Date: 05/02/10
Initialization and Restart in Stochastic Local Search: Computing a Most Probable Explanation in Bayesian Networks
Ole Mengshoel, Dan Wilkins, Dan Roth
Published at: JA: TKDE
Date: 05/01/10
Enabling Technologies for Next Generation Aircraft and Adaptive Control of Wind Turbines
Susan Frost
Published at: Collaboration meeting w/NREL & Univ WY
Date: 04/29/10
Hyperwall Use as a Tool for Collaboration
Michael Sims, Laurence Edwards, Karen Dodson
Published at: Abscicon Conference
Date: 04/26/10


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