Convective Weather Forecast Accuracy Analysis at Center and Sector Levels
Yao Wang,
Banavar Sridhar
Published at: 29th Digital Avionics Systems Conference
Date: 10/03/10
Symbolic Pathfinder: Symbolic Execution of Java Bytecode
Corina Pasareanu,
Neha Rungta
Published at: 25th Intnl Conference on Automated Software Engineering
Date: 09/20/10
Improving Lunar Exploration with Robotic Follow-Up
Terry Fong,
Maria Bualat,
Matt Deans,
Essam Heggy,
Mark Helper
Published at: Lunar Exploration Analysis Group Annual Meeting, Washington DC
Date: 09/14/10
Robotic Planetary Drill Tests
Brian Glass,
Sarah Thompson,
Gale Paulsen
Published at: 10th International Symposium on Artificial Intelligence
Date: 08/29/10