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

Publications for All Years (528 out of 528)

A Formal Analysis of Requirements-Based Testing
Guillaume Brat
Published at: International Symposium on Software Testing
Date: 07/19/09
User-Centric Multi-Criteria Information Retrieval
Shawn Wolfe
Published at: The 32nd Annual ACM SIGIR Conference
Date: 07/19/09
Model Based Analysis and Test Generation for Flight Software
Corina Pasareanu, Johann Schumann, Peter Mehlitz, Michael Lowry, Gabor Karsai
Published at: SMC-IT Conference
Date: 07/19/09
The Future of Software Certification - a Roadmap
Ewen Denney
Published at: Frontiers of Automated Software Engineering
Date: 07/15/09
Introduction to Brahms- Modeling, Simulation and Development of Multi-Agent Systems with Brahms
Maarten Sierhuis
Published at: 2009 Summer Computer Simulation Conference
Date: 07/13/09
Diagnosis and Reconfiguration using Bayesian Networks: An Electrical Power System Case Study
Ole Mengshoel, Bradley Knox
Published at: 21st International Joint Conferences on Artifical Intelligence
Date: 07/13/09
Developing Large-Scale Bayesian Networks by Composition-Fault Diagnosis of Electrical Power Systems in Aircraft & Spacecraft
Ole Mengshoel
Published at: Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09), SAS09 Workshop
Date: 07/13/09
Generating Code Review Documentation for Auto-Generated Mission-Critical Software
Ewen Denney
Published at: Third IEEE International Conference on Space Mission Challenges for Information Technology
Date: 07/13/09
Abstraction for Efficiently Computing Most Probable Explanations in Bayesian Networks
Ole Mengshoel
Published at: IJCAI/IAAI
Date: 07/11/09
Developing Large-Scale Bayesian Networks by Composition: Fault Diagnosis of Electrical Power Systems in Aircraft and Spacecraft
Ole Mengshoel, Scott Poll, Tolga Kurtoglu
Published at: IJCAI/IAAI-09
Date: 07/11/09
Steady-State ALPS fro Real-Valued Problems
Greg Hornby
Published at: Genetic and Evolutionary Computation Conference
Date: 07/09/09
A Local Scalable Distributed Expectation Maximization Algorithm for Large Peer-to-Peer Networks
Kanishka Bhaduri, Ashok Srivastava
Published at: Knowledge Discovery and Data Mining
Date: 06/28/09
Applying Model-based Diagnosis to a Rapid Propellant Loading System
Charles Goodrich, Sriram Narasimhan, Matthew Daigle, Walter Hatfield, Robert Johnson, Barbara Brown
Published at: 20th International Workshop on Principles of Diagnosis
Date: 06/14/09
Constraint Enforcement for Scramjet-Powered Hypersonic Vehicles with Significant Aero-Elastic-Propulsion Interactions
Don Soloway
Published at: 2009 American Control Conference
Date: 06/10/09
Estimation of Faults in DC Electrical Power System
Dimitry Gorinevsky, Stephen Boyd, Scott Poll
Published at: American Control Conference
Date: 06/10/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