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

Publications for All Years (522 out of 522)

The Emergency Landing Planner Experiment
David Smith, Nicolas Meuleau, Christian Neukom, Chris Plaunt, Tristan Smith
Published at: Conference: 21st International Conference on Automated Planning and Scheduling (ICAPS): Freiburg, Germany
Date: 06/11/11
The Challenge of configuring Model-Based Space Mission Planners
Jeremy Frank, Bradley Clement, JohnMarvin Chachere, Tristan Smith, Keith Swanson
Published at: Conference: 7th International Workshop on Planning and Scheduling for Space (IWPSS); Darmstadt, Germany
Date: 06/11/11
Finding Mutual Exclusion Invariants in Temporal Planning Domains
Sara Bernardini, David Smith
Published at: Conference: 7th International Workshop on Planning and Scheduling for Space (IWPSS); Darmstadt, Germany
Date: 06/08/11
Lectures on Work Systems Design: Knowledge Representation and Software Engineering Methods for Multi-cultural System Design, Modeling, and Representation
William Clancey
Published at: Oral or Visual Presentation: Kuala Lumpur, Malaysia
Date: 06/06/11
A Dynamical Model of Rocket Propellant Loading with Liquid Hydrogen
Viatcheslav Osipov, Matt Daigle, Cyrill Muratov, Michael Foygel, Vadim Smelyanskiy
Published at: Journal Artical: Journal of Spacecraft and Rockets
Date: 06/01/11
LCROSS Flight Team Development and Operations Experience
Paul Tompkins, David Hunt, John Bresina, Khaled Galal, Mark Shirley
Published at: Book Chapter: Space Operations: Exploration, Scientific Utilization and Technology Development
Date: 06/01/11
Distributed Anomaly Detection using 1-class SVM for Vertically Partitioned Data
Kamalika Das, Kanishka Bhaduri, Petr Votava
Published at: Journal Article: Statistical Analysis and Data Mining
Date: 05/31/11
Generator speed regulation in the presence of structural modes through adaptive control using residual mode filters
Susan Frost, Mark Balas, Alan Wright
Published at: Journal Article: Mechatronics
Date: 05/31/11
Rapid Property Specification and Checking for Model-Based Formalisms
Daniel Balasubramanian, Gabor Pap, Harbor Nine, Gabor Karsai, Michael Lowry, Corina Pasareanu, Tom Pressburger
Published at: International Symposium on Rapid System Prototyping (RSP'2011); Karsruhe, Germany
Date: 05/24/11
Prognostics of Power MOSFET
Jose Celaya-Galvan, Abhinav Saxena, Vladislav Vashchenko, Sankalita Saha, Kai Goebel
Published at: Conference: International Symposium on Power Semiconductor Devices and IC's; San Diego, CA
Date: 05/23/11
Prognostics of Power MOSFET
Jose Celaya-Galvan, Vladislav Vashchenko, Abhinav Saxena, Sankalita Saha, Kai Goebel
Published at: Conference: International Symposium on Power Semiconductor Devices and IC's; San Diego, CA
Date: 05/22/11
Symbolic Execution Enhanced System Testing
Misty Davies, Corina Pasareanu, Vishwanath Raman
Published at: 33rd International Conference on Software Engineering
Date: 05/21/11
Symbolic Execution for Software Testing in Practice Preliminary Assessment
Corina Pasareanu, Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Koushik Sen
Published at: Conference: International Conference on Software Engineering (ICSE 2011); Honolulu, HI
Date: 05/21/11
Vision Workbench and Ames Stereo Pipeline
Zachary Moratto
Published at: Oral or Visual Presentation: Internal Private Meeting Moffett Field, CA
Date: 05/03/11
Distributed Monitoring of the R2 Statistic for Linear Regression
Kanishka Bhaduri, Kamalika Das, Chris Giannella
Published at: Conference: SIAM Data Mining Conference, Mesa AZ
Date: 04/28/11


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