Hypothetical reasoning consists in completing available knowledge to achieve reasoning. In order to help hypothetical reasoning, specific algorithms are designed which efficiently deal with hypothesis and their consequences, and moreover allow an automatic hypothesis generation. This last consideration leads to implement a nonmonotonic reasoning. Truth maintenance systems (TMS) record the infer...

In this article, we investigate aspects of sentential meaning that are not expressed in local predicate–argument structures. In particular, we examine instances of semantic arguments that are only inferable from discourse context. The goal of this work is to automatically acquire and process such instances, which we also refer to as implicit arguments, to improve computational models of languag...

This work presents an efficient method for image multi-zone segmentation under human supervision. As most of the segmentation methods, our procedure relies on an energy minimization and this energy contains a data-consistent term and a coherence term. In this work, the pixel-by-pixel data-consistent term is based on a Support Vector Machine designed in order to deal with color and textural info...

This paper introduces a two-level approach for image segmentation based on region and edge integration. Edges are first detected in the original image using a combination of operators for intensity gradient and texture discontinuities. To preserve the spatial coherence of the edges and their surrounding image regions, the detected edges are vectorized into connected line segments which serve as...

We consider the problem of constructing a directed acyclic graph that encodes temporal relations found in a text. The unit of our analysis is a temporal segment, a fragment of text that maintains temporal coherence. The strength of our approach lies in its ability to simultaneously optimize pairwise ordering preferences and global constraints on the graph topology. Our learning method achieves ...

Automated segmentation of the sea ice evolution would allow scientists studying climate change to build accurate models of the sea ice meltdown process, which is a sensitive climate indicator. In this paper, we propose a novel approach which uses shape analysis and graph-based optimization for segmentation of a multiyear ice floe from time series of satellite images. Differently of the state-of...

We propose here the use of the variational level set methodology to capture Lagrangian vortex boundaries in 2D unsteady velocity fields. This method reformulates earlier approaches that seek material vortex boundaries as extremum solutions of variational problems. We demonstrate the performance of this technique for two different variational formulations built upon different notions of coherenc...

In the last years, ontology modeling became popular and thousands of ontologies covering multiple fields of application are now available. However, as multiple ontologies might be available on the same or related domain, there is an urgent need for tools to compare, match, merge and assess ontologies. Ontology matching, which consists in aligning ontology, has been widely studied and benchmarks...

A novel method for comparing non-aligned graphs of various sizes is proposed, based on the Wasserstein distance between graph signal distributions induced by respective Laplacian matrices. Specifically, a new formulation one-to-many alignment problem casted, which aims at matching node in smaller with one or more nodes larger graph. By incorporating optimal transport into our comparison framewo...