Publications for year 2003 (166 of 1172)
The MER/CIP Portal for Ground Operations
Louise Chan, Sanjay Desai, Matthew D'Ortenzio, Robert E Filman, Dennis M Heher, Kim Hubbard, Sandra Johan, Leslie Keely, Vish Magapu, Ronald Mak, Quit Nguyen, Tarang K Patel, John Schreiner, Elias Sinderson, Joan D Walton
Published at: Ground Systems Arch
12/15/03
Louise Chan, Sanjay Desai, Matthew D'Ortenzio, Robert E Filman, Dennis M Heher, Kim Hubbard, Sandra Johan, Leslie Keely, Vish Magapu, Ronald Mak, Quit Nguyen, Tarang K Patel, John Schreiner, Elias Sinderson, Joan D Walton
Published at: Ground Systems Arch
12/15/03
Motion Based System Identification and Fault Detection and Isolation Technologies for Thruster Controlled Spacecraft
Edward Wilson, Bradley Betts, Christopher Lages, Robert Mah, David Sutter, Dustin Berkovitz, Edmund Kong
Published at: Jannaf
12/08/03
Edward Wilson, Bradley Betts, Christopher Lages, Robert Mah, David Sutter, Dustin Berkovitz, Edmund Kong
Published at: Jannaf
12/08/03
Lessons Learned from Using a Livingstone Model to Diagnose a Main Propulsion System
Adam Sweet, Anupa Bajwa
Published at: Jannaf
11/24/03
Adam Sweet, Anupa Bajwa
Published at: Jannaf
11/24/03
Survey of Software Assurance Techniques for Highly Reliable Systems
Stacy Nelson
Published at: Contractor Report
11/14/03
Stacy Nelson
Published at: Contractor Report
11/14/03
Automated Testing Using Symbolic Execution and Temporal Monitoring
Cyrille Artho, Allen Goldberg, Klaus Havelund, Sarfraz Kurshid, Michael Lowry, Corina Pasareanu, Grigore Rosu, Willem Visser, Richard Washington
Published at: Theroetical Computer Science (Journal)
11/14/03
Cyrille Artho, Allen Goldberg, Klaus Havelund, Sarfraz Kurshid, Michael Lowry, Corina Pasareanu, Grigore Rosu, Willem Visser, Richard Washington
Published at: Theroetical Computer Science (Journal)
11/14/03
Execution-Based Model Checking of Interrupt-Based Systems
Doron Drusinsky, Klaus Havelund
Published at: Int'l Conf on Dependable Sys
11/14/03
Doron Drusinsky, Klaus Havelund
Published at: Int'l Conf on Dependable Sys
11/14/03
EAGLE Monitors by Collecting Facts and Generating Obligations
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Published at: TACAS '04
11/14/03
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Published at: TACAS '04
11/14/03
Efficient Monitoring of Safety Properties
Klaus Havelund, Grigore Rosu
Published at: SF Tools for Tech Xfer (Journal)
11/14/03
Klaus Havelund, Grigore Rosu
Published at: SF Tools for Tech Xfer (Journal)
11/14/03
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
Published at: Formal Methods in Systems Design (Journal)
11/14/03
Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
Published at: Formal Methods in Systems Design (Journal)
11/14/03
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser
Published at: CMU Workshop on Model Checking
11/14/03
Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser
Published at: CMU Workshop on Model Checking
11/14/03
Automated Data Processing as an AI Planning Problem
Keith Golden, Wanlin Pang, Ramakrishna Nemani, Petr Votava
Published at: ICAP 2004
11/12/03
Keith Golden, Wanlin Pang, Ramakrishna Nemani, Petr Votava
Published at: ICAP 2004
11/12/03
Design of Hybrid Mobile Communication Networks for Planetary Exploration
Richard Alena, John Ossenfort, Charles Lee, Edward Walker, Thom Stone
Published at: IEEE Aerospace Conference
11/12/03
Richard Alena, John Ossenfort, Charles Lee, Edward Walker, Thom Stone
Published at: IEEE Aerospace Conference
11/12/03
Plan-Graph Based Heuristics for Conformant Probablistic Planning
Sailesh Ramakrishnan, Martha E. Pollack, David E. Smith
Published at: ICAP 2004
11/12/03
Sailesh Ramakrishnan, Martha E. Pollack, David E. Smith
Published at: ICAP 2004
11/12/03
Actions, Observations, and Decision-Making Biologically Inspired Strategies for Autonomous Aerial Vehicles
Greg Pisanich, Larry Young, Corey Ippolito, Benton Lau, Laura Plice
Published at: AIAA
11/12/03
Greg Pisanich, Larry Young, Corey Ippolito, Benton Lau, Laura Plice
Published at: AIAA
11/12/03
Mission Simulation Facility: Simulation Support for Autonomy Development
Lorenzo Flueckiger, Christian Neukom, Michael Wagner, Laura Plice, Greg Pisanich
Published at: AIAA
11/12/03
Lorenzo Flueckiger, Christian Neukom, Michael Wagner, Laura Plice, Greg Pisanich
Published at: AIAA
11/12/03
A Comparison of Techniques for Scheduling Fleets of Earth-Observing Satellites
Al Globus, James Crawford, Jason Lohn, Anna Pryor
Published at: ICAP 2004
11/12/03
Al Globus, James Crawford, Jason Lohn, Anna Pryor
Published at: ICAP 2004
11/12/03
Incremental Maximum Flows for Fast Envelope Computation
Nicola Muscettola
Published at: ICAP 2004
11/12/03
Nicola Muscettola
Published at: ICAP 2004
11/12/03
Scheduling in the Face of Uncertain Resource Consumption & Utility Resource-Bounded Scheduling Under Uncertainty
Jeremy Frank, Richard Dearden
Published at: 14th Int'l Conf on Auto P&S
11/03/03
Jeremy Frank, Richard Dearden
Published at: 14th Int'l Conf on Auto P&S
11/03/03
Observations on SOFIA Observation Scheduling: Search and Inference in the Face of Discrete and Continuous Constraints
Jeremy Frank, Michael Gross, Elif Kurklu
Published at: 14th Int'l Conf on Auto P&S
11/03/03
Jeremy Frank, Michael Gross, Elif Kurklu
Published at: 14th Int'l Conf on Auto P&S
11/03/03
Scoping Planning Agents with Shared Models
Tania Bedrax-Weiss, Jeremy Frank, Ari Jonsson, Conor McGann
Published at: 14th Int'l Conf on Auto P&S
11/03/03
Tania Bedrax-Weiss, Jeremy Frank, Ari Jonsson, Conor McGann
Published at: 14th Int'l Conf on Auto P&S
11/03/03
An Analysis Methodology for the Gamma Ray Large Area Space Telescope
Robin Morris, J Cohen-Tanugi
Published at: Max Entropy & bayesian
10/17/03
Robin Morris, J Cohen-Tanugi
Published at: Max Entropy & bayesian
10/17/03
From Research to Operations Integrating Components of an Advanced Diagnostic System with an Aspect-Oriented Framework
Daryl Fletcher, Richard Alena, Faisal Akkawi, Daniel Duncavage
Published at: IEEE Aerospace Conf
10/17/03
Daryl Fletcher, Richard Alena, Faisal Akkawi, Daniel Duncavage
Published at: IEEE Aerospace Conf
10/17/03
Modeling and Validating Interaction Aspects in UML
Jonathan Whittle
Published at: UML Conference
10/17/03
Jonathan Whittle
Published at: UML Conference
10/17/03
HealthWatch-2
Eric Barszcz, Marianne Mosher, Edward M Huff
Published at: American Helicopter Socient
10/09/03
Eric Barszcz, Marianne Mosher, Edward M Huff
Published at: American Helicopter Socient
10/09/03
Terrain Model Registration for Single Cycle Instrument Placement
Matthew Deans, Clay Kunz, Randy Sargent, Liam Pedersen
Published at: IEEE IROS 2003
10/09/03
Matthew Deans, Clay Kunz, Randy Sargent, Liam Pedersen
Published at: IEEE IROS 2003
10/09/03
First Workshop on Advancing the State of the Art in Run-Time Inspection
Robert Filman, Katharina Mehner, Michael Haupt
Published at: ECOOP 2003 Workshop
10/09/03
Robert Filman, Katharina Mehner, Michael Haupt
Published at: ECOOP 2003 Workshop
10/09/03
Communications Abstractions for Distributed Systems
Antonine Beugnard, Ludger Fiege, Robert Filman, Eric Jul, Salah Sadou
Published at: ECOOP 2003 Workshop
10/09/03
Antonine Beugnard, Ludger Fiege, Robert Filman, Eric Jul, Salah Sadou
Published at: ECOOP 2003 Workshop
10/09/03
Applying JLINT to Space Exploration Software
Cyrille Artho, Klaus Havelund
Published at: VMCAI 2004
10/03/03
Cyrille Artho, Klaus Havelund
Published at: VMCAI 2004
10/03/03
Analysis of In-Flight Vibration Measurements from Helicopter Transmissions
Marianne Mosher, Edward Huff, Eric Barszcz
Published at: 60th AHS
10/03/03
Marianne Mosher, Edward Huff, Eric Barszcz
Published at: 60th AHS
10/03/03
Rule-Based Runtime Verification
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Published at: VMCAI '04
10/03/03
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Published at: VMCAI '04
10/03/03
Eagle Can Do Efficient LTL Monitoring
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Published at: Fossacs or Taccas
10/03/03
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Published at: Fossacs or Taccas
10/03/03
The Case for Durative Actions: A Commentary on PDDL2.1
David E Smith
Published at: Journal of AI Research
09/18/03
David E Smith
Published at: Journal of AI Research
09/18/03
NETMARK: A Schema-less Extensions for Relational Databases for Managing Semi-Structured Data Dynamically
David Maluf, Peter Tran
Published at: ISMIS 2003 Conference
09/18/03
David Maluf, Peter Tran
Published at: ISMIS 2003 Conference
09/18/03
Robosphere: Self Sustaining Robotic Ecologies as Precursors to Human Planetary Exploration
Silvano Colombano
Published at: AIAA Space 2003
09/11/03
Silvano Colombano
Published at: AIAA Space 2003
09/11/03
Automating Capcom: Pragmatic Operations and Technology Research for Human Exploration of Mars
William Clancey
Published at: Mars Expedition Planning
09/04/03
William Clancey
Published at: Mars Expedition Planning
09/04/03
Traceability Through Automatic Program Generation
Julian Richardson, Jeffrey Green
Published at: 2nd Int'l WS on Traceability
09/04/03
Julian Richardson, Jeffrey Green
Published at: 2nd Int'l WS on Traceability
09/04/03
Automated Environment Generation for Software Model Checking
Oksana Tkachuk, Matt Dwyer, Corina Pasreanu
Published at: ASE -03 Conference
09/04/03
Oksana Tkachuk, Matt Dwyer, Corina Pasreanu
Published at: ASE -03 Conference
09/04/03
Proof Rules for Automated Compositional Verification Through Learning
Howard Barringer, Dimitra Giannakopoulou, Corina Pasareanu
Published at: SAVCBS '03 Workshop
09/04/03
Howard Barringer, Dimitra Giannakopoulou, Corina Pasareanu
Published at: SAVCBS '03 Workshop
09/04/03
Program Analysis Using Abstract Interpretation
Guillaume Brat, Arnaud Venet
Published at: ASE Conference
09/04/03
Guillaume Brat, Arnaud Venet
Published at: ASE Conference
09/04/03
NASA's MERBoard: An Interactive Collaborative Workspace Platform
Jay Trimble, Roxana Wales, Rich Gossweiller
Published at: Book chapter
08/22/03
Jay Trimble, Roxana Wales, Rich Gossweiller
Published at: Book chapter
08/22/03
Cooperative Exploration of Martian Terrains with the "Scorpion" Legged Robot as an Adjunct to a Rover
Silvano Colombano, Frank Kirchner, Dirk Spenneberg, Jared Starman, James Hanratty
Published at: Mars Soc Conference
08/22/03
Silvano Colombano, Frank Kirchner, Dirk Spenneberg, Jared Starman, James Hanratty
Published at: Mars Soc Conference
08/22/03
Generative Representations for the Automated Design of Modular Physical Robots
Greogry S Hornby, Hod Lipson, Jordan B Pollack
Published at: IEEE Tranactions on Robotics
08/22/03
Greogry S Hornby, Hod Lipson, Jordan B Pollack
Published at: IEEE Tranactions on Robotics
08/22/03
Adding Concrete Syntax to a Prolog-Based Program Synthesis System
Bernd Fischer, Eelco Visser
Published at: LOPSTR
08/22/03
Bernd Fischer, Eelco Visser
Published at: LOPSTR
08/22/03
Developing an Autonomy Infusion Infrastructure for Robotic Exploration (Abstract Only)
Maria Bualat, Clayton Kunz, Issa Nesnas, Anne Wright
Published at: IEEE Aerospace Conf
08/22/03
Maria Bualat, Clayton Kunz, Issa Nesnas, Anne Wright
Published at: IEEE Aerospace Conf
08/22/03
Developing Visualization Techniques for Semantics-based Information Networks
Richard Keller, David R Hall
Published at: Workshop on Visualizing Info
08/05/03
Richard Keller, David R Hall
Published at: Workshop on Visualizing Info
08/05/03
Semantic Information Retrieval: Developing A Web-based User Interface
Daniel Berrios, Richard Keller
Published at: 2nd Int'l Semantic Web Conf
08/05/03
Daniel Berrios, Richard Keller
Published at: 2nd Int'l Semantic Web Conf
08/05/03
Constraint Maintenance with Preferences and Underlying Flexible Solution
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan
08/05/03
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan
08/05/03
System Modeling and Diagnostics for Liquefying Fuel Hybrid Rockets
Scott Poll, David Iverson, Jeremy Ou, Dwight Sanderfer, Ann Patterson-Hine
Published at: NASA TM 2003-212270
08/05/03
Scott Poll, David Iverson, Jeremy Ou, Dwight Sanderfer, Ann Patterson-Hine
Published at: NASA TM 2003-212270
08/05/03
Instrumentation of Java Bytecode for Runtime Analysis
Allen Goldberg, Klaus Havelund
Published at: Formal Techniques
08/04/03
Allen Goldberg, Klaus Havelund
Published at: Formal Techniques
08/04/03
Integrated System Health Management for Re-usable In-space Transportation Systems
Anthony Gross, Brian Glass, Ann Patterson-Hine, Joan Pallix
08/04/03
Anthony Gross, Brian Glass, Ann Patterson-Hine, Joan Pallix
08/04/03
Initial Efforts Towards Mission-Representative Imaging Surveys from Aerial Explorers
Greg Pisanich, Larry Young, Cory Ippolito, Benton Lau, Laura Plice, Ted Roush, Pascal Lee, Sarita Thakoor
07/17/03
Greg Pisanich, Larry Young, Cory Ippolito, Benton Lau, Laura Plice, Ted Roush, Pascal Lee, Sarita Thakoor
07/17/03
An Extensible Information Grid for Risk Management
David Bell, David Maluf
Published at: SAE International WAC
07/17/03
David Bell, David Maluf
Published at: SAE International WAC
07/17/03
Generative Representations for Evolving Families of Designs
Gregory Hornby
Published at: Genetic and Evo'n Computing
07/15/03
Gregory Hornby
Published at: Genetic and Evo'n Computing
07/15/03
Compressing Aviation Data in XML Format
Hemil Patel, Derek Lau, Deepak Kulkarni
Published at: World Aviation Congress
07/15/03
Hemil Patel, Derek Lau, Deepak Kulkarni
Published at: World Aviation Congress
07/15/03
Aviation Data Integration System
Deepak Kulkarni, Yao Wang, May Windrem, Hemil Patel, Richard Keller
Published at: World Aviation Congress
07/15/03
Deepak Kulkarni, Yao Wang, May Windrem, Hemil Patel, Richard Keller
Published at: World Aviation Congress
07/15/03
Evolvable Systems for Space Applications
Jason Lohn, James Crawford, Al Globus, Gregory Hornby, William Kraus, Greg Larchev, Anna Pryor, Ashok Srivastava
Published at: 2003 Space Mission Chall
07/15/03
Jason Lohn, James Crawford, Al Globus, Gregory Hornby, William Kraus, Greg Larchev, Anna Pryor, Ashok Srivastava
Published at: 2003 Space Mission Chall
07/15/03
Evolutionary Design of an X-Band Antenna for NASA's Space Technology 5 Mission
Jason Lohn, Derek Linden, Gregory Hornby, William Kraus, Adan Rodriguez-Arroyo, Stephen Seurfer
Published at: 2003 NASA/DOD Ev HW
07/15/03
Jason Lohn, Derek Linden, Gregory Hornby, William Kraus, Adan Rodriguez-Arroyo, Stephen Seurfer
Published at: 2003 NASA/DOD Ev HW
07/15/03
Differentially Variable Component Analysis (dVCA): A New Tool for Understanding Single- Trial Brain Responses
Kevin Knuth, A.S. Shah, WA Truccolo, M Ding, SL Bressler, CE Schroeder
Published at: Society for NeuroSciences
07/15/03
Kevin Knuth, A.S. Shah, WA Truccolo, M Ding, SL Bressler, CE Schroeder
Published at: Society for NeuroSciences
07/15/03
Differentially Variable Component Analysis (dVCA): A Single-Trial Analysis Method for Sensory Responses and Ongoing Oscillations
A.S. Shah, Kevin Knuth, P Lakatos, CM Chen, CE Schroeder
Published at: Society for NeuroSciences
07/15/03
A.S. Shah, Kevin Knuth, P Lakatos, CM Chen, CE Schroeder
Published at: Society for NeuroSciences
07/15/03
A Spatiotemporal Map of 40 Hz Oscillations Across Visual areas
T McGinnis, N O'Connell, A Mills, A.S. Shah, P Lakatos, Kevin Knuth, CM Chen, G. Karmos, CE Schroeder
Published at: Society for NeuroSciences
07/15/03
T McGinnis, N O'Connell, A Mills, A.S. Shah, P Lakatos, Kevin Knuth, CM Chen, G. Karmos, CE Schroeder
Published at: Society for NeuroSciences
07/15/03
Questions Revisited: A Close Examination of the Calculus of Inference and Inquiry
Kevin Knuth
Published at: MaxENT 2003
07/15/03
Kevin Knuth
Published at: MaxENT 2003
07/15/03
Lessons from Applying Differentially Variable Component Analysis (dVCA) to Electroencephalographic Activity
A.S. Shah, Kevin Knuth, P Lakatos, CE Schroeder
Published at: MaxENT 2003
07/15/03
A.S. Shah, Kevin Knuth, P Lakatos, CE Schroeder
Published at: MaxENT 2003
07/15/03
Web-based Weather Expert System (WES) for Space Shuttle Launch
T Rajkumar, Jorge Bardina
Published at: IEEE SMC 2003
07/15/03
T Rajkumar, Jorge Bardina
Published at: IEEE SMC 2003
07/15/03
Density Estimation with Mercer Kernels
William G Macready
Published at: Neural Info Proc System
06/18/03
William G Macready
Published at: Neural Info Proc System
06/18/03
Neural Network Based Modeling and Analysis of LP Control Surface Allocation
Reza Langari, Kalmanje Krishnakumar, Karen Gundy-Burlet
Published at: AIAA GNC Conference
06/18/03
Reza Langari, Kalmanje Krishnakumar, Karen Gundy-Burlet
Published at: AIAA GNC Conference
06/18/03
Control Reallocation Strategies for Damage Adaptation in Transport Class Aircraft
Karen Gundy-Burlet, Kalmanje Krishnakumar, Greg Limes, Don Bryant
Published at: AIAA
06/18/03
Karen Gundy-Burlet, Kalmanje Krishnakumar, Greg Limes, Don Bryant
Published at: AIAA
06/18/03
An Adaptive Critic Approach to Reference Model Adaptation
Kalmanje Krishnakumar, Greg Limes, Karen Gundy-Burlet, Don Bryant
Published at: AIAA GNC Conference
06/18/03
Kalmanje Krishnakumar, Greg Limes, Karen Gundy-Burlet, Don Bryant
Published at: AIAA GNC Conference
06/18/03
Intelligent Approaches for UAVs
Kalmanje Krishnakumar
Published at: French Australian Adv WS
06/16/03
Kalmanje Krishnakumar
Published at: French Australian Adv WS
06/16/03
Providing Effective Access to Shared Resources: a COIN approach
Stephane Airiau, Sandip Sen, David Wolpert, Kagan Tumer
Published at: AAMAS '03
06/13/03
Stephane Airiau, Sandip Sen, David Wolpert, Kagan Tumer
Published at: AAMAS '03
06/13/03
Automated Reasoning in NASA's Intelligent Systems Program
Robert Morris
Published at: Slide Presentation
06/05/03
Robert Morris
Published at: Slide Presentation
06/05/03
The Digital Space Shuttle, 3D Graphics, and Knowledge Management
Julian Gomez, Paul Keller
Published at: ACM Siggraph 2003
06/02/03
Julian Gomez, Paul Keller
Published at: ACM Siggraph 2003
06/02/03
A Software Framework to Enhance Training and Operations of Space Missions
Bradley Betts, Richard Papasin, Sharif Elcott, Dawn McIntosh, Mundo, Rommel De, Brian Niehaus, Robert Mah, Michael Guerrero, Edward Wilson
Published at: Space Mission Challenges
05/28/03
Bradley Betts, Richard Papasin, Sharif Elcott, Dawn McIntosh, Mundo, Rommel De, Brian Niehaus, Robert Mah, Michael Guerrero, Edward Wilson
Published at: Space Mission Challenges
05/28/03
Simulation-Based Verification of Livingstone Applications
Tony Lindsey, Charles Pecheur
Published at: DSN 2003 Workshop
05/28/03
Tony Lindsey, Charles Pecheur
Published at: DSN 2003 Workshop
05/28/03
Modeling of Vibration Measurements for Gear Fault and Damage Detection on Aircraft
Marianne Mosher, Edward Huff, James Zakrajsek
Published at: JANNAF 3rd Mod. & Sim. .
05/28/03
Marianne Mosher, Edward Huff, James Zakrajsek
Published at: JANNAF 3rd Mod. & Sim. .
05/28/03
Maneuver Classification for Aircraft Fault Detection
Nikunj Oza, Irem Tumer, Kagan Tumer, Edward Huff
05/20/03
Nikunj Oza, Irem Tumer, Kagan Tumer, Edward Huff
05/20/03
Principles for Integrating Mars Analog Research
William Clancey
Published at: Analog Sites & Facilities
05/14/03
William Clancey
Published at: Analog Sites & Facilities
05/14/03
NASA's Secured Advanced Federated Environment
Ed Chow, Joseph Liu, Pat Chang, Conan Viernes, David Korsmeyer, Helen Stewart, Matt Chew-Spence, Andy Goforth, Barney Pell
05/14/03
Ed Chow, Joseph Liu, Pat Chang, Conan Viernes, David Korsmeyer, Helen Stewart, Matt Chew-Spence, Andy Goforth, Barney Pell
05/14/03
Hybrid Concurrent Constraint Simulation Models of Several Systems (PSA, RWGS, Sorbtion, SWRS, Liquid Oxygen Tank)
Adam Sweet
05/14/03
Adam Sweet
05/14/03
How Do We Remain Us in a Time of Change: Culture and Knowledge Management at NASA
Charlotte Linde
Published at: Los Alamos National Lab
05/07/03
Charlotte Linde
Published at: Los Alamos National Lab
05/07/03
Holarchical Systems and Emotional Holons: Biologically Inspired System Designs for Control of Autonomous Aerial Vehicles
Corey Ippolito, Laura Plice, Greg Pisanich
05/07/03
Corey Ippolito, Laura Plice, Greg Pisanich
05/07/03
Incremental Contingency Planning
Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David Smith, Richard Washington
Published at: ICAPS
05/02/03
Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David Smith, Richard Washington
Published at: ICAPS
05/02/03
Scheduling Earth Observing Satellites with Evolutionary Algorithms
Al Globus, James Crawford, Jason Lohn, Anna Pryor
04/30/03
Al Globus, James Crawford, Jason Lohn, Anna Pryor
04/30/03
MAPGEN Planner: Mixed-Initiative activity planning for the Mars Exploration Rover mission
Mitch Ai-Chang, John Bresina, Leonard Charest, Jennifer Hsu, Ari Jonsson, Bob Kanefsky, Pierre Maldague, Paul Morris, Kanna Rajan, Jeffrey Yglesias
Published at: ICAPS 2003
04/30/03
Mitch Ai-Chang, John Bresina, Leonard Charest, Jennifer Hsu, Ari Jonsson, Bob Kanefsky, Pierre Maldague, Paul Morris, Kanna Rajan, Jeffrey Yglesias
Published at: ICAPS 2003
04/30/03
Interleaved Observation Execution and Rescheduling on Earth Observing Systems
Lina Khatib, Jeremy Frank, David Smith, Robert Morris, Jennifer Dungan
04/30/03
Lina Khatib, Jeremy Frank, David Smith, Robert Morris, Jennifer Dungan
04/30/03
Constraint Reasoning over Strings
Keith Golden, Wanlin Pang
Published at: Constraint Programming
04/21/03
Keith Golden, Wanlin Pang
Published at: Constraint Programming
04/21/03
A Hybrid Constraint Representation and Reasoning Framework
Keith Golden, Wanlin Pang
Published at: Constraint Programming
04/21/03
Keith Golden, Wanlin Pang
Published at: Constraint Programming
04/21/03
Procedure Visualization to Augment Space Mission Training
Dawn McIntosh, Sharif Elcott, Bradley Betts, Robert Mah
Published at: 40th Space Congress
04/21/03
Dawn McIntosh, Sharif Elcott, Bradley Betts, Robert Mah
Published at: 40th Space Congress
04/21/03
On the Critical Behaviour, Crossover Point and Complexity of the Exact Cover Problem
Robin D Morris, Vadim Smelyanskiy, Daniel Shumow
Published at: Constraint Programming
04/21/03
Robin D Morris, Vadim Smelyanskiy, Daniel Shumow
Published at: Constraint Programming
04/21/03
Applying Model-Based Reasoning to the FDIR of the Command & Data Handling Subsystem of the International Space Station
Peter Robinson, Mark Shirley, Daryl Fletcher, Rick Alena, Dan Duncavage, Charles Lee
Published at: Isairus '03
04/11/03
Peter Robinson, Mark Shirley, Daryl Fletcher, Rick Alena, Dan Duncavage, Charles Lee
Published at: Isairus '03
04/11/03
Design for Verification: Enabling Verification of High Dependability Software Intensive Systems
Peter Mehlitz, John Penix, Larry Markosian
Published at: Int'l Conf on SE 2003
04/11/03
Peter Mehlitz, John Penix, Larry Markosian
Published at: Int'l Conf on SE 2003
04/11/03
Evolutionary Fault Recovery in a Virtex FPGA Using a Representation That Incorporates Routing
Jason Lohn, Greg Larchev, Ron DeMara
Published at: 2003 Reconfigurable Arch
04/11/03
Jason Lohn, Greg Larchev, Ron DeMara
Published at: 2003 Reconfigurable Arch
04/11/03
Hosted Services for Advanced V&V Technologies: An Approach to Achieving Adoption Without the woes of Usage
Larry Markosian, Owen O'Malley, John Penix, William Brew
Published at: Int'l Conf on SE 2003
04/10/03
Larry Markosian, Owen O'Malley, John Penix, William Brew
Published at: Int'l Conf on SE 2003
04/10/03
Technology Transfer Challenges for High- Assurance Software Engineering Tools
John Penix, Larry Markosian
Published at: Int'l Conf on SE 2003
04/10/03
John Penix, Larry Markosian
Published at: Int'l Conf on SE 2003
04/10/03
Design for Verification: Using Design Patterns To Build Reliable Systems
Peter Mehlitz, John Penix
04/10/03
Peter Mehlitz, John Penix
04/10/03
Propel: Tools and Methods for Practical Source Code Model Checking
Mansouri-Samani Masoud, Larry Markosian, Dale Martin, Peter Mehlitz, Owen O'Malley, Lance Moore, John Penix, Willem Visser
Published at: Int'l Conf on Dependable Sys and Networks
04/10/03
Mansouri-Samani Masoud, Larry Markosian, Dale Martin, Peter Mehlitz, Owen O'Malley, Lance Moore, John Penix, Willem Visser
Published at: Int'l Conf on Dependable Sys and Networks
04/10/03
Correctness of Source-Level Safety Policies
Ewen Denney, Bernd Fischer
Published at: Formal Methods (Europe)
04/03/03
Ewen Denney, Bernd Fischer
Published at: Formal Methods (Europe)
04/03/03
Terrain Model Registration for Single Cycle Instrument Placement
Matthew Deans, Clay Kunz, Randy Sargent, Liam Pedersen
Published at: Isairus
04/02/03
Matthew Deans, Clay Kunz, Randy Sargent, Liam Pedersen
Published at: Isairus
04/02/03
A Survey of Space Robotics
Liam Pedersen, David Kortenkamp, David Wettergreen, Ilah Nourbakhsh
Published at: Isairus
04/02/03
Liam Pedersen, David Kortenkamp, David Wettergreen, Ilah Nourbakhsh
Published at: Isairus
04/02/03
Integrated Demonstration of Instrument Place- ment, Robust Execution and Contingent Planning
Liam Pedersen, Maria Bualat, David Lees, David Smith, Rich Washington
Published at: Isairus
04/02/03
Liam Pedersen, Maria Bualat, David Lees, David Smith, Rich Washington
Published at: Isairus
04/02/03
The Newell Test Should Commit to Diagnosing Dysfunctions
William Clancey
Published at: Behavioral & Brain Sciences
04/02/03
William Clancey
Published at: Behavioral & Brain Sciences
04/02/03
Detailed Vibration of Analysis of PinionGear With Time-Frequency Methods
Marianne Mosher, Anna Pryor, David G Lweicki
04/02/03
Marianne Mosher, Anna Pryor, David G Lweicki
04/02/03
Assessing the Probability of Legal Execution of Plans with Temporal Uncertainty
Ioannis Tsamardinos, Martha Pollack, Sailesh Ramakrishnan
Published at: Int'l Conf on Automated P&S
04/02/03
Ioannis Tsamardinos, Martha Pollack, Sailesh Ramakrishnan
Published at: Int'l Conf on Automated P&S
04/02/03
Identifying Executable Plans
Tania Bedrax-Weiss, Jeremy Frank, Ari Jonsson, Conor McGann
Published at: Int'l Conf on Automated P&S
04/02/03
Tania Bedrax-Weiss, Jeremy Frank, Ari Jonsson, Conor McGann
Published at: Int'l Conf on Automated P&S
04/02/03
Formalizing Resources For Planning
Tania Bedrax-Weiss, Conor McGann, Sailesh Ramakrishan
Published at: Int'l Conf on Automated P&S
03/27/03
Tania Bedrax-Weiss, Conor McGann, Sailesh Ramakrishan
Published at: Int'l Conf on Automated P&S
03/27/03
Adjustably Autonomous Multi-Agent Plan Execution with an Internal Spacecraft Free- Flying Robot Prototype
Gregory Dorais, Keith Nicewarner
Published at: 13th Int'l Conf on Auto. P&S
03/27/03
Gregory Dorais, Keith Nicewarner
Published at: 13th Int'l Conf on Auto. P&S
03/27/03
Data Management NASA-XDB-IPG-0.9 Netmark 1.0 XDB-IPG: An Extensible Database Architecture for an Information Grid of Heterogeneous and Distributed Information Resources
David Maluf
03/20/03
David Maluf
03/20/03
A Graph Based Backtracking Algorithms for Solving General CSPs
Wanlin Pang, Scott Goodwin
Published at: 16th Canadian Conf on AI
03/19/03
Wanlin Pang, Scott Goodwin
Published at: 16th Canadian Conf on AI
03/19/03
An Extensible "Schema-Less" Database Framework for Managing High-Throughput Semi-Structured Documents
David Maluf, Peter Tran
Published at: IASTED Conf
03/14/03
David Maluf, Peter Tran
Published at: IASTED Conf
03/14/03
Intelligent Virtual Station
Richard Papasin, Bradley J. Betts, Mundo, Rommel De, Michael Guerrero, Robert Mah, Dawn McIntosh, Edward Wilson
03/13/03
Richard Papasin, Bradley J. Betts, Mundo, Rommel De, Michael Guerrero, Robert Mah, Dawn McIntosh, Edward Wilson
03/13/03
Evaluation of Human vs Teleoperated Robotic Performance in Field Geology Tasks at a Mars Analog Site
Brian Glass, Geoffrey Briggs
Published at: iSAIRIS 03
03/06/03
Brian Glass, Geoffrey Briggs
Published at: iSAIRIS 03
03/06/03
Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System
William J Clancey, Maarten Sierhuis, Charis Kaskiris, Hoof, Ronnie Va
03/06/03
William J Clancey, Maarten Sierhuis, Charis Kaskiris, Hoof, Ronnie Va
03/06/03
Brahms Mobile Agents: Architecture & Field Tests
William J Clancey, Maarten Sierhuis, Charis Kaskiris, Hoof, Ronnie Va
03/06/03
William J Clancey, Maarten Sierhuis, Charis Kaskiris, Hoof, Ronnie Va
03/06/03
Mining Distance Based Outliers in Near Linear Time with Randomization and a Simple Pruning Rule
Stephen D Bay, Mark Schwabacher
Published at: ACM Int'l Conf on KD and DM
02/26/03
Stephen D Bay, Mark Schwabacher
Published at: ACM Int'l Conf on KD and DM
02/26/03
Tactical Maneuvering Using Immunized Sequence Selection
John Kaneshige, Kalmange Krishnakumar, Felix Shung
Published at: AIAA Unmanned Unlimited
02/25/03
John Kaneshige, Kalmange Krishnakumar, Felix Shung
Published at: AIAA Unmanned Unlimited
02/25/03
Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tool
Klaus Havelund, Scott Stoller, Shmuel Ur
Published at: PadTad '03 Parallel & Dist
02/25/03
Klaus Havelund, Scott Stoller, Shmuel Ur
Published at: PadTad '03 Parallel & Dist
02/25/03
Targeted Help for Spoken Dialogue Systems: Intelligent Feedback Improves Naïve Users' Performance
Beth Ann Hockey, Oliver Lemon, Ellen Campana, Laura Hiatt, Gregory Aist, James Hieronymus, Alexander Gruenstein, John Dowding
02/25/03
Beth Ann Hockey, Oliver Lemon, Ellen Campana, Laura Hiatt, Gregory Aist, James Hieronymus, Alexander Gruenstein, John Dowding
02/25/03
Kernel PLS-SVC for Linear and Nonlinear Discrimination
Roman Rosipal, Leonard Trejo, Bryan Matthews
02/25/03
Roman Rosipal, Leonard Trejo, Bryan Matthews
02/25/03
Intelligent Launch and Range Operations Virtual Test Bed
Jorge Bardina, Rajkumar T
Published at: Aerosense 2003
02/24/03
Jorge Bardina, Rajkumar T
Published at: Aerosense 2003
02/24/03
Automating the processing of Earth Observation Data
Keith Golden, Wanlin Pang, Ramakrishna Nemani, Petr Votava
Published at: I-SAIRAS
02/24/03
Keith Golden, Wanlin Pang, Ramakrishna Nemani, Petr Votava
Published at: I-SAIRAS
02/24/03
LiveInventor - An Interactive Development Environment for Robot Autonomy
Charles Neveu, Mark Shirley
02/24/03
Charles Neveu, Mark Shirley
02/24/03
Bayesian Research at the NASA Ames Research Center, Computational Sciences Division
Robin D Morris
Published at: Bulletin of the Int'l Society for Bayesian Analysis
02/13/03
Robin D Morris
Published at: Bulletin of the Int'l Society for Bayesian Analysis
02/13/03
The Effect of AOP on Software Engineering, with Particular Attention to OIF and Event Quantifica'n
Robert Filman, Klaus Havelund
02/13/03
Robert Filman, Klaus Havelund
02/13/03
Multimodal Neuroelectric Interface Development: A Survey of Research at NASA Ames Research Center
Leonard Trejo, Kevin Wheeler, Charles Jorgensen, Roman Rosipal, Sam Clanton, Bryan Matthews, Andrew Hibbs, Robert Matthews, Michael Krupka
02/13/03
Leonard Trejo, Kevin Wheeler, Charles Jorgensen, Roman Rosipal, Sam Clanton, Bryan Matthews, Andrew Hibbs, Robert Matthews, Michael Krupka
02/13/03
An Autonomous Control System for an Intra- Vehicular Spacecraft Mobile Monitor Prototype
Gregory Dorais, Salvatore Desiano, Yuri Gawdiak, Keith Nicewarner
Published at: 7th Int'l Symposium on AI
02/13/03
Gregory Dorais, Salvatore Desiano, Yuri Gawdiak, Keith Nicewarner
Published at: 7th Int'l Symposium on AI
02/13/03
Foundations of the Bandera Abstraction Tools
John Hatcliff, Matthew Dwyer, Corina Pasareanu
Published at: Essence of Computation, Complexity, Analysis, Transformation
02/13/03
John Hatcliff, Matthew Dwyer, Corina Pasareanu
Published at: Essence of Computation, Complexity, Analysis, Transformation
02/13/03
An Exploration of Discontinuous Time Synchronous Averaging Using Helicopter Flight Vibration
Edward Huff, Marianne Mosher, Eric Barszcz
Published at: American Helicopter Society
02/13/03
Edward Huff, Marianne Mosher, Eric Barszcz
Published at: American Helicopter Society
02/13/03
Modeling and Simulation for Mission Operations Work System Design
Maarten Sierhuis, William Clancey, Chin Seah, Jay Trimble, Michael Sims
Published at: Journal of Mmgt Info Sys
02/10/03
Maarten Sierhuis, William Clancey, Chin Seah, Jay Trimble, Michael Sims
Published at: Journal of Mmgt Info Sys
02/10/03
Training Data Requirement for a Neural Network to Predict Aerodynamic Coefficients
Rajkumar T, Jorge Bardina
Published at: AeroSense 2003 SPIE 17th
02/10/03
Rajkumar T, Jorge Bardina
Published at: AeroSense 2003 SPIE 17th
02/10/03
Neural Dynamics Underlying Event-Related Potentials
Ankoor S. Shah, Steven L. Bressler, Kevin Knuth, Mingzhou Ding, Ashesh Mehta, Istvan Ulbert, Charles E. Schroeder
02/10/03
Ankoor S. Shah, Steven L. Bressler, Kevin Knuth, Mingzhou Ding, Ashesh Mehta, Istvan Ulbert, Charles E. Schroeder
02/10/03
Intelligent Machines in the 21st Century: Automating the Processes of Inference and Inquiry
Kevin Knuth
Published at: Philosophical Transactions
02/10/03
Kevin Knuth
Published at: Philosophical Transactions
02/10/03
Lessons Learned from Developing A Streaming Data Framework for Scientific Analysis
Kevin Wheeler, Mark Allan, Charles Curry
Published at: SIAM International
02/10/03
Kevin Wheeler, Mark Allan, Charles Curry
Published at: SIAM International
02/10/03
Subauditory Speech Recognition based on EMG/EPG Signals
Chuck Jorgensen, Diana Lee, Shane Agabon
Published at: Int'l Joint Conf on Neural NW
01/30/03
Chuck Jorgensen, Diana Lee, Shane Agabon
Published at: Int'l Joint Conf on Neural NW
01/30/03
A Genetic Representation for Evolutionary Fault Recovery in Virtex FPGAs
Jason Lohn, Greg Larchev, Ronald DeMara
Published at: 5th International Evolvable
01/29/03
Jason Lohn, Greg Larchev, Ronald DeMara
Published at: 5th International Evolvable
01/29/03
Characterization of Model-Based Reasoning Strategies for use in IVHM Architectures
Scott Poll, David Iverson, Ann Patterson-Hine
Published at: SPIE Aerosense
01/29/03
Scott Poll, David Iverson, Ann Patterson-Hine
Published at: SPIE Aerosense
01/29/03
Tractable Pareto Optimization of Temporal Preferences
Robert Morris, Paul Morris, Lina Khatib, Brent Venable
Published at: IJCAI 2003
01/29/03
Robert Morris, Paul Morris, Lina Khatib, Brent Venable
Published at: IJCAI 2003
01/29/03
Real-Time Rover Executive Based on Model-Based Reactive
Mary Bernardine Dias, Solange Lemai, Nicola Muscettola
Published at: ICAR 2003
01/29/03
Mary Bernardine Dias, Solange Lemai, Nicola Muscettola
Published at: ICAR 2003
01/29/03
Near Linear Time Detection of Distance Based Outliers
Stephen Bay, Mark Schwabacher
Published at: Data Mining for …
01/29/03
Stephen Bay, Mark Schwabacher
Published at: Data Mining for …
01/29/03
Differentially Variable Component Anlysis (dVCA): Identifying Multiple Evoked Components Using Trial-to-Trial Variability
Kevin Knuth, A.S. Shah, Wilson Truccolo, Mingzhou Ding, Steven Bressler, Charles Schroeder
Published at: Neuron Journal
01/22/03
Kevin Knuth, A.S. Shah, Wilson Truccolo, Mingzhou Ding, Steven Bressler, Charles Schroeder
Published at: Neuron Journal
01/22/03
Generalized Symbolic Execution for Model Checking and Testing
Sarfraz Khursid, Corina Pasareanu, Willem Visser
01/21/03
Sarfraz Khursid, Corina Pasareanu, Willem Visser
01/21/03
Program Instrumentation and Trace Analysis
Klaus Havelund, Allen Goldberg, Robert Filman, Grigore Rosu
01/03/03
Klaus Havelund, Allen Goldberg, Robert Filman, Grigore Rosu
01/03/03
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