News title
From LRDE
This is a property of type Text.
E
'''Publication''' [[Publications/dziadek.23.fm|Energy Problems in Finite and Timed Automata with Büchi Conditions]] in ''International Symposium on Formal Methods (FM)'' +
Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids +
'''Publication''' [[Publications/boutry.20.jmiv.2|Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids]] in ''Journal of Mathematical Imaging and Vision'' +
'''Publication''' [[Publications/darbon.01.ei|Error correcting code performance for watermark protection]] in ''Proceedings of the 13th Symposium SPIE on Electronic Imaging—-Security and Watermarking of Multimedia Contents III (EI27)'' +
Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur +
'''Publication''' [[Publications/xu.14.rfia|Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur]] in ''Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA)'' +
Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity +
'''Publication''' [[Publications/drumetz.17.lva-ica|Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity]] in ''Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA)'' +
'''Publication''' [[Publications/esteban.19.caip|Estimating the noise level function with the tree of shapes and non-parametric statistics]] in ''Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP)'' +
Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique +
'''Publication''' [[Publications/esteban.22.gretsi.1|Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique]] in ''28e Colloque sur le traitement du signal et des images'' +
'''Publication''' [[Publications/esteban.19.gretsi|Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques]] in ''Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI)'' +
Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics +
'''Publication''' [[Publications/esteban.22.icpr|Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics]] in ''Proceedings of the 26th International Conference on Pattern Recognition'' +
Etienne Renault, PhD-student at LRDE, gives a talk on "Strength-based decomposition of the property Büchi automaton for faster model-checking" organized at MeFoSyLoMa (2012-12-07) +
Etienne Renault, PhD-student at LRDE, gives a talk on "Strength-based decomposition of the property Büchi automaton for faster model-checking" organized at [http://www.mefosyloma.fr/ MeFoSyLoMa] +
'''Publication''' [[Publications/boutry.20.iwcia1|Euler Well-Composedness]] in ''Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020'' +
'''Publication''' [[Publications/cadilhac.06.avocs|Evaluating complex MAC protocols for sensor networks with APMC]] in ''Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS)'' +
Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks +
'''Publication''' [[Publications/rida.21.cn|Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks]] in ''Complex Network 2021'' +
'''Publication''' [[Publications/darbon.04.iwcia|Exact optimization of discrete constrained total variation minimization problems]] in ''Proceedings of the 10th International Workshop on Combinatorial Image Analysis (IWCIA)'' +
'''Publication''' [[Publications/darbon.04.tr|Exact optimization of discrete constrained total variation minimization problems]] +
Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) +
'''Publication''' [[Publications/atlan.20.spie|Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation)]] in ''Label-free Biomedical Imaging and Sensing (LBIS) 2020'' +
'''Publication''' [[Publications/bloemen.17.spin|Explicit State Model Checking with Generalized Büchi and Rabin Automata]] in ''Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17)'' +
'''Publication''' [[Publications/duret.01.ae|Expression templates in Ada 95]] in ''Proceedings of the 6th International Conference on Reliable Software Technologies (Ada-Europe)'' +
'''Publication''' [[Publications/bensalem.15.forte|Extending Testing Automata to All LTL]] in ''Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15)'' +
'''Publication''' [[Publications/verna.12.dsl|Extensible languages: blurring the distinction between DSLs and GPLs]] in ''Formal and Practical Aspects of Domain-Specific Languages: Recent Developments'' +