1422 search results - page 40 / 285 » Complementation in Abstract Interpretation |
116
Voted
PRICAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The problem of interpreting Natural Language (NL) discourse is generally of exponential complexity. However, since interactions with users must be conducted in real time,...
122
Voted
CC
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Inline-threaded interpretation is a recent technique that improves performance by eliminating dispatch overhead within basic blocks for interpreters written in C [11]. Th...
118
Voted
LPAR
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. Disunification is an extension of unification to first-order formulae over syntactic equality atoms. Instead of considering only syntactic equality, I extend a disunifica...
115
Voted
CEFP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
142
Voted
DLOG
2009
15 years 12 days ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...