Publications for year 2004 (213 of 1172)
Applying Squeaky Wheel Optimization to Schedule Airborne Autonomy Observations Mixed Discrete and Continuous Algorithms for Scheduling Airborne Astronomy Observations
Jeremy Frank, Elif Kurlku
Published at: ICAPS
12/30/04
Jeremy Frank, Elif Kurlku
Published at: ICAPS
12/30/04
Activity Planning for the Mars Exploration Rover
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan
Published at: ICAPS
12/30/04
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan
Published at: ICAPS
12/30/04
Combined Feature Based and Shape Based Visual Tracker for Robot Navigation
Matthew Deans, Clayton Kunz, Randy Sargent, Eric Park, Liam Pedersen
Published at: IEEE Aerospace Conf 2005
12/23/04
Matthew Deans, Clayton Kunz, Randy Sargent, Eric Park, Liam Pedersen
Published at: IEEE Aerospace Conf 2005
12/23/04
Improving Aviation Safety with Information Visualization: A Flight Simulation Study
Cecilia Aragon, Marti Hearst
Published at: CHI 2005
12/23/04
Cecilia Aragon, Marti Hearst
Published at: CHI 2005
12/23/04
Improving Aviation Safety with Information Visualization: Airflow Hazard Display for Helicopter Pilots
Cecilia Aragon
Published at: UC Berkeley PHD Thesis
12/23/04
Cecilia Aragon
Published at: UC Berkeley PHD Thesis
12/23/04
FIDDLE: A Computer Code for Finite Difference Development of Linear Elasticity in Generalized Curvilinear Coordinates
Upender Kaul
Published at: NASA TM
12/17/04
Upender Kaul
Published at: NASA TM
12/17/04
Poetry in Programs: A Brief Examination of Software Aesthetics, including observations on the History of Programming Styles and Speculations on Post-Object Programming
Robert Filman
Published at: Conference (A Celebration)
12/17/04
Robert Filman
Published at: Conference (A Celebration)
12/17/04
Complexity Signatures for System Health Monitoring
Kagan Tumer, Adrian Agogino
Published at: IEEE Conference
12/01/04
Kagan Tumer, Adrian Agogino
Published at: IEEE Conference
12/01/04
Towards On-Line Services Based on a Holistic Analysis of Human Activities
William J Clancey
Published at: Towards the Learning Grid
11/30/04
William J Clancey
Published at: Towards the Learning Grid
11/30/04
Results from a New Separation Algorithm for Planetary Gear System Vibration Measurements
Marianne Mosher
Published at: ASME Power Conf
11/30/04
Marianne Mosher
Published at: ASME Power Conf
11/30/04
Finding Bounded Rational Equilibria Part II: Alternative Lagrangians and Uncountable Move Spaces
David H Wolpert
11/30/04
David H Wolpert
11/30/04
Data-Based Predictive Combustion Control
Nilesh Kulkarni, Dawn McIntosh, Kalmanje Krishnakumar
Published at: AIAA Joint Propulsion
11/29/04
Nilesh Kulkarni, Dawn McIntosh, Kalmanje Krishnakumar
Published at: AIAA Joint Propulsion
11/29/04
Two Trees- Migrating Fault Trees to Decision Trees for Real Time Fault Detection on International Space Station
Charles Lee, Richard Alena, Peter Robinson
Published at: 2005 IEEE Aerospace Conf
11/21/04
Charles Lee, Richard Alena, Peter Robinson
Published at: 2005 IEEE Aerospace Conf
11/21/04
Discovering Recurring Anomalies in Text Reports Regarding Complex Space Systems
Ashok Srivastava, Brett Zane-Ulman
Published at: 2005 IEEE Aerospace Conf
11/21/04
Ashok Srivastava, Brett Zane-Ulman
Published at: 2005 IEEE Aerospace Conf
11/21/04
Augmentation of an Intelligent Flight Control System for a Simulated C-17 Aircraft
Karen Gundy-Burlet, Kalmanje Krishnakumar, Greg Limes, Don Bryant
Published at: AIAA Journal of Aerospace
11/21/04
Karen Gundy-Burlet, Kalmanje Krishnakumar, Greg Limes, Don Bryant
Published at: AIAA Journal of Aerospace
11/21/04
Self Dissimilarity as a High Dimensional Complexity Measure
David Wolpert, William Macready
Published at: Int'l Conf Complex Systems
11/21/04
David Wolpert, William Macready
Published at: Int'l Conf Complex Systems
11/21/04
Distributed Optimization
William Macready, David Wolpert
Published at: Int'l Conf Complex Systems
11/21/04
William Macready, David Wolpert
Published at: Int'l Conf Complex Systems
11/21/04
The Collaborative Information Portal and NASA's Mars Exploration Rover Mission
Ronald Mak, Joan Walton
Published at: IEEE Internet Computing
11/14/04
Ronald Mak, Joan Walton
Published at: IEEE Internet Computing
11/14/04
Program Monitoring with LTL in EAGLE
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Published at: PADTAD '04
11/14/04
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Published at: PADTAD '04
11/14/04
Using Block-local Atomicity to Detect Stale- Value Concurrency Errors
Cyrille Artho, Klaus Havelund, Armin Biere
Published at: Auto. Tech for Ver & Anal
11/14/04
Cyrille Artho, Klaus Havelund, Armin Biere
Published at: Auto. Tech for Ver & Anal
11/14/04
Toward a Benchmark for Multi-Threaded Testing Tools
Yaniv Eytani, Klaus Havelund, Scott Stoller, Shmuel Ur
Published at: Journal
11/14/04
Yaniv Eytani, Klaus Havelund, Scott Stoller, Shmuel Ur
Published at: Journal
11/14/04
Precise and Scalable Program Analysis of NASA Flight Software
Guillaume Brat, Arnaud Venet
Published at: IEEE Aerospace
11/10/04
Guillaume Brat, Arnaud Venet
Published at: IEEE Aerospace
11/10/04
Working on Mars: Understanding how Scientists Engineers, and Rovers Interacted Across Space and Time during the Mars Exploration Rover (MER) Mission
Roxana Wales
Published at: The Market Research Event
11/10/04
Roxana Wales
Published at: The Market Research Event
11/10/04
Choosing Mars-Time: Analysis of the Mars Exploration Rover Experience
Deborah Bass, Roxana Wales, Valerie Shalin
Published at: 2005 IEEE Aerospace Conf
11/10/04
Deborah Bass, Roxana Wales, Valerie Shalin
Published at: 2005 IEEE Aerospace Conf
11/10/04
Adaptive Bio-Inspired Wireless Network Routing for Planetary Exploration
Richard Alena, Charles Lee
Published at: 2005 IEEE Aerospace Conf
11/10/04
Richard Alena, Charles Lee
Published at: 2005 IEEE Aerospace Conf
11/10/04
An Ontology of Work, Naming and Action Identification for Planning on the Mars Exploration Rover Mission
Roxana Wales
Published at: Stanford University
11/10/04
Roxana Wales
Published at: Stanford University
11/10/04
Applications for Mission Operations using Multi-Agent Model-Based Instructional Systems with Virtual Environments
William Clancey
Published at: Training for Tomorrow
11/06/04
William Clancey
Published at: Training for Tomorrow
11/06/04
Toward Question-Asking Machines; The logic of Questions and the Inquiry Calculus
Kevin Knuth
Published at: AI and Statistics (AISTATS)
11/06/04
Kevin Knuth
Published at: AI and Statistics (AISTATS)
11/06/04
A Reliable Service-Oriented Architecture for NASA's Mars Exploration Rover Mission
Ronald Mak, Joan Walton, Leslie Keely, Dennis Heher, Louise Chan
Published at: IEEE
11/05/04
Ronald Mak, Joan Walton, Leslie Keely, Dennis Heher, Louise Chan
Published at: IEEE
11/05/04
Multi-Agent Modeling and Simulation Approach for Design and Analysis of MER Mission Operations
Chin Seah, Maarten Sierhuis, William Clancey
Published at: Mod & Sim HCI
11/05/04
Chin Seah, Maarten Sierhuis, William Clancey
Published at: Mod & Sim HCI
11/05/04
Technical Reviews: Torn Between Knowledge Sharing and Project Assessment
Peter Putz, David Bell
Published at: Management Learning
10/27/04
Peter Putz, David Bell
Published at: Management Learning
10/27/04
Cognitive Modeling of Social Behaviors
William Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
Published at: Cognitive and Multiagent Int
10/27/04
William Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
Published at: Cognitive and Multiagent Int
10/27/04
Fleet Assignment Using Collective Intelligence
David Wolpert, Nicolas Antoine, Stefan Bienawski, Ilan Kroo
Published at: URL
10/27/04
David Wolpert, Nicolas Antoine, Stefan Bienawski, Ilan Kroo
Published at: URL
10/27/04
Information Theory - The Bridge Connecting Bounded Rational Game Theory and Statistical Physics
David Wolpert
Published at: URL
10/27/04
David Wolpert
Published at: URL
10/27/04
Adaptive Metropolis Sampling with Product Distributions
David Wolpert, Chiu Fan Lee
Published at: URL
10/27/04
David Wolpert, Chiu Fan Lee
Published at: URL
10/27/04
Product Distributions for Distributed Optimization
Stefan Bienawski, David Wolpert
Published at: URL
10/27/04
Stefan Bienawski, David Wolpert
Published at: URL
10/27/04
What Information Theory Says about Best response & binding contracts
David Wolpert
Published at: URL
10/27/04
David Wolpert
Published at: URL
10/27/04
Disttibuted Adaptive Control: Beyond Single- Instant Discreet Variables
David Wolpert, Stefan Bienawski
Published at: URL
10/27/04
David Wolpert, Stefan Bienawski
Published at: URL
10/27/04
Product Distribution Theory for Control of Multi-Agent Systems
Chiu Fan Lee, David Wolpert
Published at: URL
10/27/04
Chiu Fan Lee, David Wolpert
Published at: URL
10/27/04
Extensible Hardware Architecture for Mobile Robots
Eric Park, Linda Kobayashi, Susan Lee
Published at: IEEE Int'l Conf
10/22/04
Eric Park, Linda Kobayashi, Susan Lee
Published at: IEEE Int'l Conf
10/22/04
Characterizing Oscillatory Bursts in Single- Trial EEG Data
Kevin Knuth, AS Shah, P Lakatos, CE Schroeder
Published at: Society for Neuroscience
10/21/04
Kevin Knuth, AS Shah, P Lakatos, CE Schroeder
Published at: Society for Neuroscience
10/21/04
Oscillatory Hierarchy Controlling Cortical Excitability and Stimulus Integration Budapest Hungary
P Lakatos, AS Shah, T MaGinnis, N O'Connell, A Mills, C Chen, Kevin Knuth, G Karmos, CE Schroeder
Published at: Society for Neuroscience
10/21/04
P Lakatos, AS Shah, T MaGinnis, N O'Connell, A Mills, C Chen, Kevin Knuth, G Karmos, CE Schroeder
Published at: Society for Neuroscience
10/21/04
Learning from Failures: Archiving and Designing with Failure and Risk
Wie, Michael Va, Matt Bohm, Francesca Barrientos, Irem Tumer, Robert Stone
Published at: Int'l Conf on Eng Design
10/15/04
Wie, Michael Va, Matt Bohm, Francesca Barrientos, Irem Tumer, Robert Stone
Published at: Int'l Conf on Eng Design
10/15/04
Identifying Designer Needs: Applying Customer Needs Analysis and Human-Computer Interaction Methods to a Design Repository
Matt Bohm, Francesca Barrientos, Irem Tumer, Robert Stone
Published at: Int'l Conf on Eng Design
10/15/04
Matt Bohm, Francesca Barrientos, Irem Tumer, Robert Stone
Published at: Int'l Conf on Eng Design
10/15/04
Advanced Diagnostic System on Earth Observing One
Sandra Hayden, Adam Sweet, Scott Christa, Daniel Tran, Seth Shulman
Published at: AIAA Space
10/15/04
Sandra Hayden, Adam Sweet, Scott Christa, Daniel Tran, Seth Shulman
Published at: AIAA Space
10/15/04
Peer-to-Peer Human-Robot Interaction for Space Exploration
Terrence Fong, Illah Nourbakhsh
Published at: AAAI 2004 Symposium
10/14/04
Terrence Fong, Illah Nourbakhsh
Published at: AAAI 2004 Symposium
10/14/04
Internet Based Simulations of Debris Dispersion of Shuttle Launch
Rajkumar Thirumalainambi, Jorge Bardina
Published at: World Aviation Congress
10/14/04
Rajkumar Thirumalainambi, Jorge Bardina
Published at: World Aviation Congress
10/14/04
Early Infusion of New Planning, Scheduling, and Execution Technologies into a Flight Mission
James Kurien, Mark Drummond, Tony Barrett, Sven Grenander
Published at: AIAA Space
10/14/04
James Kurien, Mark Drummond, Tony Barrett, Sven Grenander
Published at: AIAA Space
10/14/04
On Space Exploration and Human Error: A Paper on Reliability and Safety
David Maluf, Yuri Gawdiak, David G Bell
Published at: HICSS-38
10/08/04
David Maluf, Yuri Gawdiak, David G Bell
Published at: HICSS-38
10/08/04
Evolvable Hardware for Space Applications
Jason Lohn, Al Globus, Greg Hornby, Greg Larchev, Bill Kraus
Published at: AIAA
10/08/04
Jason Lohn, Al Globus, Greg Hornby, Greg Larchev, Bill Kraus
Published at: AIAA
10/08/04
Intelligent Systems: Shaping the Future of Aeronautics and Space Exploration
Kalmanje Krishnakumar, Jason Lohn, John Kaneshige
Published at: 4th Int'l Symposium
10/08/04
Kalmanje Krishnakumar, Jason Lohn, John Kaneshige
Published at: 4th Int'l Symposium
10/08/04
Knowledge Navigation for Virtual Vehicles
Julian Gomez
Published at: World Aviation Congress
09/29/04
Julian Gomez
Published at: World Aviation Congress
09/29/04
Modeling and Composing Scenario-Based Requirements with Aspects
Joao Araujo, Jon Whittle, Dae-Kyoo Kim
Published at: Conf on Reqt Engineering
09/24/04
Joao Araujo, Jon Whittle, Dae-Kyoo Kim
Published at: Conf on Reqt Engineering
09/24/04
Intelligent Information Fusion in the Aviation Domain: A Semantic-Web based Approach
Naveen Ashish, Andre Goforth
Published at: AIAA IS Tech Conf
09/24/04
Naveen Ashish, Andre Goforth
Published at: AIAA IS Tech Conf
09/24/04
Demonstrating Robotic Autonomy in NASA's Intelligent Systems Project (Abstract)
Robert Morris, Ben Smith, Tara Estlin, Liam Pedersen
Published at: 8th ESA WS on Adv Space
09/24/04
Robert Morris, Ben Smith, Tara Estlin, Liam Pedersen
Published at: 8th ESA WS on Adv Space
09/24/04
Integration of dynamic models in range Operations
Jorge Bardina, Rajkumar Thirumalainambi
Published at: WAC
09/24/04
Jorge Bardina, Rajkumar Thirumalainambi
Published at: WAC
09/24/04
Immunity-Based Aircraft Fault Detection System
Dipankar Dasgupta, Kalmanje Krishnakumar, Derrick Wong, Misty Berry
Published at: AIAA
09/24/04
Dipankar Dasgupta, Kalmanje Krishnakumar, Derrick Wong, Misty Berry
Published at: AIAA
09/24/04
Intelligent Control for the BEES flyer
Kalmanje Krishnakumar, Karen Gundy-Burlet, Mike Aftosmis, Marian Nemec, Greg Limes, Misty Berry, Michael Logan
Published at: AIAA
09/24/04
Kalmanje Krishnakumar, Karen Gundy-Burlet, Mike Aftosmis, Marian Nemec, Greg Limes, Misty Berry, Michael Logan
Published at: AIAA
09/24/04
Exploration of Planetary Terrains with a Legged Robot as a Scout Adjunct to a Rover
Silvano Colombano, Frank Kirchner, Dirk Spenneberg, James Hanratty
Published at: AIAA Space 2004
09/23/04
Silvano Colombano, Frank Kirchner, Dirk Spenneberg, James Hanratty
Published at: AIAA Space 2004
09/23/04
Clarissa Spoken Dialogue System for Procedure Reading and Navigation Livingstone Model-Based Diagnosis of Earth- Observing One Infusion Experiment
James Hieronymus, John Dowding, Sandra Hayden, Adam Sweet, Scott Christa
Published at: AIAA Int Systems
09/20/04
James Hieronymus, John Dowding, Sandra Hayden, Adam Sweet, Scott Christa
Published at: AIAA Int Systems
09/20/04
A Prototype Flight-Deck Airflow Hazard Visualization System
Cecilia Aragon
Published at: SAE World Aviation Congress
09/07/04
Cecilia Aragon
Published at: SAE World Aviation Congress
09/07/04
Data Visualization of Invisible Airflow Hazards During Helicopter Takeoff and Landing Operations
Cecilia Aragon
Published at: Grace Hopper Conf
09/07/04
Cecilia Aragon
Published at: Grace Hopper Conf
09/07/04
Mulitple Concurrent Recursive Least Squares Identification
Edward Wilson, David Sutter, Robert Mah
Published at: IASTED
09/03/04
Edward Wilson, David Sutter, Robert Mah
Published at: IASTED
09/03/04
Software Engineering Research/ Developer Collaborations
Thomas Pressburger, Vito, Ben d, Martin Feather, Michael Hinckey, Lawrence Markosian, Tim Menzies, Luis Trevino
Published at: OSMA SA
09/03/04
Thomas Pressburger, Vito, Ben d, Martin Feather, Michael Hinckey, Lawrence Markosian, Tim Menzies, Luis Trevino
Published at: OSMA SA
09/03/04
An Evolved Antenna for Deployment on NASA's Space Technology 5 Mission
Jason Lohn, Gregory S Hornby, Derek S Linden
Published at: Genetic Prog. Theory & Prac
09/03/04
Jason Lohn, Gregory S Hornby, Derek S Linden
Published at: Genetic Prog. Theory & Prac
09/03/04
Autonomous Evolution of Dynamic Gaits with Two Quadrupled Robots
Gregory S Hornby, Seichi Takamura, Takashi Yamamoto, Masahiro Fujita
Published at: IEEE Transactions on Robotics
09/03/04
Gregory S Hornby, Seichi Takamura, Takashi Yamamoto, Masahiro Fujita
Published at: IEEE Transactions on Robotics
09/03/04
Functional Scalability Through Generative Representations: the Evolution of Table Designs
Gregory S Hornby
Published at: Environment and Planning B
09/03/04
Gregory S Hornby
Published at: Environment and Planning B
09/03/04
Properties of Artifact Representations for Evolutionary Design
Gregory S Hornby
Published at: 9th Int'l Conf on Sim and Syn
09/03/04
Gregory S Hornby
Published at: 9th Int'l Conf on Sim and Syn
09/03/04
The Role of Ontologies in Schema-Based Program Synthesis
Tomas Bures, Ewen Denney, Bernd Fischer, Eugen Nistor
Published at: Ontologies as SWE
09/03/04
Tomas Bures, Ewen Denney, Bernd Fischer, Eugen Nistor
Published at: Ontologies as SWE
09/03/04
A CORBA Extension for Intelligent Software Environments
Robert Filman
Published at: Advances in Eng. SW
09/03/04
Robert Filman
Published at: Advances in Eng. SW
09/03/04
Agent Architecture for Aviation Data Integration System
Deepak Kulkarni, Yao Wang, Mei Windrem, Hemil Patel, Mei Wei
09/03/04
Deepak Kulkarni, Yao Wang, Mei Windrem, Hemil Patel, Mei Wei
09/03/04
Investigation Organizer
Tina Panontin, Robert Carvalho, Rich Keller
Published at: 7th GAIN World Conference
09/03/04
Tina Panontin, Robert Carvalho, Rich Keller
Published at: 7th GAIN World Conference
09/03/04
Planning Mars Memory: Learning from the MER Mission
Charlotte Linde
Published at: 55th Annual Astronautical C
09/02/04
Charlotte Linde
Published at: 55th Annual Astronautical C
09/02/04
Integrating Webtop Components with Thin-Client Web Applications Using Documentation WDK Ticket
Jason Duley
Published at: Documentum WW Developers
08/26/04
Jason Duley
Published at: Documentum WW Developers
08/26/04
MCRLS for on-line spacecraft mass- and thruster-property identification
Edward Wilson, David Sutter, Robert Mah
Published at: IASTED
08/25/04
Edward Wilson, David Sutter, Robert Mah
Published at: IASTED
08/25/04
Transitioning from Software Requirements Models to Design Models
Jonathan Whittle
Published at: http://cim.ivv.nasa.gov
08/24/04
Jonathan Whittle
Published at: http://cim.ivv.nasa.gov
08/24/04
Modeling Images of Natural 3D Surfaces: Overview and Potential Applications
Andre Jalobeanu, Frank Kuehnel, John Stutz
Published at: GMBV '04
08/24/04
Andre Jalobeanu, Frank Kuehnel, John Stutz
Published at: GMBV '04
08/24/04
A Bootstrap Approach to Martian Manufacturing
Gregory Dorais
Published at: 7th Int'l Mars Society
08/23/04
Gregory Dorais
Published at: 7th Int'l Mars Society
08/23/04
Measures and Models for Estimating and Predicting Cognitive Fatigue
Leonard Trejo, Rebekah Kochavi, Karla Kubitz, Leslie Montgomery, Roman Rosipal, Bryan Matthews
Published at: 44th Annual Psychophysio
08/19/04
Leonard Trejo, Rebekah Kochavi, Karla Kubitz, Leslie Montgomery, Roman Rosipal, Bryan Matthews
Published at: 44th Annual Psychophysio
08/19/04
On Bayesian Inductive Inference and Predictive Estimation
Peter Cheeseman, John Stutz, Vadim Smelyanskiy
Published at: MaxEnt 2004
08/17/04
Peter Cheeseman, John Stutz, Vadim Smelyanskiy
Published at: MaxEnt 2004
08/17/04
Ontology Development and Evolution in the Accident Investigation Domain
Robert Carvalho, Daniel Berrios, James Williams
Published at: IEEE Aerospace Conf
08/17/04
Robert Carvalho, Daniel Berrios, James Williams
Published at: IEEE Aerospace Conf
08/17/04
Usability Evaluation of a Flight-Deck Airflow Hazard Visualization System
Cecilia Aragon
Published at: 23 Digital Avionics Systems
08/17/04
Cecilia Aragon
Published at: 23 Digital Avionics Systems
08/17/04
An Overview of Ecological Modeling and Machine Learning Research Within the US National and Space Administration
Joseph Coughlan
Published at: 4th European Conf
08/09/04
Joseph Coughlan
Published at: 4th European Conf
08/09/04
Extending Source Code Generators for Evidence-based Software Certification
Ewen Denney, Bernd Fischer
Published at: ISOLA '06
08/01/04
Ewen Denney, Bernd Fischer
Published at: ISOLA '06
08/01/04
Negative Selection Algorithm for Aircraft Fault Detection
Dipankar Dasgupta, Kalmanje Krishnakumar, D Wong, Misty Berry
Published at: 3rd Ann Conf on Artificial Immune Systems
07/30/04
Dipankar Dasgupta, Kalmanje Krishnakumar, D Wong, Misty Berry
Published at: 3rd Ann Conf on Artificial Immune Systems
07/30/04
Adaptive DFT-based Fringe Tracking and Prediction at IOTA
Edward Wilson, Ettore Pedretti, Jesse Bregman, Robert Mah, Wesley Traub
Published at: SPIE
07/07/04
Edward Wilson, Ettore Pedretti, Jesse Bregman, Robert Mah, Wesley Traub
Published at: SPIE
07/07/04
Adaptive DFT-based Fringe Tracking
Edward Wilson, Ettore Pedretti, Jesse Bregman, Robert Mah, Wesley Traub
Published at: EURASIP Journal
07/07/04
Edward Wilson, Ettore Pedretti, Jesse Bregman, Robert Mah, Wesley Traub
Published at: EURASIP Journal
07/07/04
Middleware and Web Services for the Collaborative Information Portal of NASA's Mars Exploration Rover Mission
Elias Sinderson, Vish Magapu, Ronald Mak
Published at: Int'l Middleware Conf
07/07/04
Elias Sinderson, Vish Magapu, Ronald Mak
Published at: Int'l Middleware Conf
07/07/04
A New Computational Framework for Atmospheric and Surface Remote Sensing
Dogan Timucin
Published at: ESTO
07/07/04
Dogan Timucin
Published at: ESTO
07/07/04
Web Browser Control Using EMG-Based Sub Vocal Speech Recognition
Chuck Jorgensen, Kim Binstead
Published at: Hawaii Int'l Conf on Sys Sci
06/30/04
Chuck Jorgensen, Kim Binstead
Published at: Hawaii Int'l Conf on Sys Sci
06/30/04
An Ontology for Requesting Distant Robotic Action: a Case Study in Naming and Action
Roxana Wales, Valerie Shalin, Deborah Bass
Published at: Journal of the Ass for IS
06/25/04
Roxana Wales, Valerie Shalin, Deborah Bass
Published at: Journal of the Ass for IS
06/25/04
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Arnaud Venet
Published at: SAS '04
06/22/04
Arnaud Venet
Published at: SAS '04
06/22/04
Dynamic Programming for Structured Continuous Markov Decision Problems
Zhengzhu Feng, Richard Dearden, Nicolas Meuleau, Rich Washington
Published at: 20th Conf on Uncertainty AI
06/22/04
Zhengzhu Feng, Richard Dearden, Nicolas Meuleau, Rich Washington
Published at: 20th Conf on Uncertainty AI
06/22/04
Design Tools for Reconfigurable Hardware in Orbit (RHinO)
Matthew French, Paul Graham, Michael Wirthlin, Gregory Larchev, Peter Bellows, Brian Schott
Published at: 2004 Earth Science Tech
06/22/04
Matthew French, Paul Graham, Michael Wirthlin, Gregory Larchev, Peter Bellows, Brian Schott
Published at: 2004 Earth Science Tech
06/22/04
Combining Particle Filters and Consistency-Based Approaches for Monitoring and Diagnosis of Stochastic Hybrid Systems
Sriram Narasimhan, Richard Dearden, Emmanuel Benazera
Published at: Diagnosis
06/22/04
Sriram Narasimhan, Richard Dearden, Emmanuel Benazera
Published at: Diagnosis
06/22/04
Automating Traceability for Generated Software Artifacts
Julian Richardson, Jeffrey Green
Published at: IEEE ASE
06/22/04
Julian Richardson, Jeffrey Green
Published at: IEEE ASE
06/22/04
Applications of ITS for Human-Robotic Exploration of Mars
William Clancey
Published at: Int'l Tutoring Systems
06/22/04
William Clancey
Published at: Int'l Tutoring Systems
06/22/04
Verification and Validation Methodology of Real-Time Adaptive Neural Networks for Aerospace Applications
Pramod Gupta, K.A. Loparo, D (retired) Mackall, Johann Schumann, F.R. Soares
Published at: Int'l Conf on Comp Intelli
06/18/04
Pramod Gupta, K.A. Loparo, D (retired) Mackall, Johann Schumann, F.R. Soares
Published at: Int'l Conf on Comp Intelli
06/18/04
Parameter Space Exploration with Gaussian Process Trees
Robert B Gramacy, Herbert Lee, William Macready
Published at: Int'l Conf on Machine Learning
06/18/04
Robert B Gramacy, Herbert Lee, William Macready
Published at: Int'l Conf on Machine Learning
06/18/04
Brahms: A Multiagent Modeling Environment for Simulating Work Practice in Organizations
Maarten Sierhuis, William Clancey, Hoof, Ron va
Published at: Journal for Simulation Mod
06/18/04
Maarten Sierhuis, William Clancey, Hoof, Ron va
Published at: Journal for Simulation Mod
06/18/04
Scaling up Decision Theoretic Planning to Planetary Rover Problems
Nicolas Meuleau, Richard Dearden, Rich Washington
Published at: AAAI-04 Workshop
06/18/04
Nicolas Meuleau, Richard Dearden, Rich Washington
Published at: AAAI-04 Workshop
06/18/04
Shortcomings with Tree-Structured Edge Encodings for Neural Networks
Gregory S Hornby
Published at: Genetic and Evolutionary
06/10/04
Gregory S Hornby
Published at: Genetic and Evolutionary
06/10/04
Kernel PLS Estimation of Single-Trial Event Related Potentials
Roman Rosipal, Leonard Trejo
06/09/04
Roman Rosipal, Leonard Trejo
06/09/04
Using Generative Representations to Evolve Robots
Gregory Hornby
Published at: Evolutionary Machine Design
06/04/04
Gregory Hornby
Published at: Evolutionary Machine Design
06/04/04
Improving Evolvability through Generative Representations
Gregory Hornby
Published at: Genetic and Evol Computation
06/04/04
Gregory Hornby
Published at: Genetic and Evol Computation
06/04/04
Generative Representations for Computer- Automated Design Systems
Gregory Hornby
Published at: Computational Architecture
06/04/04
Gregory Hornby
Published at: Computational Architecture
06/04/04
An Agent-Based Interface to Terrestrial Ecological Forecasting
Keith Golden, Ramakrishna Nemani, Wanlin Pang, Petr Votava, Oren Etzioni
Published at: ESTC
06/04/04
Keith Golden, Ramakrishna Nemani, Wanlin Pang, Petr Votava, Oren Etzioni
Published at: ESTC
06/04/04
Discovering Planetary Nebula Geometries: Explorations with a Hierarchy of Models
Karen Huyser, Kevin Knuth, Bernd Ficher, Johann Schumann, Dom Granquist-Fraser, Arsen Hajian
Published at: MaxEnt 2004
05/26/04
Karen Huyser, Kevin Knuth, Bernd Ficher, Johann Schumann, Dom Granquist-Fraser, Arsen Hajian
Published at: MaxEnt 2004
05/26/04
InvestigationOrganizer: The Development and Testing of a Web-Based Tool to Support Mishap Investigations
Robert Carvalho, James Williams, Ian Sturken, Richard Keller, Tina Panontin
Published at: Investigation and Reporting
05/26/04
Robert Carvalho, James Williams, Ian Sturken, Richard Keller, Tina Panontin
Published at: Investigation and Reporting
05/26/04
Random Matrix Approach to Quantum Adiabatic Evolution Algorithms
Alexei Boulaov, Vadim Smelyanskiy
Published at: Physical Review A
05/26/04
Alexei Boulaov, Vadim Smelyanskiy
Published at: Physical Review A
05/26/04
Reinforcement Learning in Distributed Domains: Beyond Team Games
David Wolpert, Joseph Sill, Kagan Tumer
05/18/04
David Wolpert, Joseph Sill, Kagan Tumer
05/18/04
Structure Constraints in a Constraint-Based Planner
Wanlin Pang, Keith Golden
Published at: 10th Int'l Conf on CP
05/13/04
Wanlin Pang, Keith Golden
Published at: 10th Int'l Conf on CP
05/13/04
A Hybrid Constraint Representation and Reasoning Framework
Keith Golden, Wanlin Pang
Published at: 10th Int'l Conf on CP
05/13/04
Keith Golden, Wanlin Pang
Published at: 10th Int'l Conf on CP
05/13/04
Optimal Control Method of a Flow Recirculation System
Nhan Nguyen, Mark Ardema
Published at: AIAA Journal of GNC
05/13/04
Nhan Nguyen, Mark Ardema
Published at: AIAA Journal of GNC
05/13/04
Monitoring the Performance of a Neuro- Adaptive Controller
Johann Schumann, Pramod Gupta
Published at: 24th Int'l WS on Bayesian
05/13/04
Johann Schumann, Pramod Gupta
Published at: 24th Int'l WS on Bayesian
05/13/04
Pilots Rate Augmented Generalized Predictive Control for Reconfiguration
Don Soloway, Pam Haley
Published at: 6th IASTED Int'l Conf
05/12/04
Don Soloway, Pam Haley
Published at: 6th IASTED Int'l Conf
05/12/04
Adaptive, Distributed Control of Constrained Multiagent Systems
Stefan Bieniawski, David Wolpert
05/10/04
Stefan Bieniawski, David Wolpert
05/10/04
The Design of Collectives of Agents to Control non-Markosian Systems
John Lawson, David Wolpert
05/10/04
John Lawson, David Wolpert
05/10/04
Fleet Assignment Using Collective Intelligence
Nicolas Antoine, Stefan Bieniawski, Ilan M Kroo, David Wolpert
05/10/04
Nicolas Antoine, Stefan Bieniawski, Ilan M Kroo, David Wolpert
05/10/04
Providing Effective Access to Shared Resources: A COIN Approach
Stephane Airiau, Sandip Sen, David Wolpert
05/10/04
Stephane Airiau, Sandip Sen, David Wolpert
05/10/04
Synthesizing 3D Surfaces from Parameterized Strip Charts
Peter Robinson, Julian Gomez, Michael Morehouse, Yuri Gawdiak
05/10/04
Peter Robinson, Julian Gomez, Michael Morehouse, Yuri Gawdiak
05/10/04
Realtime Knowledge Management (RKM) - from an ISS Point of View
Peter Robinson, Bill McDermott, Rick Alena
05/10/04
Peter Robinson, Bill McDermott, Rick Alena
05/10/04
Precise and Efficient Static Array Bound Checking for Large Embedded C Programs
Arnaud Venet, Guillaume Brat
Published at: PLDI '04
05/03/04
Arnaud Venet, Guillaume Brat
Published at: PLDI '04
05/03/04
An Empirical Evaluation of Automated Theorem Provers in Software Certification
Ewen Denney, Bernd Fischer, Johann Schumann
Published at: ESFOR 2004
05/03/04
Ewen Denney, Bernd Fischer, Johann Schumann
Published at: ESFOR 2004
05/03/04
UIVerify - A Web-Based Tool for Verification and Automatic Generation of User-Interfaces
Smadar Shiffman, Asaf Degani, Michael Heymann
04/20/04
Smadar Shiffman, Asaf Degani, Michael Heymann
04/20/04
Compiling Planning into Scheduling: A Sketch
Tania Bedrax-Weiss, James M Crawford, David E Smith
Published at: 14th Int'l Conf on APS
04/20/04
Tania Bedrax-Weiss, James M Crawford, David E Smith
Published at: 14th Int'l Conf on APS
04/20/04
Adaptive Multi-Agent Systems for Constrained Optimization
William Macready, Stefan Bieniawski, David Wolpert
04/20/04
William Macready, Stefan Bieniawski, David Wolpert
04/20/04
Lattice Duality: The Origin of Probability and Entropy
Kevin Knuth
Published at: Neurocomputing
04/20/04
Kevin Knuth
Published at: Neurocomputing
04/20/04
Transient Region Coverage in the Propulsion IVHM Technology Experiment
Edward Balaban, Adam Sweet, Anupa Bajwa, William Maul, Chris Fulton, Amy Chicatelli
04/20/04
Edward Balaban, Adam Sweet, Anupa Bajwa, William Maul, Chris Fulton, Amy Chicatelli
04/20/04
Inferring Spectra from Interferograms: Application to the Multiplexing Fourier Transform Spectrometer
Kevin Knuth, Arsen R Hajian
Published at: Int'l Society for Bayesian Analysis
04/07/04
Kevin Knuth, Arsen R Hajian
Published at: Int'l Society for Bayesian Analysis
04/07/04
Combining Model-Driven and Schema-based Program Synthesis
Ewen Denney, Jon Whittle
Published at: UMSS 2004
03/31/04
Ewen Denney, Jon Whittle
Published at: UMSS 2004
03/31/04
Using Fuzzy Clustering for Real-Time Space Flight Safety
Charles Lee, Richard Haskel, Darrin Hann, Rick Alena
03/31/04
Charles Lee, Richard Haskel, Darrin Hann, Rick Alena
03/31/04
Modelling Images of Natural 3D surfaces: Overview and Potential Applications
Andre Jalobeanu, Frank Kuehnel, John Stutz
Published at: GMVB 2004 Workshop
03/25/04
Andre Jalobeanu, Frank Kuehnel, John Stutz
Published at: GMVB 2004 Workshop
03/25/04
Synthesizing Safety Conditions for Code Certification Using Meta-Level Programming
Jutta Eusterbrock
Published at: RIACS Tech Report
03/25/04
Jutta Eusterbrock
Published at: RIACS Tech Report
03/25/04
Mechanisms for Antagonistic Regulation of AMPA and NMDA-D1 Receptor Complexes at Postsynaptic Sites
Gabriele Scheler, Johann Schumann
Published at: Recomb 2004 conference
03/25/04
Gabriele Scheler, Johann Schumann
Published at: Recomb 2004 conference
03/25/04
Mixed-Initiative Constraint-Based Activity Planning for Mars Exploration Rovers
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan
Published at: 4th Int'l WS on P&S Space
03/25/04
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan
Published at: 4th Int'l WS on P&S Space
03/25/04
Virtual Sensors: Using Data Mining to Efficiently Estimate Spectra
Ashok Srivastava, Nikunj Oza, Julienne Stroeve
Published at: IEEE International Symposium
03/25/04
Ashok Srivastava, Nikunj Oza, Julienne Stroeve
Published at: IEEE International Symposium
03/25/04
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax
Bernd Fischer, Eelco Visser
Published at: Book: Domain Specific Prog Generation
03/22/04
Bernd Fischer, Eelco Visser
Published at: Book: Domain Specific Prog Generation
03/22/04
Putting Priors in Mixture Density Mercer Kernels
Ashok Srivastava, Johann Schumann, Bernd Fischer
03/22/04
Ashok Srivastava, Johann Schumann, Bernd Fischer
03/22/04
Technical Reviews: Torn Between Knowledge Sharing and Project Assessment
Peter Putz, David Bell
Published at: 5th European Conf Org Know
03/10/04
Peter Putz, David Bell
Published at: 5th European Conf Org Know
03/10/04
Intelligent Controls & Diagnostics Sub-Project and Neuroelectric Machine Control Sub-Project
Joseph Totah
03/05/04
Joseph Totah
03/05/04
Debris Dispersion Modeling using Java 3D
Raj Thirumalainambi, Jorge Bardina
Published at: ESM 2004 18th European
03/01/04
Raj Thirumalainambi, Jorge Bardina
Published at: ESM 2004 18th European
03/01/04
Comparing Methods for UAV-Based Autonomous Surveillance
Michael Freed, Robert Harris, Michael Shafto
Published at: NCAI
03/01/04
Michael Freed, Robert Harris, Michael Shafto
Published at: NCAI
03/01/04
Modelling and Simulation of Shuttle Launch and Range Operations
Jorge Bardina, Raj Thirumalainambi
Published at: ESM 2004
03/01/04
Jorge Bardina, Raj Thirumalainambi
Published at: ESM 2004
03/01/04
Single-Trial Characterization of Evolved Responses: Bayesian Estimation and Differentially Variable Compnent Analysis
Kevin H Knuth
Published at: EPIC XIV Meeting
02/27/04
Kevin H Knuth
Published at: EPIC XIV Meeting
02/27/04
Efficient Evaluation Functions for Multi-Rover Systems
Adrian Agogino, Kagan Tumer
Published at: Genetic & Ev'n Computing
02/12/04
Adrian Agogino, Kagan Tumer
Published at: Genetic & Ev'n Computing
02/12/04
Time-Extended Policies in Multi-Agent Reinforcement Learning
Kagan Tumer, Adrian Agogino
Published at: Int'l Conf on Autonomous AG
02/12/04
Kagan Tumer, Adrian Agogino
Published at: Int'l Conf on Autonomous AG
02/12/04
Unifying Temporal and Structural Credit Assignment Problems
Adrian Agogino, Kagan Tumer
Published at: Int'l Conf on Autonomous AG
02/12/04
Adrian Agogino, Kagan Tumer
Published at: Int'l Conf on Autonomous AG
02/12/04
Spectral Inference from a Mulitplexing Fourier Transform Spectrometer
Arsen Hajian, Kevin Knuth, Brian Pohl, J Thomas Armstrong, David Mozurkewich, Robert Hindsley, Christopher Tycner, Robert Olling
Published at: Astronomical Society
02/12/04
Arsen Hajian, Kevin Knuth, Brian Pohl, J Thomas Armstrong, David Mozurkewich, Robert Hindsley, Christopher Tycner, Robert Olling
Published at: Astronomical Society
02/12/04
Knowledge Driven Image Mining with Mixture Density Mercer Kernels
Ashok Srivastava, Nikunj Oza
Published at: European Space Agency WS
02/12/04
Ashok Srivastava, Nikunj Oza
Published at: European Space Agency WS
02/12/04
Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software
Ewen Denney, Bernd Fischer, Johann Schumann
Published at: IJCAR 2004
02/12/04
Ewen Denney, Bernd Fischer, Johann Schumann
Published at: IJCAR 2004
02/12/04
A Generic Software Safety Document Generator
Ewen Denney, Ram Prasad Venkatesan
Published at: AMAST 2004
02/12/04
Ewen Denney, Ram Prasad Venkatesan
Published at: AMAST 2004
02/12/04
Team Formation in Partially Observable Multi-Agent System
Adrian Agogino, Kagan Tumer
Published at: Int' Jt Conf on Neural Net
02/12/04
Adrian Agogino, Kagan Tumer
Published at: Int' Jt Conf on Neural Net
02/12/04
Overcoming Comnmunication Restrictions in Collectives
Kagan Tumer, Adrian Agogino
Published at: Int' Jt Conf on Neural Net
02/12/04
Kagan Tumer, Adrian Agogino
Published at: Int' Jt Conf on Neural Net
02/12/04
Strategies for Global Optimization of Temporal Preferences
Paul Morris, Robert Morris, Lina Khatib, Sailesh Ramakrishnan
Published at: AAAI 04
02/11/04
Paul Morris, Robert Morris, Lina Khatib, Sailesh Ramakrishnan
Published at: AAAI 04
02/11/04
Verification of Java Programs Using Symbolic and Invariant Generation
Corina Pasareanu, Willem Visser
Published at: 11th Int'l Spin Workshop
02/11/04
Corina Pasareanu, Willem Visser
Published at: 11th Int'l Spin Workshop
02/11/04
Assume Guarantee Verification of Source Code with Design-level Assumptions
Dimitra Giannakopulou, Corina Pasareanu, Jamie Cobleigh
Published at: 26th Int'l Conf on SW Eng
02/11/04
Dimitra Giannakopulou, Corina Pasareanu, Jamie Cobleigh
Published at: 26th Int'l Conf on SW Eng
02/11/04
Identifying Model-Based Reconfiguration Goals Through Functional Deficiencies
Emmanuel Benazera, Louise Trave-Massuyes
Published at: 15th Int'l WS on Principles
02/11/04
Emmanuel Benazera, Louise Trave-Massuyes
Published at: 15th Int'l WS on Principles
02/11/04
A Comparison of Techniques for Scheduling Earth-Observing Satellites
Al Globus, James Crawford, Jason Lohn, Anna Pryor
Published at: Apps of AI Conf
02/11/04
Al Globus, James Crawford, Jason Lohn, Anna Pryor
Published at: Apps of AI Conf
02/11/04
Simulation-Based Verification of Autonomous Controllers via Livingstone Pathfinder
Tony Lindsey, Charles Pecheur
Published at: Tools Conference
02/06/04
Tony Lindsey, Charles Pecheur
Published at: Tools Conference
02/06/04
A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems
Pramod Gupta, Johann Schumann
Published at: Proc HASE 2004 IEEE
01/16/04
Pramod Gupta, Johann Schumann
Published at: Proc HASE 2004 IEEE
01/16/04
Rule Based Runtime Verification Adding Assurance to Automatically Generated Code
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen, Ewen Denney, Bernd Fischer, Johann Schumann
Published at: 5th Int'l Conf on Model Check High Assurance Sys Eng
01/16/04
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen, Ewen Denney, Bernd Fischer, Johann Schumann
Published at: 5th Int'l Conf on Model Check High Assurance Sys Eng
01/16/04
Realtime Absolute Orientation with Outlier Rejection for Visual Odometry and Mesh Merging
Esfandier Bandari, Norman Goldstein, Issa Nesnas, Max Bajracharya
01/16/04
Esfandier Bandari, Norman Goldstein, Issa Nesnas, Max Bajracharya
01/16/04
The Social Practice of Technical Reviews
David G Bell, Peter Putz
Published at: Academy of Mgmt Conf
01/16/04
David G Bell, Peter Putz
Published at: Academy of Mgmt Conf
01/16/04
Filtering in Hybrid Dynamic Bayesian Networks
Morten N Anderson, Rasmus Anderson, Kevin Wheeler
Published at: Journal of Machine Learning
01/12/04
Morten N Anderson, Rasmus Anderson, Kevin Wheeler
Published at: Journal of Machine Learning
01/12/04
Filtering in Hybrid Dynamic Bayesian Networks (2)
Morten N Anderson, Rasmus Anderson, Kevin Wheeler
Published at: Int'l Conf on Acoustics, …
01/12/04
Morten N Anderson, Rasmus Anderson, Kevin Wheeler
Published at: Int'l Conf on Acoustics, …
01/12/04
Mixture Density Mercer Kernels: A Method to Learn Kernels Directly from Data
Ashok Srivastava
01/12/04
Ashok Srivastava
01/12/04
Mobile Agents: A Distributed Voice - Commanded Sensory & Robotic System
William J Clancey
Published at: Earth & Space
01/12/04
William J Clancey
Published at: Earth & Space
01/12/04
Quantum Adiabatic Optimization and Combinatorial Landscapes
Vadim Smelyanskiy, Sergey Knysh, Robin Morris
Published at: RIACS Tech Report
01/07/04
Vadim Smelyanskiy, Sergey Knysh, Robin Morris
Published at: RIACS Tech Report
01/07/04
Context-Aware Intelligent Assistant Approach to Improving Pilot's Situational Awareness
Lilly Spirkovska, Suresh K Lodha
01/07/04
Lilly Spirkovska, Suresh K Lodha
01/07/04
Initial Efforts Toward Mission Representative Imaging Surveys From Aerial Explorers
Greg Pisanich, Larry A Young, Laura Plice, Benton Lau, Corey Ippolito, Pascal Lee
Published at: Int'l Society for Optical Eng
01/07/04
Greg Pisanich, Larry A Young, Laura Plice, Benton Lau, Corey Ippolito, Pascal Lee
Published at: Int'l Society for Optical Eng
01/07/04
Self-Sustaining Robotic Ecologies and Space Architecture
Silvano Colombano
Published at: AIAA Design Tech Committee
01/07/04
Silvano Colombano
Published at: AIAA Design Tech Committee
01/07/04
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