Publications for year 2002 (84 of 1172)
Locally-Based Kernel PLS Smoothing to Non- Parametric Regression Curve Fitting
Roman Rosipal, Leonard Trejo, Kevin Wheeler
12/23/02
Roman Rosipal, Leonard Trejo, Kevin Wheeler
12/23/02
Learning Assumptions for Compositional Verification
Jamison Cobleigh, Dimitra Giannakopoulou, Corina Pasareanu
12/16/02
Jamison Cobleigh, Dimitra Giannakopoulou, Corina Pasareanu
12/16/02
Understanding Vibration Spectra of Planetary Gear Systems for Fault Detection
Marianne Mosher
12/16/02
Marianne Mosher
12/16/02
Experiments with Test Case Generation and Runtime Analysis
Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael Lowry, Corina Pasareanu, Grigore Rosu, Willem Visser
12/02/02
Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael Lowry, Corina Pasareanu, Grigore Rosu, Willem Visser
12/02/02
The Mars Exploration Rover/ Collaborative Information Portal
Joan Walton, Robert Filman, John Schreiner
11/19/02
Joan Walton, Robert Filman, John Schreiner
11/19/02
An Overview of the Runtime Verification Tool Java PathExplorer
Klaus Havelund, Grigore Rosu
Published at: Formal Methods Journal
11/19/02
Klaus Havelund, Grigore Rosu
Published at: Formal Methods Journal
11/19/02
An Overview of the Runtime Verification Tool -> Reducing False Positives in Runtime Analysis of Deadlocks
Saddek Bensalem, Klaus Havelund
Published at: TACAS '03 Conference
11/19/02
Saddek Bensalem, Klaus Havelund
Published at: TACAS '03 Conference
11/19/02
Realizing Aspects by Transforming for Events
Robert Filman, Klaus Havelund
Published at: ASE '02 Conference
11/19/02
Robert Filman, Klaus Havelund
Published at: ASE '02 Conference
11/19/02
Program Model Checking as a new Trend
Klaus Havelund, Willem Visser
Published at: SW Tools for Tech Xsfer Jl
11/19/02
Klaus Havelund, Willem Visser
Published at: SW Tools for Tech Xsfer Jl
11/19/02
A Rewriting-based Approach to Trace Analysis
Klaus Havelund, Grigore Rosu
Published at: ASE Journal
11/19/02
Klaus Havelund, Grigore Rosu
Published at: ASE Journal
11/19/02
NASA Position Paper for the CSCW 2002 Workshop on Public, Community, and Situated Displays: Merboard
Jay Trimble, Roxana Wales, Rich Gossweiler
10/31/02
Jay Trimble, Roxana Wales, Rich Gossweiler
10/31/02
Estimating the Single-Trial Characteristics of Event-Related Responses: Evaluation of the mcERP Algorithm
Kevin Knuth, AS Shah, W.A. Truccolo, M. Ding, SL Bressler, CE Schroeder
10/31/02
Kevin Knuth, AS Shah, W.A. Truccolo, M. Ding, SL Bressler, CE Schroeder
10/31/02
Single-Trial Analysis of V1 Responses Suggest Two Transmission States
AS Shah, Kevin Knuth, W.A. Truccolo, AD Mehta, T McGinnis, N O'Connell, M. Ding, SL Bressler, CE Schroeder
10/31/02
AS Shah, Kevin Knuth, W.A. Truccolo, AD Mehta, T McGinnis, N O'Connell, M. Ding, SL Bressler, CE Schroeder
10/31/02
Hybrid Verification of an Interface for an Automatic Landing
Meeko Oishi, Ian Mitchell, Alexandra Bayen, Claire Tomlin, Asaf Degani
10/30/02
Meeko Oishi, Ian Mitchell, Alexandra Bayen, Claire Tomlin, Asaf Degani
10/30/02
A Scalable, Out-of-Band Diagnostics Architecture for International Space Station Systems Support
Daryl P Fletcher, Rick Alena
10/21/02
Daryl P Fletcher, Rick Alena
10/21/02
A Data Management System for International Space Station Simulation Tools
Bradley J Betts, Mundo, Rommel De, Sharif Elcott, Dawn McIntosh, Brian Niehaus, Richard Papasin, Robert Mah
10/21/02
Bradley J Betts, Mundo, Rommel De, Sharif Elcott, Dawn McIntosh, Brian Niehaus, Richard Papasin, Robert Mah
10/21/02
Prediction of Aerodynamic Coefficients Using Genetic Algorithm Optimized Neural Network for Sparse Data
Raj Thiramalainambi, Jorge Bardina
10/21/02
Raj Thiramalainambi, Jorge Bardina
10/21/02
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
10/21/02
Leonard Trejo, Kevin Wheeler, Charles Jorgensen, Roman Rosipal, Sam Clanton, Bryan Matthews, Andrew Hibbs, Robert Matthews, Michael Krupka
10/21/02
Biologically Inspired 'Behavioral' Strategies for Planning and Execution of Missions Using General Classes of Aerial Explorers
Laura Plice, Greg Pisanich, Benton Lau, Larry Young
Published at: IEEE 2003 Aerospace Conf
10/15/02
Laura Plice, Greg Pisanich, Benton Lau, Larry Young
Published at: IEEE 2003 Aerospace Conf
10/15/02
The Personal Satellite Assistant: An Internal Spacecraft Autonomous Mobile Monitor
Greg Dorais, Yuri Gawdiak
10/10/02
Greg Dorais, Yuri Gawdiak
10/10/02
Airport Simulations Using Distributed Computational Resources
William J McDermott, David Maluf, Yuri Gawdiak, Peter Tran
10/07/02
William J McDermott, David Maluf, Yuri Gawdiak, Peter Tran
10/07/02
An Extensible "Schema-Less" Database Framework for Managing High-Throughput Semi-structured Documents
David Maluf, Peter Tran, Tracy La
10/07/02
David Maluf, Peter Tran, Tracy La
10/07/02
Instrument Deployment for Mars Rover ** Includes video as well
Liam Pedersen, Maria Bualat, Clay Kunz, Susan Lee, Randy Sargent, Rich Washington, Anne Wright
10/07/02
Liam Pedersen, Maria Bualat, Clay Kunz, Susan Lee, Randy Sargent, Rich Washington, Anne Wright
10/07/02
Scheduling Earth Observing Fleets Using Evolutionary Algorithms: Problem Description and Approach
Al Globus, James Crawford, Jason Lohn, Robert Morris
10/07/02
Al Globus, James Crawford, Jason Lohn, Robert Morris
10/07/02
Analysis of Salinity Intrusion in the San Francisco Bay-Delta Using a GA-optimized Neural Net, and Application of the Model to Prediction in the Elkhorn Slough Habitat
David Thompson, Rajkumar T
09/10/02
David Thompson, Rajkumar T
09/10/02
Discovering Communicable Scientific Knowledge from Earth Science Data
Mark Schwabacher, Pat Langley, Christopher Potter, Steven Klooster, Alicia Torregrosa
08/19/02
Mark Schwabacher, Pat Langley, Christopher Potter, Steven Klooster, Alicia Torregrosa
08/19/02
Fielding an Autonomous UAV: Development Results, and Lessons Learned
Greg Pisanich, Stephen Morris
08/09/02
Greg Pisanich, Stephen Morris
08/09/02
Bandwidth Enabled Flight Operations: Examining the Possibilities
Greg Pisanich, Fritz Renema
08/09/02
Greg Pisanich, Fritz Renema
08/09/02
Optimization of a Neural Network Model Using a Genetic Algorithm: Predicting Salinity Intrusion in the San Francisco Bay Estuary
Rajkumar T, David Thompson
08/09/02
Rajkumar T, David Thompson
08/09/02
On-line, gyro-based, mass-property identification for thruster-controlled spacecraft using recursive least squares
Edward Wilson, Christopher Lages, Robert Mah
08/05/02
Edward Wilson, Christopher Lages, Robert Mah
08/05/02
Classification of Aircraft Maneuvers for Fault Detection
Nikunj Oza, Irem Tumer, Kagan Tumer, Edward Huff
07/23/02
Nikunj Oza, Irem Tumer, Kagan Tumer, Edward Huff
07/23/02
Towards Failure-Free Design: Reducing Dimensionality in Function Failure similarity Analysis for Large Databases
Irem Tumer, Robert Stone, Rory Roberts
07/23/02
Irem Tumer, Robert Stone, Rory Roberts
07/23/02
DPADL: An Action Language for Data Processing Domains
Keith Golden
Published at: NASA Planning and Scheduling
07/03/02
Keith Golden
Published at: NASA Planning and Scheduling
07/03/02
Verification and Validation of Neural Networks for Aerospace systems
Dale Mackall, Stacy Nelson, Johann Schumann
07/03/02
Dale Mackall, Stacy Nelson, Johann Schumann
07/03/02
A Bayesian Approach to Estimating Coupling between Neural Components: Evaluation of the Multiple Component Event-Related Potential (MCERP) Algorithm
AS Shah, Kevin Knuth, WA Truccolo, M Ding, SL Bressler, CE Schroeder
Published at: Maximum Entropy & Bayesian Methods
06/25/02
AS Shah, Kevin Knuth, WA Truccolo, M Ding, SL Bressler, CE Schroeder
Published at: Maximum Entropy & Bayesian Methods
06/25/02
Contingency Planning for Planetary Rovers
Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David Smith, Rich Washington
06/25/02
Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David Smith, Rich Washington
06/25/02
Hierarchies of Models: Toward Understanding Planetary Nebulae
Kevin Knuth, Arsen Hajian
Published at: Maximum Entropy & Bayesian Methods
06/25/02
Kevin Knuth, Arsen Hajian
Published at: Maximum Entropy & Bayesian Methods
06/25/02
Audio-Visual Situational Awareness for General Aviation Pilots
Lilly Spirkovska, Suresh Lodha
06/25/02
Lilly Spirkovska, Suresh Lodha
06/25/02
Estimating Single-Trial Responses in EEG
AS Shah, Kevin Knuth, WA Truccolo, AD Mehta, KG Fu, TA Johnston, M Ding, SL Bressler, CE Schroeder
05/28/02
AS Shah, Kevin Knuth, WA Truccolo, AD Mehta, KG Fu, TA Johnston, M Ding, SL Bressler, CE Schroeder
05/28/02
Multiple Component Event-Related Potential (mcERP) Estimation
Kevin Knuth, Sam Clanton, AS Shah, WA Truccolo, SL Bressler, Leonard Trejo, CE Schroeder
05/23/02
Kevin Knuth, Sam Clanton, AS Shah, WA Truccolo, SL Bressler, Leonard Trejo, CE Schroeder
05/23/02
Two pathes from the same place: Task driven and human-centered evolution of a group information surface
Daniel Russell, Jay Trimble, Roxana Wales
05/23/02
Daniel Russell, Jay Trimble, Roxana Wales
05/23/02
Robust Combining of Disparate Classifiers Through Order Statistics
Kagan Tumer, Joydeep Ghosh
05/23/02
Kagan Tumer, Joydeep Ghosh
05/23/02
Laser-Camera Vision Sensing for Spacecraft Mobile Robot Navigation
David Maluf, Ahmad Khalil, Gregory Dorais, Yuri Gawdiak
05/23/02
David Maluf, Ahmad Khalil, Gregory Dorais, Yuri Gawdiak
05/23/02
Autobayes/CC-Combining Program Synthesis with Automatic Code Certification -System Description-
Mike Whalen, Johann Schumann, Bernd Fischer
05/23/02
Mike Whalen, Johann Schumann, Bernd Fischer
05/23/02
A Survey of Knowledge Management Research & Development at NASA Ames Research Center
Richard M Keller
05/23/02
Richard M Keller
05/23/02
A Clustering-Based Approach for Failure Mode Identification
Srikesh Arunajadai, Robert Stone, Irem Tumer
04/30/02
Srikesh Arunajadai, Robert Stone, Irem Tumer
04/30/02
Evolutionary Optimization of a Quadrifilar Helical Antenna
Jason Lohn, William Kraus, Derek Linden
04/25/02
Jason Lohn, William Kraus, Derek Linden
04/25/02
Agent Based Modeling of Collaboration and Work Practices Onboard the International Space Station
Alessandro Acquisti, Maarten Sierhuis, William J Clancey, Jeff Bradshaw
04/18/02
Alessandro Acquisti, Maarten Sierhuis, William J Clancey, Jeff Bradshaw
04/18/02
IDEA: Planning at the Core of Autonomous Reactive Agents
Nicola Muscettola, Gregory Dorais, Chuck Fry, Richard Levinson, Chris Plaunt
04/15/02
Nicola Muscettola, Gregory Dorais, Chuck Fry, Richard Levinson, Chris Plaunt
04/15/02
Mixed-Initiative Planning in Mapgen: Capabilities and Shortcomings
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan
Published at: iCAPS 2005
04/04/02
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan
Published at: iCAPS 2005
04/04/02
New Boundary Constraints for Elliptic Systems Used in Grid Generation Problems
Upender Kaul
04/01/02
Upender Kaul
04/01/02
Source-Code Instrumentation and Quantification over Events
Robert Filman, Klaus Havelund
Published at: AOSD 2002
03/18/02
Robert Filman, Klaus Havelund
Published at: AOSD 2002
03/18/02
Locally based kernel PLS de-noising with application to event-related potentials
Roman Rosipal, Leonard Trejo, Kevin Wheeler, Peter Tino
03/18/02
Roman Rosipal, Leonard Trejo, Kevin Wheeler, Peter Tino
03/18/02
A New Simulation Framework for Autonomy in Robotic Missions
Lorenzo Flueckiger, Christian Neukom
Published at: 2002 IEEE/RST
03/18/02
Lorenzo Flueckiger, Christian Neukom
Published at: 2002 IEEE/RST
03/18/02
Optimization of a Model to Predict Salinity Intrusion in San Francisco Bay Estuary Using a Genetic Algorithim
Raj Thirumalainambi, David Thompson
02/25/02
Raj Thirumalainambi, David Thompson
02/25/02
Comparing a Coevolutionary Genetic Algorithm for Multiobjective Optimization
Jason Lohn, William Kraus, Gary Haith
02/07/02
Jason Lohn, William Kraus, Gary Haith
02/07/02
Planning Under Continuous Time and Resource Uncertainty: A Challenge for AI
John Bresina, Richard Dearden, Nicolas Meuleau, David Smith, Rich Washington
02/07/02
John Bresina, Richard Dearden, Nicolas Meuleau, David Smith, Rich Washington
02/07/02
Elliptic Grid Generation of Spiral Bevel Pinion Gear Typical of OH-58 Helicopter Transmission
Upender Kaul, Edward Huff
01/24/02
Upender Kaul, Edward Huff
01/24/02
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