NASA Logo, National Aeronautics and Space Administration

Publications for year 1999 (51 of 1172)

Towards Automated Synthesis of Data Mining Programs
Wray Buntine, Bernd Fischer, Thomas Pressburger
12/27/99
Acting on Information: Representing Actions that Manipulate Information
Keith Golden
12/17/99
Generic Neural Flight Control and Autopilot System
John Kaneshige, John Bull, Joseph Totah
12/15/99
Planning in Interplanetary Space: Theory and Practice
Ari Jonsson, Paul Morris, Nicola Muscettola, Kanna Rajan, Ben Smith
12/09/99
State Identification for Planetary Rovers: Learning and Recognition
Richard Washington, Olivier Aycard
12/09/99
Bayesian Super-Resolved Surface Reconstruction from Multiple Images
Vadim Smelyanskiy, Peter Cheeseman, David Maluf, Robin Morris
12/01/99
Classifier Ensembles: Select Real-World Applications
Nikunj Oza, Kagan Tumer
11/29/99
Adaptivity in Agent Based Routing for Data Networks
David Wolpert, Sergey Kirshner, Chris Merz, Kagan Tumer
11/26/99
Automated Theorem Proving in High Quality Software Design
Johann Schumann
Published at: Intellechnica & Computational Logic, Kluwer
10/29/99
Marooned on Mars: Mind-Spinning Books for Software Engineers
William Clancey
10/25/99
Human Exploration Ethnography
William Clancey
10/25/99
A Framework for Dynamic Constraint Reasoning using Procedural Constraint
Ari Jonsson, Jeremy Frank
09/20/99
Bioelectric Flight Control of a 757 Class High Fidelity Aircraft Simulation
Chuck Jorgensen, Kevin Wheeler, Slawomir Stepniewski
Published at: WAC 2000
09/20/99
The Evolution of the DARWIN System
Joan D Walton, Robert E Filman, David J Korsmeyer
Published at: ACM Symposium
09/20/99
Experimental Analysis of Steady-State Maneuvering Effects on Transmission Virbration Patterns Recorded in an AH-1 Cobra Helicopter
Edward Huff, Mark Dzwonczyk
Published at: AHS Annual Forum
09/20/99
Experimental Analysis of Mast Bending and Lifting Forces on Vibration Patterns Before and After Pinion Reinstallation in an OH-58 Transmission Test Rig
Edward Huff, Eric Barszcz, Irem Tumer, David Lewicki, Harry Decker
09/20/99
Java Pathfinder User Guide
Klaus Havelund
09/20/99
Java Pathfinder A Translator from Java to Promela
Klaus Havelund
09/20/99
Managing Distributed Systems Through Smart Publishers and Subscribers
Robert E Filman, Diana D Lee
09/01/99
Integration of Deductive Retrieval into Deductive Synthesis
Bernd Fischer, Jon Whittle
Published at: ASE '99
08/11/99
Advanced Modelling and Verification Techniques Applied to a Cluster File System
Charles Pecheur
Published at: ASE '99
08/09/99
Adjustable Autonomy for Human-Centered Autonomous Systems
Gregory A Dorais, R. Peter Bonasso, David Kortenkamp, Barney Pell, Debra Schreckenghost
08/09/99
A Distributed Multi-Agent System for Collaborative Information Mgmt and Learning
James R Chen, Shawn R Wolfe, Stephen D Wragg
07/01/99
Combining Automated Theorem Provers w/ Symbolic Algebraic Systems - Positions Paper
Johann Schumann
07/01/99
Cooperation and Coordination Between Reinforcement Learning Agents in Continuous State Partially Observable Markov Decision Pro
Hamid Berenji, David Vengerov
06/23/99
A Circuit Representation Technique for Automated Circuit Design
Jason D Lohn, Silvano P Colombano
Published at: IEEE Transactions on Evolut Computation
06/22/99
A Comparison of Dynamic Fitness Schedules for Evolutionary Design of Amplifiers
Jason D Lohn, Gary L Haith, Silvano P Colombano, Dimitris Stassinopoulos
06/22/99
Visualizing Practical Knowledge: The Haughton-Mars Project
William Clancey
Published at: "Envisioning Knowledge" Burda Publishers, Munich
06/22/99
Experiments on Evolving SW Models of Analog Circuits
Jason D Lohn
06/22/99
Adding Active Objects to SPIN
Willem Visser, Klaus Havelund, John Penix
Published at: SPIN 99 Workshop
06/10/99
Microphone Array Phased Proc System (MAPPS): Phased Array System for Acoustic Measurements in a Wind Tunnel
Marianne Mosher, Michael E Watts, Michael Barnes, Jorge Bardina
Published at: World Aviation Congress and Exposition
06/10/99
Transformation Systems at NASA Ames
Wray Buntine, Bernd Fischer, Klaus Havelund, Michael Lowry, Thomas Pressburger, Steve Roach, Peter Robinson, Baalen, Jeff Va
Published at: Software Transformation Systems '99
05/10/99
Managing Personal and Group Collections of Information
Shawn R Wolfe, Stephen D Wragg, James R Chen
05/10/99
Remote Agent Demonstration
Greg Dorais, James Kurien, Kanna Rajan
04/24/99
Autonomous Rovers for Mars Exploration
Corin Anderson, John Bresina, Keith Golden, David E Smith, Trey Smith, Richard Washington
Published at: IEEE Aerospace Conference
04/24/99
Formal Verification of a Power Controller using the Real-Time Model Checker UPPAAL
Klaus Havelund, Kim Larsen, Arne Skou
04/13/99
Mechanical Verification of a Garbage Collector
Klaus Havelund
04/13/99
Practical Application of Model Checking in SW Verification '-> Applying Model Checking in Java Verification
Klaus Havelund, Jens Skakkebaek
04/13/99
Model Checking Java Programs Using Java Pathfinder
Klaus Havelund, Thomas Pressburger
04/13/99
Increased Flexibility and Robustness of Mars Rovers
John Bresina, Keith Golden, D.E. Smith, Rich Washington
Published at: AI, Robotics & Autonomy in Space
04/13/99
Steady-State Characterization of Bacteriorhodopsin-D85N Photocycle
Dogan Timucin, John Downie
03/17/99
Haptic Surface Exploration
Michael Costa, Allison Okamura, Michael Turner, Christopher Richard, Mark Cutkosky
03/17/99
Decimated Input Ensembles for Improved Generalization
Kagan Tumer, N.C. Oza
03/17/99
Next Generation Remote Agent Planner
Ari Jonsson, Paul Morris, Nicola Muscettola, Kanna Rajan
03/17/99
Applying NASA Technology to Education A Case Study using Amphion
Jane Friedman, Santos Lazzeri, Thomas Pressburger
Published at: SITE '99
03/05/99
Co-Evolution for Task Simplification
Gary Haith, Silvano Colombano, Jason Lohn, Dimitris Stassinopolous
03/05/99
On-Line Fringe Tracking and Prediction of IOTA
Edward Wilson
01/27/99
Temporal Planning with Mutual Exclusion Reasoning
David E Smith, Daniel S Weld
Published at: International Joint Conf. on AI
01/22/99
Managing Temporal Uncertainty through Waypoint Controllability
Paul Morris, Nicola Muscettola
01/22/99
Cyclic Scheduling
Denise Draper, Ari Jonsson, David P Clements, David Joslin
Published at: International Joint Conf. on AI
01/15/99
An Integrated Vehicle Modeling Environment
Joseph Totah, David Kinney, John Kaneshige, Shane Agabon
Published at: AIAA Atmosphere Flight Mechanics Conf
01/06/99

Search Publications

Date range

Start
End

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 Home

+Ames Home

Intelligent Systems Division
First Gov logo
NASA Logo - nasa.gov