User menu

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

Search

Displaying 9 results.
    • Speech
    Verification by discrete simulation of interlocking systems
    Cappart, Quentin[UCL] Schaus, Pierre[UCL] Limbrée, Christophe[UCL] (2015) 29th European Simulation and Modelling Conference — Leicester, UK.
    • Speech
    Simple and Scalable Time-Table Filtering for the Cumulative Constraint
    Gay, Steven[UCL] Hartert, Renaud[UCL] Schaus, Pierre[UCL] (2015) Principles and Practice of Constraint Programming — Cork Ireland
    • Speech
    Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm
    Deville, Yves[UCL] Dejemeppe, Cyrille[UCL] Schaus, Pierre[UCL] (2015) Integration of AI and OR Techniques in Constraint Programming — Barcelona
    • Speech
    A Declarative and Expressive Approach to Control Forwarding Paths in Carrier-Grade Networks
    Hartert, Renaud[UCL] Vissicchio, Stefano[UCL] Schaus, Pierre[UCL] Bonaventure, Olivier[UCL] Filsfils, Clarence Telkamp, Thomas Francois, Pierre (2015) 28th Annual Conference of the ACM Special Interest Group on Data Communication (SIGCOMM) on the applications, technologies, architectures, and protocols for computer communication — London
    • Speech
    Solving Segment Routing Problems with Hybrid Constraint Programming Techniques
    Hartert, Renaud[UCL] Schaus, Pierre[UCL] Vissicchio, Stefano[UCL] Bonaventure, Olivier[UCL] (2015) International Conference on Principles and Practice of Constraint Programming (CP) — Cork, Ireland
    • Speech
    Verification of railway interlocking systems
    Busard, Simon[UCL] Cappart, Quentin[UCL] Limbrée, Christophe[UCL] Pecheur, Charles[UCL] Schaus, Pierre[UCL] (2015) 4th International Workshop on Engineering Safety and Security Systems 2015 — Oslo, Norway
    • Speech
    Time-Table Disjunctive Reasoning for the Cumulative Constraint
    Hartert, Renaud[UCL] Gay, Steven[UCL] Schaus, Pierre[UCL] (2015) Integration of AI and OR Techniques in Constraint Programming — Barcelona
    • Speech
    Understanding the Potential of Propagators
    Van Cauwelaert, Sascha[UCL] Schaus, Pierre[UCL] (2015) Integration of AI and OR Techniques in Constraint Programming — Barcelona
    • Speech
    Conflict Ordering Search for Scheduling Problems
    Gay, Steven[UCL] Hartert, Renaud[UCL] Schaus, Pierre[UCL] (2015) Principles and Practice of Constraint Programming — Cork Ireland