3342 search results - page 436 / 669 » Automating Abstract Interpretation |
105
Voted
CC
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
78
Voted
COSIT
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Spatializations are computer visualizations in which nonspatial information is depicted spatially. Spatializations of large databases commonly use distance as a metaphor ...
ECAL
2003
Springer
15 years 6 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...
103
Voted
FCT
2003
Springer
15 years 6 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...
108
Voted
FM
2003
Springer
15 years 6 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...