2017
Journal articles
- titre
- Vision-language integration using constrained local semantic features
- auteur
- Youssef Tamaazousti, Hervé Le Borgne, Adrian Popescu, Etienne Gadeski, Alexandru Ginsca, Céline Hudelot
- article
- Computer Vision and Image Understanding, 2017, 163, pp.41-57. ⟨10.1016/j.cviu.2017.05.017⟩
- Accès au bibtex
-
- titre
- Enumerating and categorizing positive Boolean functions separable by a k -additive capacity
- auteur
- Eda Uyanik, Olivier Sobrie, Vincent Mousseau, Marc Pirlot
- article
- Discrete Applied Mathematics, 2017, 229, pp.17 - 30. ⟨10.1016/j.dam.2017.04.010⟩
- Accès au bibtex
-
- titre
- DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes
- auteur
- Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben-Othman
- article
- Concurrency and Computation: Practice and Experience, 2017, 29 (23), ⟨10.1002/cpe.4266⟩
- Accès au texte intégral et bibtex
-
- titre
- Multicriteria Sorting with Category Size Restrictions
- auteur
- Murat Köksalan, Vincent Mousseau, Selin Özpeynirci
- article
- International Journal of Information Technology and Decision Making, 2017, 16 (01), pp.5 - 23. ⟨10.1142/S0219622016500061⟩
- Accès au bibtex
-
- titre
- An empirical classification-based framework for the safety criticality assessment of energy production systems, in presence of inconsistent data
- auteur
- Tairan Wang, Vincent Mousseau, Nicola Pedroni, Enrico Zio
- article
- Reliability Engineering and System Safety, 2017, 157, pp.139-151. ⟨10.1016/j.ress.2016.08.021⟩
- Accès au texte intégral et bibtex
-
- titre
- DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes.
- auteur
- Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben Othman
- article
- Concurrency and Computation: Practice and Experience, In press
- Accès au bibtex
-
- titre
- Symbolic execution of transition systems with function summaries
- auteur
- I. Boudhiba, C. Gaston, P. Le Gall, V. Prevosto
- article
- Lecture Notes in Computer Science, 2017, 10375 LNCS, pp.41-58. ⟨10.1007/978-3-319-61467-0_3⟩
- Accès au bibtex
-
- titre
- Explaining robust additive utility models by sequences of preference swaps
- auteur
- Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane
- article
- Theory and Decision, 2017, 82 (2), pp.151-183. ⟨10.1007/s11238-016-9560-1⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Constraint-Based Oracles for Timed Distributed Systems
- auteur
- Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall
- article
- 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
- Accès au texte intégral et bibtex
-
- titre
- Assessment of Ssustainable strategies based on DMM approach and value creation
- auteur
- Mathieu Dernis, Wassila Ouerdane, Ludovic-Alexandre Vidal, Pascal da Costa, Franck Marle
- article
- 19th Dependency and Structure Modelling Conference (DSM), Sep 2017, Helsinki, Finland
- Accès au texte intégral et bibtex
-
- titre
- An assistance to identification and estimation of contractual strategy alternatives in oil and gas upstream development projects
- auteur
- M. Mammeri, Franck Marle, Wassila Ouerdane
- article
- 19th Dependency and Structure Modelling Conference (DSM), Sep 2017, Helsinki, Finland
- Accès au texte intégral et bibtex
-
- titre
- Analysis of Timed Properties Using the Jump-Diffusion Approximation
- auteur
- Paolo Ballarini, Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Jeremy Sproston
- article
- European Workshop on Performance Engineering, Sep 2017, Berlin, Germany
- Accès au texte intégral et bibtex
-
- titre
- A Model for Accountable Ordinal Sorting
- auteur
- Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane
- article
- 26th International Joint Conference on Artificial Intelligence (IJCAI-2017), Aug 2017, Melbourne, Australia
- Accès au texte intégral et bibtex
-
- titre
- MuCaLe-Net: Multi categorical-Level networks to generate more discriminating features
- auteur
- Y. Tamaazousti, Hervé Le Borgne, Céline Hudelot
- article
- 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Jul 2017, Honolulu, HI, United States. pp.5282-5291, ⟨10.1109/CVPR.2017.561⟩
- Accès au texte intégral et bibtex
-
- titre
- Symbolic execution of transition systems with function summaries
- auteur
- Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto
- article
- 11th International Conference on Tests & Proofs, Jul 2017, Marburg, Germany
- Accès au texte intégral et bibtex
-
- titre
- Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions
- auteur
- Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall
- article
- International Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩
- Accès au bibtex
-
- titre
- Une formulation SAT pour l’apprentissage de modèles de classement multicritères non-compensatoires
- auteur
- Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane
- article
- 11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
- Accès au bibtex
-
- titre
- Introducing Causality in Business Rule-Based Decisions
- auteur
- Karim El Mernissi, Pierre Feillet, Nicolas Maudet, Wassila Ouerdane
- article
- IEA/AIE 2017 - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, Jun 2017, Arras, France. pp.433-439, ⟨10.1007/978-3-319-60042-0_47⟩
- Accès au bibtex
-
- titre
- Aide à la sélection de stratégies pour apporter des valeurs durables à des pays hôtes en contexte pétrolier
- auteur
- Mathieu Dernis, Ludovic-Alexandre Vidal, Franck Marle, Wassila Ouerdane, Pascal da Costa
- article
- Congrès International de Génie Industriel CIGI, May 2017, Compiègne, France
- Accès au texte intégral et bibtex
-
- titre
- RPP: Automatic proof of relational properties by self-composition
- auteur
- L. Blatter, N. Kosmatov, P. Le Gall, V. Prevosto
- article
- TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems, Apr 2017, Uppsala, Sweden. pp.391-397, ⟨10.1007/978-3-662-54577-5_22⟩
- Accès au bibtex
-
- titre
- A Population-Based Algorithm for Learning a Majority Rule Sorting Model with Coalitional Veto
- auteur
- Olivier Sobrie, Vincent Mousseau, Marc Pirlot
- article
- Evolutionary Multi-Criterion Optimization, Mar 2017, Münster, Germany. pp.575-589
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Integrating Computer Vision Algorithms and Ontologies for Spectator Crowd Behavior Analysis
- auteur
- Davide Conigliaro, Roberta Ferrario, Céline Hudelot, Daniele Porello
- article
- Integrating Computer Vision Algorithms and Ontologies for Spectator Crowd Behavior Analysis, Elsevier Inc., pp.297-319, 2017, 9780128092804; 9780128092767. ⟨10.1016/B978-0-12-809276-7.00016-3⟩
- Accès au bibtex
-
Reports
- titre
- Constraint-preserving labeled graph transformations for topology-based geometric modeling
- auteur
- Thomas Bellet, Agnès Arnould, Pascale Le Gall
- article
- [Research Report] XLIM. 2017
- Accès au texte intégral et bibtex
-
- titre
- Geometric modeling: consistency preservation using two-layered variable substitutions (extended version)
- auteur
- Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall
- article
- [Research Report] Xlim UMR CNRS 7252; CentraleSupélec, Université Paris-Saclay. 2017
- Accès au texte intégral et bibtex
-