3342 search results - page 418 / 669 » Automating Abstract Interpretation |
152
click to vote
KES
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
133
click to vote
AFP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
137
click to vote
CONTEXT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
125
click to vote
AGENTS
1997
Springer
15 years 7 months ago
1997
Springer
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...
137
click to vote
CASES
2007
ACM
15 years 7 months ago
2007
ACM
ABSTRACT This paper presents the first scratch-pad memory allocation scheme that requires no compiler support for interpreted-language based applications. A scratch-pad memory (SPM...