13270 search results - page 53 / 2654 » Computer Vision on Mars |
ALIFE
2002
14 years 9 months ago
2002
A new approach called bioinspired engineering of exploration systems (BEES) and its value for solving pressing NASA and DoD needs are described. Insects (for example honeybees and ...
COMPUTER
2006
14 years 10 months ago
2006
SPIN
2007
Springer
15 years 4 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
BIRTHDAY
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...