Publications for year 2005 (159 of 1172)
Formal Approaches to Ensuring the Safety of space Software
Ewen Denney, Bernd Fischer
Published at: Brazilian Sym on Formal M
12/30/05
Ewen Denney, Bernd Fischer
Published at: Brazilian Sym on Formal M
12/30/05
Verification of Autonomous Systems for Space Applications
Guillaume Brat, Ewen Denney, Dimitra Giannakopoulou, Ari Jonsson
Published at: IEEE Aerospace
12/30/05
Guillaume Brat, Ewen Denney, Dimitra Giannakopoulou, Ari Jonsson
Published at: IEEE Aerospace
12/30/05
A Robust Compositional Architecture for Autonomous Systems
Guillaume Brat, Ewen Denney, Kimberley Farrell, Dimitra Giannakopoulou, Ari Jonsson, Jeremy Frank, Mark Boddy, Todd Carpenter, Tara Estlin
Published at: IEEE Aerospace
12/30/05
Guillaume Brat, Ewen Denney, Kimberley Farrell, Dimitra Giannakopoulou, Ari Jonsson, Jeremy Frank, Mark Boddy, Todd Carpenter, Tara Estlin
Published at: IEEE Aerospace
12/30/05
Novel Methods for Predicting Photometric Redshifts from Broad Band Photometry using Virtual Sensors
Michael Way, Ashok Srivatava
Published at: Astrophysical Journal
12/28/05
Michael Way, Ashok Srivatava
Published at: Astrophysical Journal
12/28/05
Performance Estimation of a Neural Networks Based Controller
Johann Schumann, Yan Liu
Published at: Symposium on Neural Networks
12/28/05
Johann Schumann, Yan Liu
Published at: Symposium on Neural Networks
12/28/05
Discovering Atypical Flights in Sequences of Discrete Flight Parameters
Suratna Budalakoti, Ashok Srivastava, Ram Akella
Published at: IEEE Aerospace Conf
12/27/05
Suratna Budalakoti, Ashok Srivastava, Ram Akella
Published at: IEEE Aerospace Conf
12/27/05
Accurate Biomass Estimation via Bayesian Adaptive Sampling
Kevin Wheeler, Kevin Knuth, Joseph Castle, Nikolay Lvov
Published at: AGU
12/27/05
Kevin Wheeler, Kevin Knuth, Joseph Castle, Nikolay Lvov
Published at: AGU
12/27/05
Gesture Based Control and EMG Decomposition
Kevin Wheeler, Mindy Chang, Kevin Knuth
Published at: IEEE Tran on Systems, Man & Cybernetics
12/27/05
Kevin Wheeler, Mindy Chang, Kevin Knuth
Published at: IEEE Tran on Systems, Man & Cybernetics
12/27/05
Collaborative Decision Systems Project Summary of Technology Developments in Human Robotics Interaction
Liam Pedersen, Robert Brummett
Published at: SMC-IT
12/27/05
Liam Pedersen, Robert Brummett
Published at: SMC-IT
12/27/05
The Human-Robot Interaction Operating System
Terrence Fong, Clay Kunz, Laura Hiatt, Magda Bugajska
Published at: ACM Human-robot Interaction
12/27/05
Terrence Fong, Clay Kunz, Laura Hiatt, Magda Bugajska
Published at: ACM Human-robot Interaction
12/27/05
Common Metrics for Human-Robot Interaction
Aaron Steinfeld, Terrence Fong, David Kaber, Michael Lewis, Jean Scholtz, Alan Schultz, Michael Goodrich
Published at: ACM Human-robot Interaction
12/27/05
Aaron Steinfeld, Terrence Fong, David Kaber, Michael Lewis, Jean Scholtz, Alan Schultz, Michael Goodrich
Published at: ACM Human-robot Interaction
12/27/05
EEG-Based Estimation of Mental Fatigue
Leonard Trejo, Rebekah Kochavi, Karla Kubitz, Leslie Montgomery, Roman Rosipal, Bryan Matthews
Published at: Psychophysiology (Blackwell Publishing)
12/27/05
Leonard Trejo, Rebekah Kochavi, Karla Kubitz, Leslie Montgomery, Roman Rosipal, Bryan Matthews
Published at: Psychophysiology (Blackwell Publishing)
12/27/05
Comparison of Event Detection Methods for Centralized Sensor Networks
Julien Sauvageon, Alice Agogino, Ali Farhang-Mehr, Irem Tumer
Published at: IEEE Sensors Application Symposium
12/27/05
Julien Sauvageon, Alice Agogino, Ali Farhang-Mehr, Irem Tumer
Published at: IEEE Sensors Application Symposium
12/27/05
Multimodal Platform Control for Robotic Planetary Exploration Missions
Charles Jorgensen, Bradley Betts
Published at: Space Mission Challenges for IT 2006 (SMC-IT)
12/27/05
Charles Jorgensen, Bradley Betts
Published at: Space Mission Challenges for IT 2006 (SMC-IT)
12/27/05
Language, Space, Time: Anthropological Tools and Scientific Exploration on Mars
Roxana Wales
Published at: American Anthropological
12/15/05
Roxana Wales
Published at: American Anthropological
12/15/05
Stochastic Over-Subscription Planning Using Hierarchies of MDPs
Nicolas Meuleau, Ronen Brafman, Emmanuel Benazera
Published at: ICAPS 06
12/15/05
Nicolas Meuleau, Ronen Brafman, Emmanuel Benazera
Published at: ICAPS 06
12/15/05
Planning to Remember Innovation & Inheritance in the Design of a Moon/Mars Spacecraft
Charlotte Linde
Published at: American Anthropological
11/22/05
Charlotte Linde
Published at: American Anthropological
11/22/05
Anomaly Detection in Aircraft Flight Data: A Sequence Analysis Approach Anomaly Detection in Large Sets of High-Dimensional Symbol Sequences
Suratna Budalakoti, Ashok Srivastava, Ram Akella, Eugene Turkov
Published at: 2006 SIAM International
11/10/05
Suratna Budalakoti, Ashok Srivastava, Ram Akella, Eugene Turkov
Published at: 2006 SIAM International
11/10/05
Photo-realistic Terrain Modeling and Visualization for Mars Exploration Rover Science Operations
Laurence Edwards, Judd Bowman, Clayton Kunz, David Lees, Michael Sims
Published at: IEEE
11/10/05
Laurence Edwards, Judd Bowman, Clayton Kunz, David Lees, Michael Sims
Published at: IEEE
11/10/05
A Review of Diagnostic Techniques for ISHM Applications
Ann Patterson-Hine, Gordon Aaseng, Gautam Biswas, Sriram Narasimhan, Krishna pattipati
Published at: ISHEM Forum 2005
11/10/05
Ann Patterson-Hine, Gordon Aaseng, Gautam Biswas, Sriram Narasimhan, Krishna pattipati
Published at: ISHEM Forum 2005
11/10/05
Software Certification and Software Certifcate Management Systems
Ewen Denney, Bernd Fischer
Published at: Software Certificate Mgmt
11/10/05
Ewen Denney, Bernd Fischer
Published at: Software Certificate Mgmt
11/10/05
Planning to Explore: Using a Coordinated Multisource Infrastructure to Overcome Present and Future Space Flight Planning Challenges
Edward Balaban, Michael Orosz, Tatiana Kichkaylo, Andre Goforth, Adam Sweet, Robert Neches
Published at: AAAI 2006 Spring Symp
11/10/05
Edward Balaban, Michael Orosz, Tatiana Kichkaylo, Andre Goforth, Adam Sweet, Robert Neches
Published at: AAAI 2006 Spring Symp
11/10/05
Modeling and Classifying Six-Dimensional Trajectories for Teleoperation under a Time Delay
Vytas SunSpiral, Kevin Wheeler, Rodney Martin, Mark Allan
Published at: AAAI Spring Symposium
11/10/05
Vytas SunSpiral, Kevin Wheeler, Rodney Martin, Mark Allan
Published at: AAAI Spring Symposium
11/10/05
Infusing Software Assurance Research Techniques into Use
Thomas Pressburger, Ben DiVito, Martin Feather, Michael Hinckey, Lawrence Markosian, Luis Trevino
Published at: IEEE Aerospace Conf
11/10/05
Thomas Pressburger, Ben DiVito, Martin Feather, Michael Hinckey, Lawrence Markosian, Luis Trevino
Published at: IEEE Aerospace Conf
11/10/05
Software Architecture of Sensor Data Distribution in Planetary Exploration
Charles Lee, Richard Alena, John Ossenfort, Ed Walker, Thom Stone, Hugo Notaro
Published at: IEEE Aerospace Conf
11/10/05
Charles Lee, Richard Alena, John Ossenfort, Ed Walker, Thom Stone, Hugo Notaro
Published at: IEEE Aerospace Conf
11/10/05
Trying Not to Build the Same Old Spacecraft: Structural and Political Issues in Design
Charlotte Linde
Published at: Society for the Social Study
10/23/05
Charlotte Linde
Published at: Society for the Social Study
10/23/05
Review: Shouldering Risks: The Culture of Control in the Nuclear Power Industry
Charlotte Linde
Published at: Technology & Culture
10/23/05
Charlotte Linde
Published at: Technology & Culture
10/23/05
Seeing the Invisible: Embedding Tests in Code That Cannot be Modified
Owen O'Malley, Masoud Mansouri-Samani, John Penix
Published at: AIAA Infotech @ Aerospace
10/08/05
Owen O'Malley, Masoud Mansouri-Samani, John Penix
Published at: AIAA Infotech @ Aerospace
10/08/05
Efficient Evaluation Functions for Evolving Coordination
Adrian Agogino, Kagan Tumer
Published at: IEEE Transactions Journal
10/08/05
Adrian Agogino, Kagan Tumer
Published at: IEEE Transactions Journal
10/08/05
Evolving Multi Rover Systems in Dynamic and Noisy Environments
Kagan Tumer, Adrian Agogino
Published at: Springer Book
10/08/05
Kagan Tumer, Adrian Agogino
Published at: Springer Book
10/08/05
Test Input Generation for Red-Black Trees Using Abstraction
Willem Visser, Corina Pasareanu, Radek Pelanek
Published at: ASE Conference
10/08/05
Willem Visser, Corina Pasareanu, Radek Pelanek
Published at: ASE Conference
10/08/05
Expecting the Unexpected - Radiation Hardware Software
Peter Mehlitz, John Penix
Published at: AIAA Infotech @ Aerospace
09/30/05
Peter Mehlitz, John Penix
Published at: AIAA Infotech @ Aerospace
09/30/05
Improving Situational Awareness for First Responders via Mobile Computing
Bradley J Betts, Robert Mah, Richard Papasin, Mundo, Rommel De, Dawn McIntosh, Chuck Jorgensen
Published at: EuroSys 2006 ACM
09/30/05
Bradley J Betts, Robert Mah, Richard Papasin, Mundo, Rommel De, Dawn McIntosh, Chuck Jorgensen
Published at: EuroSys 2006 ACM
09/30/05
Aircraft Fault Detection and Classification Using Multi-Level Immune Learning Detection
Derek Wong, Scott Poll, Kalmanje Krishnakumar
Published at: AIAA Infotech @ Aerospace
09/30/05
Derek Wong, Scott Poll, Kalmanje Krishnakumar
Published at: AIAA Infotech @ Aerospace
09/30/05
Robotic and Human-Tended Collaborative Drilling Automation for Subsurface Exploration
Brian Glass, Howard Cannon, Carol Stoker, Kiel Davis
Published at: 56th IAC/IAF, AIAA
09/23/05
Brian Glass, Howard Cannon, Carol Stoker, Kiel Davis
Published at: 56th IAC/IAF, AIAA
09/23/05
Performance Monitoring and Assessment of Neuro-Adaptive Controllers for Aerospace Applications Using a Bayesian Approach
Pramod Gupta, Kurt Guenther, John Hodgkinson, Stephen Jacklin, Michael Richard, Johann Schumann, Fola Soares
Published at: AIAA 2005
09/23/05
Pramod Gupta, Kurt Guenther, John Hodgkinson, Stephen Jacklin, Michael Richard, Johann Schumann, Fola Soares
Published at: AIAA 2005
09/23/05
Approximation Algorithms and Heuristics for Classical Planning
Jeremy Frank, Ari Jonsson
Published at: Wiley & Sons book chapter
09/23/05
Jeremy Frank, Ari Jonsson
Published at: Wiley & Sons book chapter
09/23/05
Analysis of Aircraft Control Performance Using a Fuzzy Rule Based Representation of the Cooper-Harper Aircraft Handling Quality Rating
Chris Tseng, Pramod Gupta, Johann Schumann
Published at: IEEE 2006
09/23/05
Chris Tseng, Pramod Gupta, Johann Schumann
Published at: IEEE 2006
09/23/05
Inspection with Robotic Microscopic Imaging
Liam Pedersen, Matthew Deans, Clay Kunz, Randy Sargent, Alan Chen, Greg Mungas
Published at: AIAA Space 2005
09/23/05
Liam Pedersen, Matthew Deans, Clay Kunz, Randy Sargent, Alan Chen, Greg Mungas
Published at: AIAA Space 2005
09/23/05
Optimized Algorithms for Prediction within Robotic Tele-Operative Interfaces
Rodney Martin, Kevin R Wheeler, Vytas SunSpiral, Mark B Allan
Published at: Human Robot Interaction '06
09/20/05
Rodney Martin, Kevin R Wheeler, Vytas SunSpiral, Mark B Allan
Published at: Human Robot Interaction '06
09/20/05
Micro-Flying Robotics in Space Missions
Jorge Bardina, Rajkumar Thirumalainambi
Published at: SAE Aerotech World Aero
09/20/05
Jorge Bardina, Rajkumar Thirumalainambi
Published at: SAE Aerotech World Aero
09/20/05
A Survey of Data-Driven Prognostics
Mark Schwabacher
Published at: AIAA Infotech @ Aerospace
09/20/05
Mark Schwabacher
Published at: AIAA Infotech @ Aerospace
09/20/05
Experience with Bayesian Image Based Surface Modeling
John Stutz
Published at: 25th Int'l WS on Bayesian
09/15/05
John Stutz
Published at: 25th Int'l WS on Bayesian
09/15/05
Learning from the Mars Rover Mission: Scientific Discovery, Learning & Memory
Charlotte Linde
Published at: Journal of Knowledge Mgmt
09/15/05
Charlotte Linde
Published at: Journal of Knowledge Mgmt
09/15/05
Inductive Learning Approaches for Improving Pilot Awareness of Aircraft Faults
Lilly Spirkovska, David Iverson, Scott Poll, Anna Pryor
Published at: AIAA Infotech
09/15/05
Lilly Spirkovska, David Iverson, Scott Poll, Anna Pryor
Published at: AIAA Infotech
09/15/05
The Peer-to-Peer Human-Robot Interaction Project
Terrence Fong, Illah Nourbakhsh, Robert Ambrose, Reid Simmons, Alan Schultz, Jean Scholtz
Published at: Space 2005
09/12/05
Terrence Fong, Illah Nourbakhsh, Robert Ambrose, Reid Simmons, Alan Schultz, Jean Scholtz
Published at: Space 2005
09/12/05
Human Centered Computing for Mars Exploration
Jay Trimble
Published at: People Inspired Innovation
08/25/05
Jay Trimble
Published at: People Inspired Innovation
08/25/05
Machine Learning for Rocket Propulsion Health Monitoring
Mark Schwabacher
Published at: SAE World Aerospace Cong
08/11/05
Mark Schwabacher
Published at: SAE World Aerospace Cong
08/11/05
Evolution, Re-evolution and Prototype of an X-Band Antenna for NASA's Space Technology 5 Mission
Jason Lohn, Gregory Hornby, Derek Linden
Published at: 6th Int'l Conf on Evol Sys
08/09/05
Jason Lohn, Gregory Hornby, Derek Linden
Published at: 6th Int'l Conf on Evol Sys
08/09/05
A Survey of Risk-based Design Methodologies, Tools, Practices, and Trends within NASA
Irem Tumer, Francesca Barrientos, Ali Farhang Mehr
Published at: Int'l Conf on Probabilistic
08/05/05
Irem Tumer, Francesca Barrientos, Ali Farhang Mehr
Published at: Int'l Conf on Probabilistic
08/05/05
Certifiable Program Generation
Ewen Denney, Bernd Fischer
Published at: Generative Programming
08/03/05
Ewen Denney, Bernd Fischer
Published at: Generative Programming
08/03/05
Small Vocabulary Communication and Control Using Surface Electromyography in an Accoustically Noisy Environment
Bradley Betts, Charles Jorgensen
Published at: Hawaii Int'l Conf on Systems
08/03/05
Bradley Betts, Charles Jorgensen
Published at: Hawaii Int'l Conf on Systems
08/03/05
A Sun Tracker for Planetary Analog Rovers
Matthew Deans, David Wettergreen, Dan Villa
Published at: iSairas 2005
08/03/05
Matthew Deans, David Wettergreen, Dan Villa
Published at: iSairas 2005
08/03/05
Plan Execution Interchange Language (PLEXIL) for Executable Plans and Command Sequences
Vandi Verma, Ari Jonsonn, Corina Pasareanu, Reid Simmons, Kam Tso
08/03/05
Vandi Verma, Ari Jonsonn, Corina Pasareanu, Reid Simmons, Kam Tso
08/03/05
Drilling Automation for Subsurface Exploration
Brian Glass, Howard Cannon, Edward Balaban, S Hanagud
Published at: 8th ISARIUS
07/19/05
Brian Glass, Howard Cannon, Edward Balaban, S Hanagud
Published at: 8th ISARIUS
07/19/05
Practical Proof Checking for Program Certification
Geoff Sutcliffe, Ewen Denney, Bernd Fischer
Published at: ESCAR
07/15/05
Geoff Sutcliffe, Ewen Denney, Bernd Fischer
Published at: ESCAR
07/15/05
Hierarchical Proof Structures
Ewen Denney, John Power, Konstantinos Tourlas
Published at: Structures and Deductions
07/15/05
Ewen Denney, John Power, Konstantinos Tourlas
Published at: Structures and Deductions
07/15/05
Experiments with Autonomous Software for Planetary Robots: A Simulation Success Story
Lorenzo Fluckiger, Christian Neukom, Greg Pisanich, Eric Buchanan, Michael Wagner, Laura Plice
Published at: 8th Int'l on AI RA
07/15/05
Lorenzo Fluckiger, Christian Neukom, Greg Pisanich, Eric Buchanan, Michael Wagner, Laura Plice
Published at: 8th Int'l on AI RA
07/15/05
Risk-Based Decision-Making for Managing Resources during the Design of Complex Aerospace Systems
Ali Farhang-Mehr, Irem Tumer
Published at: ASME Journal of Mechanical
07/11/05
Ali Farhang-Mehr, Irem Tumer
Published at: ASME Journal of Mechanical
07/11/05
Temporal Constraint Reasoning with Preferences and Probabilities
Robert Morris, Paul Morris, Neil York-Smith, Lina Khatib
07/11/05
Robert Morris, Paul Morris, Neil York-Smith, Lina Khatib
07/11/05
Improvements in Virtual Sensors: Using Spatial Information to estimate Remote Sensing Spectra
Nikunj Oza, Ashok Srivastava, Julienne Stroeve
Published at: IGARSS
07/01/05
Nikunj Oza, Ashok Srivastava, Julienne Stroeve
Published at: IGARSS
07/01/05
Radiation Mitigation and Power Optimization Design Tools for Reconfigurable Hardware in Orbit
Matthew French, Paul Graham, Michael Wirthlin, Li Wang, Gregory Larchev
Published at: Earth-Sun System Tech Conf
07/01/05
Matthew French, Paul Graham, Michael Wirthlin, Li Wang, Gregory Larchev
Published at: Earth-Sun System Tech Conf
07/01/05
Informed Source Separation: A Bayesian Tutorial
Kevin Knuth
Published at: European Sign Proc Conf
07/01/05
Kevin Knuth
Published at: European Sign Proc Conf
07/01/05
Coping with Trail-to-Trial Variability of Event Related Signals: A Bayesian Inference Approach
Mingzhou Ding, Kevin Knuth, Yonghong Chen, Steven Bressler, Charles Schroeder
Published at: European Sign Proc Conf
07/01/05
Mingzhou Ding, Kevin Knuth, Yonghong Chen, Steven Bressler, Charles Schroeder
Published at: European Sign Proc Conf
07/01/05
Semi-Structured Data Management in the Enterprise: A Nimble, High Throughput and Scalable Approach
David Maluf, David Bell, Naveen Ashish, Chris Knight, Peter Tran
Published at: Conf Mgmt System IDEAS 05
07/01/05
David Maluf, David Bell, Naveen Ashish, Chris Knight, Peter Tran
Published at: Conf Mgmt System IDEAS 05
07/01/05
Formal Safety Certification of Aerospace Software
Ewen Denney, Bernd Fischer
Published at: Infotech
07/01/05
Ewen Denney, Bernd Fischer
Published at: Infotech
07/01/05
Hiproofs: A hierarchical notion of proof tree
Ewen Denney, John Power, Konstantinos Tourlas
Published at: Mathematical foundations
07/01/05
Ewen Denney, John Power, Konstantinos Tourlas
Published at: Mathematical foundations
07/01/05
Autobalancing and FDIR for a space-based centrifuge Prototype
Edward Wilson, Robert Mah
Published at: AIAA GN&C
07/01/05
Edward Wilson, Robert Mah
Published at: AIAA GN&C
07/01/05
Predictive Interfaces for Long-Distance Tele- Operations
Kevin Wheeler, Rodney Martin, Mark Allan, Thomas Willeke
Published at: Int'l Symposium on AI, Robot
06/29/05
Kevin Wheeler, Rodney Martin, Mark Allan, Thomas Willeke
Published at: Int'l Symposium on AI, Robot
06/29/05
Brain-Computer Interfaces for 1-D and 2-D Cursor Control: Designs Using Volitional Control of the EEG Spectrum or Steady-State Visual Evoked Potentials
Leonard Trejo, Bryan Matthews, Roman Rosipal
Published at: 3rd Int'l Meeting on BCI
06/29/05
Leonard Trejo, Bryan Matthews, Roman Rosipal
Published at: 3rd Int'l Meeting on BCI
06/29/05
Revealing Relationships among Relevant Climate Variables with Information Theory
Kevin Knuth, Anthony Gotera, Charles T Curry, Karen Huyser, Kevin Wheeler, William b Rossow
Published at: Earth-Sun System Tech Conf Global Energy (GEWEX 2005)
06/27/05
Kevin Knuth, Anthony Gotera, Charles T Curry, Karen Huyser, Kevin Wheeler, William b Rossow
Published at: Earth-Sun System Tech Conf Global Energy (GEWEX 2005)
06/27/05
An Agent-based Inerface to Terrestrial Ecological Forecasting (Abstract)
Keith Golden, Ramakrishna Nemani, Wanlin Pang, Petr Votava
Published at: iSAIRAS 8th
06/22/05
Keith Golden, Ramakrishna Nemani, Wanlin Pang, Petr Votava
Published at: iSAIRAS 8th
06/22/05
Tutorial: Temporal and Resource Reasoning for Planning, Scheduling and Execution
Nicola Muscettola, Luke Hunsberger, Ioannis Tsamardinos
Published at: Int'l Conf on Autonomous Ag
06/09/05
Nicola Muscettola, Luke Hunsberger, Ioannis Tsamardinos
Published at: Int'l Conf on Autonomous Ag
06/09/05
Planner-Based Control of Advanced Life Support Systems
Nicola Muscettola, David Kortenkamp, Chuck Fry, Scott Bell
Published at: 35th Int'l Conf on Env sys
06/09/05
Nicola Muscettola, David Kortenkamp, Chuck Fry, Scott Bell
Published at: 35th Int'l Conf on Env sys
06/09/05
A Comparative Study of Probability Collectives Based Multi-Agent Systems and Genetic Algorithms
David Wolpert, Chien-Feng Huang, Stefan Bieniawski, Charlie Strauss
06/08/05
David Wolpert, Chien-Feng Huang, Stefan Bieniawski, Charlie Strauss
06/08/05
Distributed Constrained Optimization with Semicoordinate Transformation
David Wolpert, William Macready
06/08/05
David Wolpert, William Macready
06/08/05
A Constraint-Based Planner for Data Production
Wanlin Pang, Keith Golden
Published at: IJCAI-05 Workshop
06/08/05
Wanlin Pang, Keith Golden
Published at: IJCAI-05 Workshop
06/08/05
Dynamic Domains in Data Production
Keith Golden, Wanlin Pang
Published at: IJCAI-05 Workshop
06/08/05
Keith Golden, Wanlin Pang
Published at: IJCAI-05 Workshop
06/08/05
Preferences in Data Production Planning
Keith Golden, Ronen Brafman, Wanlin Pang
Published at: IJCAI-05 Workshop
06/03/05
Keith Golden, Ronen Brafman, Wanlin Pang
Published at: IJCAI-05 Workshop
06/03/05
Automatic In-Flight Repair of FPGA Cosmic Ray Damage
Sarah Thompson, Alan Mycroft, Guillaume Brat, Arnaud Venet
Published at: Disruptive Technologies
06/03/05
Sarah Thompson, Alan Mycroft, Guillaume Brat, Arnaud Venet
Published at: Disruptive Technologies
06/03/05
Inspection & Verification of Domain Models with Planworks & Aver
Tania Weiss, Jeremy Frank, Michael Iatauro, Conor McGann
Published at: iCAPS 2005
06/03/05
Tania Weiss, Jeremy Frank, Michael Iatauro, Conor McGann
Published at: iCAPS 2005
06/03/05
Inductive System Health Monitoring with Statistical Metrics
David Iverson
Published at: JANNAF
05/20/05
David Iverson
Published at: JANNAF
05/20/05
A Voice Enabled Procedure Browser for the International Space Station
Manny Rayner, Beth Ann Hockey, Nikos Chatzichrisafis, Kim Farrell, Jean-Michael Renders
Published at: Ass'n for Computational Ling
05/19/05
Manny Rayner, Beth Ann Hockey, Nikos Chatzichrisafis, Kim Farrell, Jean-Michael Renders
Published at: Ass'n for Computational Ling
05/19/05
Communicating Intent for Planning & Scheduling Tasks
Valerie Shalin, Roxana Wales, Deborah Bass
Published at: HCI International Conf
05/19/05
Valerie Shalin, Roxana Wales, Deborah Bass
Published at: HCI International Conf
05/19/05
Software Engineering Research/Developer Collaborations in 2004
Thomas Pressburger, Larry Markosian
Published at: URLS
05/19/05
Thomas Pressburger, Larry Markosian
Published at: URLS
05/19/05
Multi-Target Single Cycle Instrument Placement
Liam Pedersen, David Smith, Matthew Deans, Randy Sargent, Clay Kunz, David Lees, Srikanth Rajagopalan, Maria Bualat
Published at: Int'l Conf on Adv Robotics
05/19/05
Liam Pedersen, David Smith, Matthew Deans, Randy Sargent, Clay Kunz, David Lees, Srikanth Rajagopalan, Maria Bualat
Published at: Int'l Conf on Adv Robotics
05/19/05
Comparative Study of Several Multi-Objective Genetic Algorithms
Mehr, Ali Farhan
Published at: Genetic & Evol Comnputation
05/19/05
Mehr, Ali Farhan
Published at: Genetic & Evol Comnputation
05/19/05
Intelligent Systems: Terrestrial Observation and Prediction Using Remote Sensing
Joseph Coughlan
Published at: iGARS 05
05/19/05
Joseph Coughlan
Published at: iGARS 05
05/19/05
Spoken Language Processing in the Clarissa Procedure Browser
Manny Rayner, Beth Ann Hockey, Jean-Michel Renders, N Chatzichrisafis, Kim Farrell
Published at: Journal of Natural Language Engineering (CIP)
05/19/05
Manny Rayner, Beth Ann Hockey, Jean-Michel Renders, N Chatzichrisafis, Kim Farrell
Published at: Journal of Natural Language Engineering (CIP)
05/19/05
Simple Kernel Methods for Identification of Cross- Talk and Misrecognition
Jean-Michel Renders, Manny Rayner, Beth Ann Hockey
Published at: Interspeech 2005
05/19/05
Jean-Michel Renders, Manny Rayner, Beth Ann Hockey
Published at: Interspeech 2005
05/19/05
Comparison of Grammar-Based and Statistical Language Models Trained on the same Data
Beth Ann Hockey, Manny Rayner
Published at: AAAI WS on Spoken Lang Und
05/19/05
Beth Ann Hockey, Manny Rayner
Published at: AAAI WS on Spoken Lang Und
05/19/05
Fault Discovery by using mined Data
Charles Lee
Published at: Int'l Conf on Parallel & Dist
05/13/05
Charles Lee
Published at: Int'l Conf on Parallel & Dist
05/13/05
Maintaining Situation Awareness with Autonomous Airborne Observation Platforms
Michael Freed, Will Fitzgerald
Published at: Working Together: R&D HS
05/12/05
Michael Freed, Will Fitzgerald
Published at: Working Together: R&D HS
05/12/05
Verification, Validation and Solution Quality in Computational Physics: CFD Methods Applied to ICE Sheet Physics
David E Thompson
Published at: NASA TM
05/05/05
David E Thompson
Published at: NASA TM
05/05/05
Playing Games with Optimal Competitive Scheduling
Jeremy Frank, James Crawford, Lina Khatib, Ronen Brafman
Published at: Int'l Conf on AI
05/05/05
Jeremy Frank, James Crawford, Lina Khatib, Ronen Brafman
Published at: Int'l Conf on AI
05/05/05
Planning with Continuous Resources in Stochastic Domains
Mausam Mausam, Emmanuel Benazera, Ronen Brafman, Nicolas Meuleau, Eric Hansen
Published at: 19th Int'l Joint Conf on AI
05/03/05
Mausam Mausam, Emmanuel Benazera, Ronen Brafman, Nicolas Meuleau, Eric Hansen
Published at: 19th Int'l Joint Conf on AI
05/03/05
An AO* Algorithm for Planning with Continuous Resources
Emmanuel Benazera, Ronen Brafman, Nicolas Meuleau, Mausam Mausam, Eric Hansen
Published at: ICAPS 05 WS on Planning
05/03/05
Emmanuel Benazera, Ronen Brafman, Nicolas Meuleau, Mausam Mausam, Eric Hansen
Published at: ICAPS 05 WS on Planning
05/03/05
Challenges in Verification and Validation of Autonomous Systems for Space Exploration
Guillaume Brat, Ari Jonsson
Published at: IJCCN '05
05/03/05
Guillaume Brat, Ari Jonsson
Published at: IJCCN '05
05/03/05
Measuring, Enabling, and Comparing Modularity Regularity, and Hierarchy in Evolutionary Design
Gregory Hornby
Published at: Genetic and Evol Computation
05/03/05
Gregory Hornby
Published at: Genetic and Evol Computation
05/03/05
Sensor Data Distribution with Robustness & Reliability-Toward Distributed Component Model
Charles Lee, Rick Alena
Published at: Int'l Conf on Parallel & Dist
05/03/05
Charles Lee, Rick Alena
Published at: Int'l Conf on Parallel & Dist
05/03/05
Survey of Command Execution Systems for NASA Spacecraft and Robots
Vandi Verma, Ari Jonsson, Reid Simmons, Tara Estlin, Richard Levinson
Published at: ICAPS
05/03/05
Vandi Verma, Ari Jonsson, Reid Simmons, Tara Estlin, Richard Levinson
Published at: ICAPS
05/03/05
Alternatives to Re-Planning: Methods for Plan Re-evaluation at Runtime
Emmanuel Benazera
Published at: ICAPS
05/03/05
Emmanuel Benazera
Published at: ICAPS
05/03/05
Concrete Model Checking with Abstract Matching and Refinement
Corina Pasareanu, Radek Pelanek, Willem Visser
Published at: 17th Int'l Conf on CAV
04/28/05
Corina Pasareanu, Radek Pelanek, Willem Visser
Published at: 17th Int'l Conf on CAV
04/28/05
Airflow Hazard Visualization for Helicopter Pilots: Flight Simulation Study Results
Cecilia Aragon, Kurtis Long
Published at: AHS Forum 61
04/12/05
Cecilia Aragon, Kurtis Long
Published at: AHS Forum 61
04/12/05
PlanWorks: A Debugging Environment for Constraint Based Planning Systems
Patrick Daley, Jeremy Frank, Michael Iatauro, Conor McGann, Will Taylor
Published at: 15th Int'l Conf on Automated Planning & Scheduling
04/05/05
Patrick Daley, Jeremy Frank, Michael Iatauro, Conor McGann, Will Taylor
Published at: 15th Int'l Conf on Automated Planning & Scheduling
04/05/05
Enterprise Information Integration: Successes, Challenges and Controversies
Alon Halevy, Naveen Ashish, Dina Bitton, Michael Carey, Denise Draper, Jeff Pollock, Arnon Rosenthal
Published at: ACM Sigmod
04/05/05
Alon Halevy, Naveen Ashish, Dina Bitton, Michael Carey, Denise Draper, Jeff Pollock, Arnon Rosenthal
Published at: ACM Sigmod
04/05/05
Mathematical Metaphors: Problem Reformulation and Analysis Strategies
David E Thompson
Published at: NASA TM
04/05/05
David E Thompson
Published at: NASA TM
04/05/05
An Ensemble Approach to Building Mercer Kernels with Prior Information
Ashok Srivastava, Johann Schumann, Bernd Fischer
04/04/05
Ashok Srivastava, Johann Schumann, Bernd Fischer
04/04/05
Abstraction and Assume-guarantee Reasoning for Automated Software Verification
Sagar Chaki, Edmund Clarke, Dimitra Giannakopoulou, Corina Pasareanu
Published at: RIACS Tech Report
04/04/05
Sagar Chaki, Edmund Clarke, Dimitra Giannakopoulou, Corina Pasareanu
Published at: RIACS Tech Report
04/04/05
Towards Failure-based decision-making during design: use-centered design meets design methods research
Francesca Barrientos, Elin R Pedersen, Irem Tumer
Published at: IEEE Int'l Conf on Systems
04/04/05
Francesca Barrientos, Elin R Pedersen, Irem Tumer
Published at: IEEE Int'l Conf on Systems
04/04/05
A Proposal for the Creation of a Diagnostic and Power Port Standard
Thomas Willeke
Published at: NRL
04/04/05
Thomas Willeke
Published at: NRL
04/04/05
Wrappers, Aspects, Quantification and Events
Robert Filman
Published at: Brown-Northeastern Aspects
04/04/05
Robert Filman
Published at: Brown-Northeastern Aspects
04/04/05
Sunspot Pattern Classification Using PCA and Neural Networks
T Rajkumar, David Thompson, GL Slater
Published at: Space Weather Week Conf
03/30/05
T Rajkumar, David Thompson, GL Slater
Published at: Space Weather Week Conf
03/30/05
Business Intelligence Modeling in Launch Operations
Jorge Bardina, Rajkumar Thirumalainambi, RD Davis
Published at: SPIE Defence and Sec
03/21/05
Jorge Bardina, Rajkumar Thirumalainambi, RD Davis
Published at: SPIE Defence and Sec
03/21/05
Non-Intrusive Techniques of Inspections during the Pre-Launch Phase of Space Vehicle
Rajkumar Thirumalainambi, Jorge Bardina
Published at: SPIE Defence and Sec
03/21/05
Rajkumar Thirumalainambi, Jorge Bardina
Published at: SPIE Defence and Sec
03/21/05
Autonomy Software Architecture for LORAX (Life On ice Robotic Antarctic eXplorer)
Ari Jonsson, Conor McGann, Liam Pedersen, Michael Iatauro, Srikanth Rajagopalan
Published at: Int'l Symp on AI, Robotics
03/21/05
Ari Jonsson, Conor McGann, Liam Pedersen, Michael Iatauro, Srikanth Rajagopalan
Published at: Int'l Symp on AI, Robotics
03/21/05
Measures and Models for Predicting Cognitive Fatigue
Leonard Trejo, Rebekah Kochavi, Karla Kubitz, Leslie Montgomey, Roman Rosipal, Bryan Matthews
Published at: Biomonitoring
03/18/05
Leonard Trejo, Rebekah Kochavi, Karla Kubitz, Leslie Montgomey, Roman Rosipal, Bryan Matthews
Published at: Biomonitoring
03/18/05
Towards Development of Advanced Verification and Validation Tools for the Certification of Learning Systems in Aerospace Applications
Stephen Jacklin, Pramod Gupta, Johann Schumann, Michael Richard, Kurt Guenther, Fola Soares
Published at: AIAA Infotech
03/18/05
Stephen Jacklin, Pramod Gupta, Johann Schumann, Michael Richard, Kurt Guenther, Fola Soares
Published at: AIAA Infotech
03/18/05
An Extension to the Kalman Filter for an Improved Detection of Unknown Behavior
Emmanuel Benazera, Sriram Narasimhan
Published at: American Control Conf
03/18/05
Emmanuel Benazera, Sriram Narasimhan
Published at: American Control Conf
03/18/05
Further Geophysical Studies of the Haughton Impact Structure (POSTER)
Brian Glass, Samantha Domville, Pascal Lee
Published at: 36th LPSC
03/12/05
Brian Glass, Samantha Domville, Pascal Lee
Published at: 36th LPSC
03/12/05
Mixed-Initiative Activity Planning for Mars Rovers
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan
Published at: IJCAI
03/11/05
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan
Published at: IJCAI
03/11/05
An Ecological Forecasting Agent
Keith Golden, Ramakrishna Nemani, Wanlin Pang, Petr Votava, Oren Etzioni
Published at: Michigan Tech talk
03/01/05
Keith Golden, Ramakrishna Nemani, Wanlin Pang, Petr Votava, Oren Etzioni
Published at: Michigan Tech talk
03/01/05
Towards G2G: Systems of Technology Database Systems
David Maluf, David Bell
Published at: IEEE Aerospace Conference
02/28/05
David Maluf, David Bell
Published at: IEEE Aerospace Conference
02/28/05
Mission Planning & Target Tracking for Autonomous Instrument Placement
Liam Pedersen, David Smith, Matthew Deans, Clay Kunz, David Lees, Srikanth Rajagopalan
Published at: IEEE Aerospace IEEE ICRA
02/28/05
Liam Pedersen, David Smith, Matthew Deans, Clay Kunz, David Lees, Srikanth Rajagopalan
Published at: IEEE Aerospace IEEE ICRA
02/28/05
Self Dissimilarity as a high dimensional Complexity Measure
DH Wolpert, William Macready
Published at: ICCS
02/28/05
DH Wolpert, William Macready
Published at: ICCS
02/28/05
Coordinating Multi-Rover Systems: Evaluation Functions for Dynamic & Noisy Environments
Kagan Tumer, Adrian Agogino
Published at: Genetic & Evolutionary Comp
02/28/05
Kagan Tumer, Adrian Agogino
Published at: Genetic & Evolutionary Comp
02/28/05
Designing Agent Utilities for Coordinated, Scalable and Robust Multi-Agent Systems
Kagan Tumer
Published at: Book Chapter
02/28/05
Kagan Tumer
Published at: Book Chapter
02/28/05
Efficient Credit Assignment through Evaluation Function Decomposition
Adrian Agogino, Kagan Tumer, Risto Miikkulainen
Published at: Genetic & Evolutionary Comp
02/28/05
Adrian Agogino, Kagan Tumer, Risto Miikkulainen
Published at: Genetic & Evolutionary Comp
02/28/05
Multi-Agent Reward Analysis for Learning in Noisy Domains
Adrian Agogino, Kagan Tumer
Published at: Autonomous Agents
02/28/05
Adrian Agogino, Kagan Tumer
Published at: Autonomous Agents
02/28/05
A Scalable and Robust Multi-Agent Approach to Distributed Optimization
Kagan Tumer
Published at: IJCAI
02/28/05
Kagan Tumer
Published at: IJCAI
02/28/05
High and Dry: Trading Water Vapor, Fuel and Observing Time for Airborne Infrared Astronomy
Jeremy Frank, Elif Kurklu
Published at: Int'l Geoscience & Remote Sen
02/17/05
Jeremy Frank, Elif Kurklu
Published at: Int'l Geoscience & Remote Sen
02/17/05
Brain-Computer Interface (on CD)
Leonard Trejo, Bryan Matthews
Published at: Website posting
02/17/05
Leonard Trejo, Bryan Matthews
Published at: Website posting
02/17/05
A Program Certification Assistant Based on Fully Automated Theorem Provers
Ewen Denney, Bernd Fischer
Published at: User Interfaces (UITP 2005)
02/17/05
Ewen Denney, Bernd Fischer
Published at: User Interfaces (UITP 2005)
02/17/05
Crew-Centered Operations: What HAL 9000 Should Have Been
David J Korsmeyer, Daniel Clancy, James Crawford, Mark Drummond
02/17/05
David J Korsmeyer, Daniel Clancy, James Crawford, Mark Drummond
02/17/05
A Transactional Perspective on the Practice-Based Science of Teaching and Learning
William J Clancey
Published at: The Practice Based Science of
02/17/05
William J Clancey
Published at: The Practice Based Science of
02/17/05
Temporal Dynamic Controllability Revisited
Paul Morris, Nicola Muscettola
Published at: IJCAI 05
02/17/05
Paul Morris, Nicola Muscettola
Published at: IJCAI 05
02/17/05
Performance Monitoring and Assessment of Neuro-Adaptive Controllers for Aerospace Applications Using a Bayesian Approach
Pramod Gupta
Published at: AIAA GNC
02/17/05
Pramod Gupta
Published at: AIAA GNC
02/17/05
Autonomous Operations for the Crew Exploration Vehicle - Trade Study Design Considerations
James Crawford, Charles Weisbin
Published at: STAIF 05
02/17/05
James Crawford, Charles Weisbin
Published at: STAIF 05
02/17/05
Trusted Autonomy for Space Flight Systems
Michael Freed, Pete Bonasso, Mitch Ingham, David Kortenkamp, John Penix
Published at: First Space Exploration Conf
02/03/05
Michael Freed, Pete Bonasso, Mitch Ingham, David Kortenkamp, John Penix
Published at: First Space Exploration Conf
02/03/05
Automating Capcom Using Mobile Agents & Robotic Assistants
William Clancey
Published at: First Space Exploration Conf
02/01/05
William Clancey
Published at: First Space Exploration Conf
02/01/05
Cloud Detection from Satellite Imagery: A Comparison of Expert-Generated and Automatically-Generated Decision Trees
Smadar Shiffman
Published at: SIAM Int'l Conf on Data Mining
01/31/05
Smadar Shiffman
Published at: SIAM Int'l Conf on Data Mining
01/31/05
Interaction Challenges in Human-Robot Space Exploration
Terrence Fong, Illah Nourbakhsh
Published at: ACM Interactions (Journal)
01/31/05
Terrence Fong, Illah Nourbakhsh
Published at: ACM Interactions (Journal)
01/31/05
Aerial Vehicle Surveys of Other Planetary Atmospheres and Surfaces: Imaging/Remote- Sensing Technology Requirements
Larry Young, Greg Pisanich, Corey Ippolito, Rick Alena
Published at: SPIE Imaging Conference
01/14/05
Larry Young, Greg Pisanich, Corey Ippolito, Rick Alena
Published at: SPIE Imaging Conference
01/14/05
The Ames MER Microscopic Imager Toolkit
Randy Sargent, Matthew Deans, Clayton Kunz, Michael Sims, Ken Herkenhoff
Published at: IEEE Aerospace Conf 2005
01/07/05
Randy Sargent, Matthew Deans, Clayton Kunz, Michael Sims, Ken Herkenhoff
Published at: IEEE Aerospace Conf 2005
01/07/05
Search Publications
Date range
Filter by year
2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998
The Intelligence Report
The Intelligence Report is a compilation of articles describing the rich and diverse research and development projects at Ames Research Center's Intelligent Systems Division.
2006-2007
2005-2006
2004-2005
2003-2004
- NASA Official: Dave Korsmeyer
- Curator: ASANI Solutions