Publications

Affichage de 1641 à 1650 sur 5567


  • 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⟩