Publications for year 2006 (89 of 1172)
Artificial Immune System Based Approach for Air Combat Maneuvering
John Kaneshige, Kalmanje Krishnakumar
Published at: Intl Society for Optical Engineering (SPIE) Defense and Security Symposium
12/19/06
Classification of Damage Signatures in Composite Plates using One-Class SVMs
Santanu Das, Ashok Srivastava, Aditi Chattopadhyay
Published at: IEEE Aerospace Conference 2007
12/19/06
NASA World Wind: Opensource GIS for Mission Operations
David Bell, Frank Kuehnel, Chris Maxwell, Randy Kim, Kushyar Kasraie, Tom Gaskins, Patrick Hogan, Joe Coughlan
Published at: IEEE Aerospace Conference 2007
12/18/06
Earned Value Management at NASA: An Integrated, Lightweight Solution
Peter Putz, David Maluf, David Bell
Published at: IEEE Aerospace Conference 2007
12/18/06
Exploring the Robustness of Risk Reduction Strategies
Julian Richardson, Daniel Port, Martin Feather
Published at: 17th IEEE Intl Symposium on Software Reliability Engineering (ISSRE 2006)
11/17/06
Recent Advances in Mining Aviation Safety Data
Ashok Srivastava
Published at: Aeronautics Seminar Series
11/14/06
Supporting Air Traffic Flow Management with Agents
Shawn Wolfe
Published at: AIAA Infotech @ Aerospace 2007
11/14/06
Power System Agents: The Mobile Agents 2006 Field Test at MDRS
William J Clancey, Maarten Sierhuis, Richard Alena, John Dowding, Michael Scott, Hoof, Ronnie Va
Published at: Mars Society Annual Convention
11/14/06
Tracking Collaborative Decision Making by Capturing Asset Deployment Rationale
Daniel Berrios, Trevor Hodges, Richard Keller
Published at: AIAA Infotech @ Aerospace 2007
11/14/06
Robustness of Model-Based Risk Reduction Strategies
Julian Richardson, Daniel Port, Martin Feather
Published at: 17th IEEE International Symp on SW Reliability
11/07/06
Planning Applications for Three Mars Missions with Ensemble
Arash Aghevli, Andrew Bachmann, John Bresina, Kevin Greene, Bob Kanefsky, James Kurien, Michael McCurdy, Paul Morris, Guy Pyrzak, Christian Ratterman, Alonso Vera, Steven Wragg
Published at: Intl Workshop on Planning & Scheduling for Space
09/11/06
Optimal Control of One-Dimensional Model of Stator Flow Using Air Injection
Nhan Nguyen, Bright Michelle, Culley Dennis
Published at: AIAA/ASME/SAE/ASEE Joint Propulsion Conference
09/11/06
Intelligent Rover Execution for the Detection of Life in the Atacama Desert
Vijayakumar Baskaran, Nicola Muscettola, David Rijsman, Chris Plaunt, Chuck Fry
Published at: AAAI 2006 Fall Symposium on Spacecraft Autonomy
09/11/06
Advanced Technologies for Future Spacecraft Cockpits and Space-Based Control Centers
Carlos Garcia-Galan, Serdar Uckun, William Gregory, Kerry Williams
Published at: International Aerospace Conference
09/11/06
Universal Executive & Plexil: Engine & Language for Robust Spacecraft Control & Operations
Vandi Verma, Ari Jonsson, Corina Pasareanu, Michael Iatauro
Published at: AIAA Space 2006
09/11/06
Human-Robot Site Survey and Sampling for Space Exploration
Terrence Fong, Maria Bualat, Larry Edwards, Lorenzo Flueckiger, Clayton Kunz, Susan Lee, Eric Park, Vinh To, Hans Utz, Nir Ackner, Nicholas Armstrong-Crews, Joseph Gannon
Published at: AIAA Space 2006
09/11/06
Automated Antenna Design with Evolutionary Algorithms
Al Globus, Greg Hornby, Derek Linden, Jason Lohn
Published at: AIAA Space 2006
09/11/06
Model-Unified Planning and Execution for Distributed Autonomous System Control
Pascal Aschwanden, Vijay Baskaran, Sara Bernardini, Chuck Fry, Maria Moreno, Nicola Muscettola, Christian Plaunt, David Rijsman, Paul Tompkins
Published at: AAAI Fall Symposium 2006
09/11/06
If You've Got it, Use it
Chad Frost, George Tucker
Published at: AIAA Atmospheric Flight Mechanics
08/28/06
Model Predictive Optimal Control of a Time-Delay Distributed-Parameter System
Nhan Nguyen
Published at: AIAA Guidance, Navigation and Control Conference
08/18/06
Singular-Arc Time-Optimal Trajectory of Aircraft in Two-Dimensional Wind Field
Nhan Nguyen
Published at: AIAA Guidance, Navigation and Control Conference
08/18/06
Dynamics and Adaptive Control for Stability Recovery of Damaged Aircraft
Nhan Nguyen, Kalmanje Krishnakumar, John Kaneshige, Pascal Nescpeca
Published at: AIAA Guidance, Navigation and Control Conference
08/18/06
LISA Framework for Enhancing Gravitational Wave Signal Extraction Techniques
David Thompson, Rajkumar Thirumalainambi
Published at: LISA Science Analysis
08/18/06
Are you talking to me? Dialogue Systems Supporting Mixed Teams of Humans and Robots
John Dowding, William Clancey, Jeffrey Graham
Published at: AAAI Fall Symposium
08/18/06
DAME: Planetary-Prototype Drilling Automation
Brian Glass, Howard Cannon, S. Hanagud, K. Davis
Published at: AIAA Space '06
08/09/06
Executive Modular Control of Heterogeneous Spacecraft Components and Agents
Brian Glass, Howard Cannon, Scott Christa, Sarah Huffman, Jerome Johnson
Published at: 57th IAC, 2006
08/09/06
Diagnostic Technology Evaluation for On-Board Crew Launch Vehicle
Sandra Hayden, Nikunj Oza, Robert Mah, Ryan Mackey, Sriram Narasimhan, Gabor Karsai, Scott Poll, Somnath Deb, Mark Shirley
08/02/06
Mission Operations Planning with Preferences: An Empirical Study
John Bresina, Lina Khatib, Conor McGann
Published at: Fifth International Wkshp on Planning & Scheduling for Space
06/30/06
Clustering & Recurring Anomaly Identification: Recurring Anomaly Detection System (ReADS)
Dawn McIntosh
Published at: Data Mining Applications in Aeronautics & Space Exploration Workshop, sponsored by the NASA Engineering Safety Center
06/30/06
Semantic Integration of Heterogeneous NASA Mission Data Sources
Richard Keller, Daniel Berrios, Shawn Wolfe, David Hall, Ian Sturken
Published at: American Association for Artificial Intelligence Fall Symposium on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa 2006)
06/30/06
A Modular Robotic System with Applications to Space Exploration
Matthew Hancher, Gregory Hornby
Published at: Space Mission Challenges for Information Technology
06/28/06
Shortcomings with Using Edge Encodings to Represent Graph Structures
Gregory Hornby
Published at: Genetic Programming and Evolvable Machines/Springer
06/28/06
The Future of AI in Space
Steve Chien, Richard Doyle, Ari Jonsson, Ashley Davies, Ralph Lorenz
Published at: IEEE Intelligent Systems
06/28/06
Clear Speaking About Machines: People are Exploring Mars, Not Robots
William Clancey
Published at: Implications of HRI (AAAI Workshop)
06/28/06
Prototype Software for Future Spaceflight Tested at MDRS
William Clancey, Maarten Sierhuis, Rick Alena, John Dowding, Brent Garry, Mike Scott, Paul Tompkins, Hoof, Ron va, Vandi Verma
Published at: Mars Society
06/28/06
Design Teams, Complex Systems and Uncertainty
Francesca Barrientos
Published at: Artificial Intelligence for Engineering Design, Analysis and Manufacturing
06/13/06
QUICR-learning for Multi-Agent Coordination
Adrian Agogino, Tumer Kagan
Published at: 21st Natl Conference on Artificial Intelligence
06/13/06
Mixed-initiative Planning in Space Mission Operations
John Bresina, Paul Morris
Published at: Special issue of AI magazine, published by AAAI
06/13/06
A Generic Annotation Inference Algorithm for the Safety Certification of Automatically Generated Code
Ewen Denney, Bernd Fischer
Published at: Generative Programming and Component Engineering (GPGE '06)
06/09/06
Software Architecture for Planetary & Lunar Robotics
Hans Utz, Terry Fong, Issa Nesnas
Published at: Ulm University, Fraunhofer-Bonn
05/24/06
Evolutionary Based Techniques for Fault Tolerant Field Programmable Gate Arrays
Gregory Larchev, Jason Lohn
Published at: Space Mission Challenges for Information Technology
05/05/06
A Structural Characterization of Temporal Dynamic Controllability
Paul Morris
Published at: 12th Intl Conference on Principles & Practices of Constraint Programming
05/05/06
Drilling Automation Tests at a Lunar/Mars Analog Site
Brian Glass, Howard Cannon, S. Hanagud, Pascal Lee, G Paulsen
Published at: 37th Lunar & Planetary Sciences Conference
05/03/06
Drilling Automation Demonstrations in Subsurface Exploration for Astrobiology
Brian Glass, Howard Cannon, S. Hanagud, Pascal Lee, K. Davis
Published at: Astrobiology Science Conference
05/03/06
A Predictive Theory of Games
David Wolpert
Published at: Games and Economic Behavior/Elsevier
05/03/06
Preliminary Study of Peer-to-Peer Human-Robot Interaction
Terry Fong, Jean Scholtz, Julie Shah, Lorenzo Flueckiger, Clayton Kunz, David Lees, John Schreiner, Michael Siegel, Laura Hiatt, Illah Nourbakhsh, Reid Simmons, Robert Ambrose, Robert Burridge, Brian Antonishek, Magda Bugajska, Alan Schultz, J. Gregory Trafton
Published at: Systems, Man, and Cybernetics/IEEE
04/26/06
Using Correlation to Compute Better Probabiilty Estimates in Plan Graphs
Daniel Bryce, David Smith
Published at: Intl Conference on Automated Planning & Scheduling
04/26/06
Adaptive Inner-Loop Rover Control
Nilesh Kulkarni, Corey Ippolito, Kalmanje Krishnakumar, Khalid Al-Ali
Published at: SMC-IT
04/26/06
Data Mining, SIAM Presentation
Ashok Srivastava, Dawn McIntosh
Published at: JANNAF MSS/LPS/S&MBS Subcommittees
04/17/06
Data Mining for ISHM of Liquid Rocket Propulsion Status Update
Ashok Srivastava
Published at: Rocket Propulsion Health Management Sensor Wkshp
04/17/06
To the North Coast of Devon: Collaborative Navigation While Exploring Unfamiliar Terrain
William J Clancey, Pascal Lee, Charles Cockell, Stephen Braham, Michael Shafto
Published at: Book Chapter
04/03/06
Plan Execution Interchange Language (PLEXIL)
Ari Jonsson, Tara Estlin, Corina Pasareanu, Reid Simmons, Kam Tso, Vandi Verma
Published at: NASA TM
04/03/06
Explaining Verification Conditions
Ewen Denney, Bernd Fischer
Published at: Formal Methods 2006
04/03/06
Generative Representations for Computer-Automated Evolutionary Design
Gregory Hornby
Published at: ERCOFTAL Design Optimisation: Methods & Applications
04/03/06
Software Engineering Research/Developer Collaborations in 2005
Tom Pressburger
Published at: sarpresults.ivv.nasa.gov
04/03/06
Distributed Evaluation Functions for Fault Tolerant Multi-Rover Systems
Adrian Agogino, Kagan Tumer
Published at: Genetic and Evolutionary Comp Conf
02/09/06
Efficient Agent-Based Cluster Ensembles
Adrian Agogino, Kagan Tumer
Published at: 5th Int'l Joint Conf on Autonomous Systems
02/09/06
Efficient Agent-Based Models for Non-Genomic Evolution
Nachi Gupta, Adrian Agogino, Kagan Tumer
Published at: 5th Int'l Joint Conf on Autonomous Systems
02/09/06
Integrated Health Management (ISHM) Technology Demonstration Project Final Report
Greg Pisanich, Ryan Mackey, David Iverson, David Lawrence
Published at: Tech Brief
02/09/06
Engineering Degrees of Agency
Steven Fonseca
Published at: Int'l Conf on SW Engineering
02/08/06
Automated Antenna Design with Evolutionary Algorithms
Al Globus, Greg Hornby, Derek Linden, Jason Lohn, Kalmanje Krishnakumar
02/01/06
Evolutionary Design of a Phased Array Antenna Element
Al Globus, Derek Linden, Jason Lohn
Published at: IEEE AP-S International
02/01/06
ISHM Decision Analysis Tool: Operations Concept
Lilly Spirkovska
Published at: NASA Tech Memorandum
02/01/06
Towards A Compositional Spin
Corina Pasareanu, Dimitra Giannakopoulou
02/01/06
Automatic Certification of Kalman Filters for Reliable Code Generation
Ewen Denney, Bernd Fischer, Johann Schumann, Julian Richardson
Published at: IEEE Aerospace
02/01/06
Symbolic Execution with Abstract Subsumption Checking
Saswat Anand, Corina Pasareanu, Willem Visser
Published at: 13th Int. Spin Workshop on Model Checking
02/01/06
Flexible Rover Architecture for Science Instrumentation and Testing
Maria Bualat, Linda Kobayashi, Susan Lee, Eric Park
Published at: AIAA Space 2006
02/01/06
The NASA Program Management Tool: A New Vision in Business Intelligence
Peter Putz, David Maluf, David Bell, Yuri Gawdiak, Keith Swanson
Published at: IEEE Aerospace Conf
01/23/06