Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Francisco Rodríguez, María Andreína"'
Publikováno v:
In Artificial Intelligence in the Life Sciences December 2023 3
Constraint programming (CP) is a technology in which a combinatorial problem is modelled as a conjunction of constraints on variables ranging over given initial domains, and optionally an objective function on the variables. Such a model is given to
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-332149
Autor:
Arafailova, Ekaterina, Beldiceanu, Nicolas, Douence, Rémi, Carlsson, Mats, Flener, Pierre, Pearson, Justin, Francisco Rodríguez, María Andreína, Simonis, Helmut
Publikováno v:
[Technical Report] IMT Atlantique. 2018, pp.1-3762
First this report presents a restricted set of finite transducers used to synthesise structural time-series constraints described by means of a multi-layered function composition scheme. Second it provides the corresponding synthesised catalogue of s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b9b3d4c97024628c5ded374a581088f4
https://inria.hal.science/hal-01374721/file/1609.08925v2.pdf
https://inria.hal.science/hal-01374721/file/1609.08925v2.pdf
Autor:
Arafailova, Ekaterina, Beldiceanu, Nicolas, Douence, Rémi, Flener, Pierre, Francisco Rodríguez, María Andreína, Pearson, Justin, Simonis, Helmut
Publikováno v:
Integration of AI & OR Techniques in Constraint Programming (9783319339535); 2016, p18-34, 17p
Autor:
Arafailova, Ekaterina, Beldiceanu, Nicolas, Carlsson, Mats, Flener, Pierre, Francisco Rodríguez, María Andreína, Pearson, Justin, Simonis, Helmut
Publikováno v:
Principles & Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings; 2016, p13-29, 17p
In this work we discuss the consistency of constraints for which the set of solutions can be recognised by a deterministic finite automaton. Such an automaton induces a decomposition of the constraint into a conjunction of constraints. Since the leve
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-156441