Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Dusart, Jérémie"'
Autor:
Bourhis, Pierre, Duchien, Laurence, Dusart, Jérémie, Lonca, Emmanuel, Marquis, Pierre, Quinton, Clément
Analyzing a Feature Model (FM) and reasoning on the corresponding configuration space is a central task in Software Product Line (SPL) engineering. Problems such as deciding the satisfiability of the FM and eliminating inconsistent parts of the FM ha
Externí odkaz:
http://arxiv.org/abs/2302.06867
Autor:
Bourhis, Pierre, Duchien, Laurence, Dusart, Jérémie, Lonca, Emmanuel, Marquis, Pierre, Quinton, Clément
We are interested in computing $k$ most preferred models of a given d-DNNF circuit $C$, where the preference relation is based on an algebraic structure called a monotone, totally ordered, semigroup $(K, \otimes, <)$. In our setting, every literal in
Externí odkaz:
http://arxiv.org/abs/2202.05938
We present a method for the construction of SHACL or ShEx constraints for an existing RDF dataset. It has two components that are used conjointly: an algorithm for automatic schema construction, and an interactive workflow for editing the schema. The
Externí odkaz:
http://arxiv.org/abs/1907.10603
Recently, Deshpande et al. introduced a new measure of the complexity of a Boolean function. We call this measure the "goal value" of the function. The goal value of $f$ is defined in terms of a monotone, submodular utility function associated with $
Externí odkaz:
http://arxiv.org/abs/1702.04067
A cocomparability graph is a graph whose complement admits a transitive orientation. An interval graph is the intersection graph of a family of intervals on the real line. In this paper we investigate the relationships between interval and cocomparab
Externí odkaz:
http://arxiv.org/abs/1611.02002
In this paper, we consider the problem of the recognition of various kinds of orderings produced by graph searches. To this aim, we introduce a new framework, the Tie-Breaking Label Search (TBLS), in order to handle a broad variety of searches. This
Externí odkaz:
http://arxiv.org/abs/1501.06148
Publikováno v:
Order; Apr2024, Vol. 41 Issue 1, p99-133, 35p
Publikováno v:
In Discrete Applied Mathematics 31 March 2018 238:1-13
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Dusart, Jérémie, Habib, Michel
Publikováno v:
In Discrete Applied Mathematics 10 January 2017 216 Part 1:149-161