Property

News title

From LRDE

This is a property of type Text.

Showing 20 pages using this property.
F
'''Publication''' [[Publications/tschora.23.ida|Forecasting Electricity Prices: An Optimize Then Predict-Based Approach]] in ''Advances in Intelligent Data Analysis XXI''  +
'''Publication''' [[Publications/xu.17.icip|From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning]] in ''Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP)''  +
'''Publication''' [[Publications/duret.22.cav|From Spot 2.0 to Spot 2.10: What's New?]] in ''Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22)''  +
'''Publication''' [[Publications/calarasanu.16.iwrr|From text detection to text segmentation: a unified evaluation scheme]] in ''Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV)''  +
'''Publication''' [[Publications/dehak.11.taslp|Front-End Factor Analysis For Speaker Verification]] in ''IEEE Transactions on Audio, Speech, and Language Processing''  +
'''Publication''' [[Publications/bloch.05.prl|Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI]] in ''Pattern Recognition Letters''  +
G
'''Publication''' [[Publications/dehak.14.odyssey|GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification]] in ''Odyssey 2014, The Speaker and Language Recognition Workshop''  +
[http://savannah.gnu.org/forum/forum.php?forum_id=7313 GNU Bison 2.6.1 is released]  +
'''Publication''' [[Publications/mandel.22.aghm|GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux]] in ''Assises de Génétique Humaine et Médicale''  +
'''Publication''' [[Publications/bensalem.11.sumo|Generalized Büchi Automata versus Testing Automata for Model Checking]] in ''Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11)''  +
'''Publication''' [[Publications/baier.19.atva|Generic Emptiness Check for Fun and Profit]] in ''Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19)''  +
'''Publication''' [[Publications/senta.12.els|Generic Image Processing with Climb]] in ''European Lisp Symposium''  +
'''Publication''' [[Publications/darbon.04.ecoopphd|Generic algorithmic blocks dedicated to image processing]] in ''Proceedings of the ECOOP Workshop for PhD Students''  +
'''Publication''' [[Publications/duret.01.coots|Generic design patterns in C++]] in ''Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS)''  +
'''Publication''' [[Publications/darbon.02.ismm|Generic implementation of morphological image operators]] in ''Mathematical Morphology, Proceedings of the 6th International Symposium (ISMM)''  +
'''Publication''' [[Publications/geraud.00.europlop|Generic programming redesign of patterns]] in ''Proceedings of the 5th European Conference on Pattern Languages of Programs (EuroPLoP)''  +
'''Publication''' [[Publications/carlinet.14.icip|Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls]] in ''Proceedings of the 21st International Conference on Image Processing (ICIP)''  +
'''Publication''' [[Publications/darbon.08.iwcia|Global Optimization for First Order Markov Random Fields with Submodular Priors]] in ''Proceedings of the twelfth International Workshop on Combinatorial Image Analysis (IWCIA'08)''  +
'''Publication''' [[Publications/kirszenberg.21.spin|Go2Pins: A Framework for the LTL Verification of Go Programs]] in ''Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21)''  +
'''Publication''' [[Publications/renault.22.sttt|Go2Pins: A framework for the LTL verification of Go programs (Extended Version)]] in ''International Journal on Software Tools for Technology Transfer (STTT)''  +