11022 search results - page 140 / 2205 » Programming Systems for Autonomy |
126
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
155
Voted
MPC
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper is about exceptions handling using classical techniques of program extraction. We propose an impredicative formalization in the calculus of constructions and w...
130
click to vote
CLIMA
2004
15 years 6 months ago
2004
In this paper we extend the Revision Programming framework--a logic-based framework to express and maintain constraints on knowledge bases-with different forms of preferences. Pref...
121
click to vote
AROBOTS
2000
15 years 4 months ago
2000
In this paper, I describe a simple functional programming language, GRL, in which most of the characteristic features of the popular behavior-based robot architectures can be conc...
115
click to vote
APSEC
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we propose a virtual file system, “SPDFS,” which provides global declarations in source programs as virtual files to programmers. Global declarations means ob...