<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Schaus, Pierre"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Nombre de documents: 11

Verhaeghe, H. , Nijssen, S., Pesant, G., Quimper, C.-G., & Schaus, P. (juin 2021). Learning Optimal Decision Trees using Constraint Programming [Communication écrite]. 16th French-Speaking Conference on Constraint Programming (JFPC 2021). Non disponible

Verhaeghe, H., Nijssen, S., Pesant, G., Quimper, C.-G., & Schaus, P. (2020). Learning optimal decision trees using constraint programming. Constraints, 25(3-4), 226-250. Lien externe

Verhaeghe, H., Nijssen, S., Pesant, G., Quimper, C.-G., & Schaus, P. (janvier 2021). Learning optimal decision trees using constraint programming (extended abstract) [Communication écrite]. 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Yokohama, Japan. Lien externe

Thomas, C., Cappart, Q., Schaus, P., & Rousseau, L.-M. (juin 2019). Une approche de programmation par contraintes pour résoudre le problème de transport de patients [A constraint programming approach for solving patient transportation problems]. [Communication écrite]. 15es Journées Francophones de Programmation par Contraintes (JFPC 2019), Albi, France. Lien externe

Cappart, Q., Thomas, C., Schaus, P., & Rousseau, L.-M. (août 2018). A constraint programming approach for solving patient transportation problems [Communication écrite]. 24th International Conference on the Principles and Practice of Constraint Programming (CP 2018), Lille, France. Lien externe

Cappart, Q., Aoga, J. O. R., & Schaus, P. (juin 2018). EpisodeSupport: A Global Constraint for Mining Frequent Patterns in a Long Sequence of Events [Communication écrite]. 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2018), Delft, The Netherlands. Lien externe

Cappart, Q., & Schaus, P. (juin 2017). Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables [Communication écrite]. 14th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2017), Padua, Italy. Lien externe

Cappart, Q., Limbrée, C., Schaus, P., Quilbeuf, J., Traonouez, L.-M., & Legay, A. (janvier 2017). Verification of Interlocking Systems Using Statistical Model Checking [Communication écrite]. 18th IEEE International Symposium on High Assurance Systems Engineering (HASE 2017), Singapore. Lien externe

Cappart, Q., & Schaus, P. (septembre 2016). A Dedicated Algorithm for Verification of Interlocking Systems [Communication écrite]. 35th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2016), Trondheim, Norway. Lien externe

Cappart, Q., Limbrée, C., Schaus, P., & Legay, A. (octobre 2015). Verification by discrete simulation of interlocking systems [Communication écrite]. 29th European Simulation and Modelling Conference, Leicester, United Kingdom. Lien externe

Busard, S., Cappart, Q., Limbrée, C., Pecheur, C., & Schaus, P. (juin 2015). Verification of railway interlocking systems [Communication écrite]. 4th International Workshop on Engineering Safety and Security Systems, Oslo, Norway. Lien externe

Liste produite: Mon Nov 18 05:11:43 2024 EST.