4211 search results - page 459 / 843 » Types as Abstract Interpretations |
161
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Decision-support systems provide a large functionality supporting the decision making process. They allow to draw conclusions from data provided by users. In order to be ...
163
click to vote
ECAL
2003
Springer
15 years 12 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...
178
click to vote
FCT
2003
Springer
15 years 12 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...
192
click to vote
FM
2003
Springer
15 years 12 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...
197
click to vote
WCRE
2002
IEEE
15 years 11 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...