Has title
From LRDE
I
Improving Parallel State-Space Exploration Using Genetic Algorithms +
Improving Vaucanson's design +
Improving Vaucanson's transducers composition algorithm +
Improving degeneralization in Spot +
Improving swarming using genetic algorithms +
Improving the Model Checking of Stutter-Invariant LTL Properties +
Improving the Quality of Rule-Based GNN Explanations +
Improving the determinization of Büchi automata +
In Pursuit of the Hidden Features of GNN's Internal Representations +
Inpainting rapide préservant la structure +
Inpainting variationnel par combinaison d'invariants +
Inside Vaucanson +
Integrating Mathematical Morphology within Deep Convolutional Neural Networks +
Integrating modern parallel techniques in the Tiger compiler +
Integration of Morphological Operators in Neural Networks +
Integration of TChecker in Spot +
Integration of histograms in the NL-Mean algorithm for image denoising. +
Interface graphique de Vaucanson +
Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach +
Introducing Multivariate Connected Openings and Closings +