1914 search results - page 305 / 383 » Verification by Abstract Interpretation |
164
click to vote
AFP
2004
Springer
15 years 11 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, ...
167
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
164
click to vote
CONTEXT
2001
Springer
15 years 10 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...
155
click to vote
AGENTS
1997
Springer
15 years 9 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...
165
Voted
CASES
2007
ACM
15 years 9 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...