2203 search results - page 337 / 441 » Temporal Abstract Interpretation |
116
click to vote
ECAL
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The question of conceptual representation has received considerable attention in philosophy, neuroscience and embodied evolved agents. Numerous theories on the interpreta...
131
Voted
FCT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In the paper we present a purely logical approach to estimating computational complexity of potentially intractable problems. The approach is based on descriptive complex...
130
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
140
Voted
IFL
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
151
Voted
WCRE
2002
IEEE
15 years 8 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...