Sciweavers

31 search results - page 1 / 7
» Goal-Directed Scientific Exploration Using Multiple Rovers
Sort
View
55
Voted
FLAIRS
2001
14 years 11 months ago
Goal-Directed Scientific Exploration Using Multiple Rovers
Tara A. Estlin, Rebecca Castaño, Ashley Dav...
JKM
2006
135views more  JKM 2006»
14 years 9 months ago
Learning from the Mars Rover Mission: scientific discovery, learning and memory
Purpose Knowledge management for space exploration is part of a multi-generational effort. Each mission builds on knowledge from prior missions, and learning is the first step in ...
Charlotte Linde
USS
2008
14 years 12 months ago
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
Michael C. Martin, Monica S. Lam
88
Voted
ATAL
2005
Springer
15 years 3 months ago
Coordinating multiple rovers with interdependent science objectives
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
Tara A. Estlin, Daniel M. Gaines, Forest Fisher, R...
DAGSTUHL
2001
14 years 11 months ago
Decision-Theoretic Control of Planetary Rovers
Planetary rovers are small unmanned vehicles equipped with cameras and a variety of sensors used for scientific experiments. They must operate under tight constraints over such res...
Shlomo Zilberstein, Richard Washington, Daniel S. ...