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

Publications for All Years (565 out of 565)

Multiple Kernel Learning for Heterogeneous Anomaly Detection: Algorithm and Aviation Safety Case Study
Santanu Das, Bryan Matthews, Ashok Srivastava, Nikunj Oza
Published at: KDD 2010
Date: 07/25/10
Fast and Flexible Multivariate Time Series Subsequence Search
Kanishka Bhaduri, Qiang Zhu, Nikunj Oza, Ashok Srivastava
Published at: ACM SIGKDD
Date: 07/25/10
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System
Johann Schumann, Karen Cate, Alan Lee
Published at: LOPSTR
Date: 07/23/10
Learning Component Interfaces with May and Must Abstractions
Rishabh Singh, Dimitra Giannakopoulou, Corina Pasareanu
Published at: CAV 2010 (Computer Aided Verification)
Date: 07/15/10
Predicting Peak Sector Occupancy with Two-Hour Convective Weather Forecasts
Shawn Wolfe, Deepak Kulkarni
Published at: Aircraft Guidance, Navigation and Control Conference
Date: 07/14/10
A Centralized Multi-Agent Negoitation Apprach To Collaborative Air Traffic Resource Management Planning
Peter Jarvis, Shawn Wolfe, Robert Nado, Francis Enomoto, Maarten Sierhuis
Published at: 22nd Innovative Applications of AI Conference
Date: 07/11/10
A Dynamical Physics Model of Nominal and Faulty Operational Modes of Propellant Loading (Liquid Hydrogen)-From Space Shuttle to Future Missions
Viatcheslav Osipov, Cyrill Muratov, Matthew Daigle, Michael Foygel, Vadim Smelyanskiy
Published at: TM: 216394
Date: 07/08/10
Portfolios in Stochastic Local Search: Efficiently Computing Most Probable Explanations in Bayesian Networks
Ole Mengshoel, Dan Roth, Dan Wilkins
Published at: JA: Journal of Automated Reasoning
Date: 07/01/10
Testing First-Order Logic Axioms in Program Verification
Ewen Denney, KiYung Ahn
Published at: Tests and Proofs 2010
Date: 07/01/10
An Event-based Approack to Distributed Diagnosis of Continous Systems
Matthew Daigle, Indranil Roychoudhury, Gautam Biswas, Xenofon Koutsoukos
Published at: 21st International Workshop on Principles of Diagnosis
Date: 06/30/10
Data-based Predictive Control with Multirate Prediction Step
Jonathan Barlow
Published at: 2010 American Control Conference - ACC2010
Date: 06/30/10
Evolving Systems-Adaptive Key Component Control and Interface of Passivity and Dissipativty
Susan Frost, Mark Balas
Published at: JA: Applied Mathematics and Computation
Date: 06/30/10
A Nonlinear Dyanmic Inversion L1 Adaptive Controller for a Generic Transport Model
Stefan Campbell, John Kaneshige
Published at: American Control Conference
Date: 06/30/10
A Nonlinear Dyamic Inversion Predictor-Based Model Reference Adaptive Controller for a Generic Transport M
Stefan Campbell, John Kaneshige
Published at: American Control Conference
Date: 06/30/10
Resource Balancing Control Allocation
Susan Frost, Marc Bodson
Published at: American Control Conference
Date: 06/30/10

Filter by year

2015 2014 2013 2012 2011 2010 2009 2008

Publications Search


2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

+NASA Home

+Ames Home

Intelligent Systems Division
First Gov logo
NASA Logo -