Virtual Hotel — Gamification in the Management of Tourism Education
Using virtual reality for science mission planning: A Mars Pathfinder case
SEDE: an environment for 1750 inference
Second Note on Basic Interval Arithmetic for IEEE754R
Search for supporting methodologies - Or how to support SEI for 35 years
Polygon Exploration with Discrete Vision
NASA's computer science research program
Model Checking Artificial Intelligence Based Planners: Even the Best Laid Plans Must Be Verified