1422 search results - page 230 / 285 » Complementation in Abstract Interpretation |
103
click to vote
CAISE
2003
Springer
15 years 8 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 ...
126
click to vote
CC
2003
Springer
15 years 8 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...
COSIT
2003
Springer
15 years 8 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 ...
112
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...
129
click to vote
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...