Publications

Affichage de 1621 à 1630 sur 5541


  • Communication dans un congrès

Cognitive Work Analysis vs. Human-Machine Cooperation in HUMANISM project

Marie-Pierre Pacaux-Lemoine, Damien Trentesaux

« Human & Industry 4.0 », Apr 2019, Valenciennes, France. ⟨hal-03518716⟩

  • Communication dans un congrès

A special case of Variable-Sized Bin Packing Problem with Color Constraints

Igor Crevits, Said Hanafi, A.Ridha Mahjoub, Raouia Taktak, Christophe Wilbaut

The Variable-Sized Bin Packing Problem with Color Constraints (VSBPP-CC) is a generalization of the classical one-dimensional Bin Packing Problem, where bins of different capacities are available for packing a set of items each characterized by a weight and a color. The objective is to pack all the…

Proceedings of 6th International Conference on Control, Decision and Information Technologies, Apr 2019, Paris, France. pp.1150-1154, ⟨10.1109/CoDIT.2019.8820707⟩. ⟨hal-03524199⟩

  • Communication dans un congrès

Program Repair at Arbitrary Fault Depth

Besma Khaireddine, Matias Martinez, Ali Mili

Program repair has been an active research area for over a decade and has achieved great strides in terms of scalable automated repair tools. In this paper we argue that existing program repair tools lack an important ingredient, which limits their scope and their efficiency: a formal definition of…

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST), Apr 2019, Xi'an, China. pp.465-472, ⟨10.1109/ICST.2019.00056⟩. ⟨hal-03522307⟩

  • Communication dans un congrès

Machine Learning for Improving Mobile User Satisfaction

Brahim Chaïb-Draa, Smail Niar, Fabien Bouquillon, Emmanuelle Grislin-Le Strugeon

Optimizing energy consumption in modern mobile handheld devices plays a crucial role as lowering power consumption impacts system's autonomy and system reliability. Recent mobile platforms have an increasing number of sensors and processing components. Added to the increasing popularity of…

34th Annual ACM Symposium on Applied Computing, SAC 2019, Apr 2019, Limasol, Cyprus. pp.1200-1207, ⟨10.1145/3297280.3297398⟩. ⟨hal-03524243⟩