We present a novel, general construction to abstractly interpret higher-order automatic differentiation (AD). Our allows one instantiate an abstract interpreter for computing derivatives up chosen order. Furthermore, since our reduces the problem of reasoning about real-valued straight-line programs, it can be instantiated with almost any numerical domain, both relational and non-relational. fo...

This paper proposes a new image-semantic measure, named "Semantico-Visual Relatedness of Concepts" (SVRC ), to estimate the semantic similarity between concepts. The proposed measure incorporates visual, conceptual and contextual information to provide a measure which is more meaningful and more representative of image semantics. We also propose a new methodology to automatically build a semant...

One of the types of semantic interpretation processes that may help ‘crossing the barriers’ in text summarization is anaphora resolution. In this paper, we show that summarization is a good task for evaluating the performance of an anaphoric resolver, in the sense that it encourages developing anaphoric resolvers that build good-quality discourse models, and the performance of the anaphoric res...

An algorithm for automatic identification of topic and focus of the sentence is presented, based on dependency syntax and using written input, which is much more ambiguous than spoken utterance. 1. The dichotomy of topic and focus, based, in the Praguean Functional Generative Description, on the scale of communicative dynamism (underlying word order), is relevant not only for a possible placeme...

This paper presents an abstract interpretation framework for parallelizing compilers. Within this framework, symbolic analysis is used to solve various ow analysis problems in a uniied way. Symbolic analysis also serves as a basis for code generation optimizations and a tool for derivation of computation cost estimates. A loop scheduling strategy that utilizes symbolic timing information is als...

We propose the use of the text of the sentences surrounding citations as an important tool for semantic interpretation of bioscience text. We hypothesize several different uses of citation sentences (which we call citances), including the creation of training and testing data for semantic analysis (especially for entity and relation recognition), synonym set creation, database curation, documen...

In specific geological contexts, such as alluvial environments, the lithology is highly heterogeneous and laterally variable. As a result, a large number of lithological data are collected (generally random and under sampled) for stratigraphic reconstruction. The integrated management of geo-lithologic data causes major methodological problems, because data obtained from geognostic investigatio...

This paper presents improved unification algorithms, an implementation, and an analysis of the effectiveness of an abstract interpreter based on the sharing + freeness domain presented in a previous paper, which was designed to accurately and concisely represent combined freeness and sharing information for program variables. We first briefly review this domain and the unification algorithms pr...

In first part of this course [28] we have laid the theoretical foundations for logic program specialisation, notably introducing the technique of partial deduction along with some basic techniques to automatically control it. In this part of the course we first present in Section 2 an advanced way of controlling polyvariance based upon characteristic trees. We then show in Section 3 how partial...