User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 12 results.
    • Speech
    Extension de Compact-Table aux tables négatives et concises
    Verhaeghe, Hélène[UCL] Lecoutre, Christophe Schaus, Pierre[UCL] (2017) Treizièmes journées Francophones de Programmation par Contraintes (JFPC17) — Montreuil-sur-Mer, France
    • Speech
    The weighted arborescence constraint
    Houndji, Vinasetan Ratheil[UCL] Schaus, Pierre[UCL] Hounkonnou, Mahouton Norbert Wolsey, Laurence[UCL] (2017) International conference on integration of artificial intelligence and operations research techniques in constraint program — Padova, Italy
    • Speech
    Extending Compact-Table to Negative and Short Tables
    Verhaeghe, Hélène[UCL] Lecoutre, Christophe Schaus, Pierre[UCL] (2017) The Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17) — San Francisco, USA
    • Speech
    CoverSize: A Global Constraint for Frequency-based Itemset Mining
    Schaus, Pierre[UCL] Aoga, John[UCL] Guns, Tias (2017) Principles and Practice of Constraint Programming - CP — Melbourne, Australia
    • Speech
    Algorithme Efficace pour la Fouille de Séquences Fréquentes avec la Programmation par Contraintes
    Aoga, John[UCL] Guns, Tias Schaus, Pierre[UCL] (2017) Treizièmes Journées Francophones de Programmation par Contraintes — Montreuil-sur-mer,
    • Speech
    Verification of Interlocking Systems Using Statistical Model Checking
    Cappart, Quentin Limbrée, Christophe Schaus, Pierre Quilbeuf, Jean Traonouez, Louis-Marie Legay, Axel[UCL] (2017) 18th IEEE International Symposium on High Assurance Systems Engineering (HASE) — Singapore
    • Speech
    Efficient Reification of Table Constraints
    Khong, Minh Thanh[UCL] Deville, Yves[UCL] Schaus, Pierre[UCL] Lecoutre, Christophe (2017) International Conference on Tools with Artificial Intelligence — Boston, MA, US
    • Speech
    Mining a sub-matrix of maximal sum
    Branders, Vincent[UCL] Schaus, Pierre[UCL] Dupont, Pierre[UCL] (2017) 6th International Workshop on New Frontiers in Mining Complex Patterns in conjunction with ECML-PKDD 2017 — Skopje (MK)
    • Speech
    Efficient Filtering for the Resource-Cost AllDifferent Constraint
    Van Cauwelaert, Sascha[UCL] Schaus, Pierre[UCL] (2017) Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint P — Padova
    • Speech
    Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables
    Cappart, Quentin[UCL] Schaus, Pierre[UCL] (2017) Integration of AI and OR Techniques in Constraint Programming: 14th International Conference — Padua, Italy
    • Speech
    Extending Compact-Table to Basic Smart Tables
    Verhaeghe, Hélène[UCL] Lecoutre, Christophe[UCL] Deville, Yves[UCL] Schaus, Pierre[UCL] (2017) 23rd International Conference on Principles and Practice of Constraint Programming (CP17) — Melbourne, Australia
    • Speech
    Verification of Interlocking Systems Using Statistical Model Checking
    Cappart, Quentin[UCL] Limbrée, Christophe[UCL] Schaus, Pierre[UCL] Quilbeuf, Jean Traonouez, Louis-Marie Legay, Axel[UCL] (2017) IEEE 18th International Symposium on High Assurance Systems Engineering (HASE 2017) — Singapore