High resolution remote sensing (HR RS) images allow discriminating between different objects in a scene. Spatial reasoning techniques can be used to interpret and describe the sce...
Maria Carolina Vanegas, Isabelle Bloch, Jordi Ingl...
In order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation, a common ontology for computational ar...
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...
Daniel M. Dunlavy, Timothy M. Shead, Eric T. Stant...