11022 search results - page 57 / 2205 » Programming Systems for Autonomy |
135
click to vote
ECOOP
2012
Springer
13 years 4 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
131
click to vote
FCCM
2008
IEEE
15 years 9 months ago
2008
IEEE
This work proposes a set of requirements for programming emerging FPGA-based high performance computing systems, and uses them to evaluate a number of existing parallel programmin...
103
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper investigates the problem of estimating the value of probabilistic parameters needed for decision making in environments in which an agent, operating within a multi-agen...
112
click to vote
IJCV
2007
15 years 2 months ago
2007
Increasing the level of spacecraft autonomy is essential for broadening the reach of solar system exploration. Computer vision has and will continue to play an important role in in...
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer