2203 search results - page 48 / 441 » Temporal Abstract Interpretation |
91
Voted
SLP
1990
15 years 3 months ago
1990
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
103
click to vote
CSL
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction. We first show why this cannot be simply ...
JSYML
2006
15 years 2 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
109
Voted
CICLING
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Text interpretation can be considered as the process of extracting deep-level semantics from unstructured text documents. Deeplevel semantics represent abstract index str...
124
Voted
ER
1998
Springer
15 years 6 months ago
1998
Springer
Abstract: Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather ...