Property

News title

From LRDE

This is a property of type Text.

previous 202050100250500next 20
Showing 20 pages using this property.
L
LRDE Seminar on Performance and Genericity - Amélioration du design et des performances des machines virtuelles langages by Gaël Thomas (2013-01-23) +
[http://seminaire.lrde.epita.fr LRDE Seminar on Performance and Genericity] - Amélioration du design et des performances des machines virtuelles langages by Gaël Thomas  +
LRDE Seminar on Performance and Genericity - Designing robust distributed systems with weakly interacting feedback structures by Peter Van Roy (2013-04-24) +
[http://seminaire.lrde.epita.fr LRDE Seminar on Performance and Genericity] - Designing robust distributed systems with weakly interacting feedback structures by Peter Van Roy  +
LRDE Seminar on Performance and Genericity - Etendre le compilateur GCC avec MELT by Basile Starynkevitch (2013-05-22) +
[http://seminaire.lrde.epita.fr LRDE Seminar on Performance and Genericity] - Etendre le compilateur GCC avec MELT by Basile Starynkevitch  +
LRDE Seminar on Performance and Genericity - Langages de développement et sécurité -- Mind your language by Eric Jaeger et Olivier Levillain (2013-05-29) +
[http://seminaire.lrde.epita.fr LRDE Seminar on Performance and Genericity] - Langages de développement et sécurité -- Mind your language by Eric Jaeger et Olivier Levillain  +
LRDE Seminar on Performance and Genericity - SMIL : Simple Morphological Image Library by Matthieu Faessel et Michel Bilodeau (2013-03-27) +
[http://seminaire.lrde.epita.fr LRDE Seminar on Performance and Genericity] - SMIL : Simple Morphological Image Library by Matthieu Faessel et Michel Bilodeau  +
LRDE Seminar on Performance and Genericity - Une représentation d'images 2D discrète, continue et auto-duale by Thierry Géraud (2013-02-20) +
[http://seminaire.lrde.epita.fr LRDE Seminar on Performance and Genericity] - Une représentation d'images 2D discrète, continue et auto-duale by Thierry Géraud  +
LRDE Speaker Recognition System for NIST-SRE 2010 +
'''Publication''' [[Publications/dehak.10.nist|LRDE Speaker Recognition System for NIST-SRE 2010]] in ''NIST 2010 Speaker Recognition Evaluation''  +
LRDE System description +
'''Publication''' [[Publications/dehak.06.nist|LRDE System description]] in ''NIST SRE'06 Workshop: speaker recognition evaluation campaign''  +
LTL Model Checking for Communicating Concurrent Programs +
'''Publication''' [[Publications/pommellet.20.isse|LTL Model Checking for Communicating Concurrent Programs]] in ''Innovations in Systems and Software Engineering: a NASA journal (ISSE)''  +
LTL Model Checking with Neco +
'''Publication''' [[Publications/fronc.13.atva|LTL Model Checking with Neco]] in ''Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)''  +
LTL Translation Improvements in Spot +
'''Publication''' [[Publications/duret.11.vecos|LTL Translation Improvements in Spot]] in ''Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11)''  +
LTL Translation Improvements in Spot 1.0 +
'''Publication''' [[Publications/duret.14.ijccbs|LTL Translation Improvements in Spot 1.0]] in ''International Journal on Critical Computer-Based Systems''  +
LTL under reductions with weaker conditions than stutter invariance +
'''Publication''' [[Publications/paviot.22.forte|LTL under reductions with weaker conditions than stutter invariance]] in ''Proceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22)''  +
La pseudo-distance du dahu +
'''Publication''' [[Publications/carlinet.17.orasis|La pseudo-distance du dahu]] in ''Actes d'ORASIS''  +
Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning +
'''Publication''' [[Publications/lepage.22.interspeech|Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning]] in ''Proc. Interspeech 2022''  +
Language Recognition via I-Vectors and Dimensionality Reduction +
'''Publication''' [[Publications/dehak.11.interspeech|Language Recognition via I-Vectors and Dimensionality Reduction]] in ''INTERSPEECH 2011''  +
Learning Diversity Attributes in Multi-Session Recommendations +
'''Publication''' [[Publications/bouarour.22.ieeebigdata|Learning Diversity Attributes in Multi-Session Recommendations]] in ''2022 IEEE International Conference on Big Data (Big Data)''  +
Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation +
'''Publication''' [[Publications/drumetz.20.icassp|Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation]] in ''Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP)''  +
Learning Grayscale Mathematical Morphology with Smooth Morphological Layers +
'''Publication''' [[Publications/hermary.22.jmiv|Learning Grayscale Mathematical Morphology with Smooth Morphological Layers]] in ''Journal of Mathematical Imaging and Vision''  +
Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks +
'''Publication''' [[Publications/estopinan.21.eusipco|Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks]] in ''Proceedings of the 29th European Signal Processing Conference (EUSIPCO)''  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:News_title&oldid=3361"