Skip to Main content Skip to Navigation

hal-00875536v1  Conference papers
Emmanuel NatafOlivier Festor. Accurate Online Estimation of Battery Lifetime for Wireless Sensors Network
SENSORNETS - 2nd International conference on sensor networks, INSTICC, Feb 2013, Barcelone, Spain
hal-03616853v1  Journal articles
Spandan DeyMd SahidullahGoutam Saha. An Overview of Indian Spoken Language Recognition from Machine Learning Perspective
ACM Transactions on Asian and Low-Resource Language Information Processing, ACM, In press, ⟨10.1145/3523179⟩
hal-03198552v1  Conference papers
Amine Boumaza. Promoting Reproductive Isolation Through Diversity in On-line Collective Robotics
GECCO 2021 - Genetic and Evolutionary Computation Conference Companion, Jul 2021, Lille/Virtual, France. pp.85
hal-03250787v1  Book sections
yamine Aït-AmeurRégine LaleauDominique MéryNeeraj Kumar Singh. Towards Leveraging Domain Knowledge in State-Based Formal Methods
Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, 12750, Springer, pp.1-13, 2021, Lecture Notes in Computer Science, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩
hal-03346697v1  Conference papers
ying Shengyoni ZoharChristophe RingeissenJane LangePascal Fontaine et al.  Politeness for the Theory of Algebraic Datatypes (Extended Abstract)
IJCAI 2021 - International Joint Conference on Artificial Intelligence (Sister Conferences Best Papers), Aug 2021, Montreal, Canada. pp.4829-4833, ⟨10.24963/ijcai.2021/660⟩
hal-03235096v1  Journal articles
Fabien PierreMathieu AmendolaClémence BigeardTimothé RuelPierre-Frédéric Villard. Segmentation with Active Contours
Image Processing On Line, IPOL - Image Processing on Line, 2021, 11, pp.120 - 141. ⟨10.5201/ipol.2021.298⟩
hal-03381116v1  Conference papers
Guillaume RosinoskySamir youcefFrançois CharoyEtienne Rivière. A methodology for tenant migration in legacy shared-table multi-tenant applications
DAIS 2021 - 21th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2021, Valetta, Malta. pp.3-20
hal-03139532v1  Conference papers
Xuechen LiuMd SahidullahTomi Kinnunen. Learnable MFCCs for Speaker Verification
ISCAS 2021 - IEEE International Symposium on Circuits and Systems, May 2021, Daegu, South Korea. ⟨10.1109/ISCAS51556.2021.9401593⟩
hal-03199742v1  Book sections
Neeraj Kumar Singhyamine Aït-AmeurDominique Méry. Formal Ontological Analysis for Medical Protocols
Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩
hal-03199748v1  Book sections
Dominique MérySouad Kherroubi. Contextual Dependency in State-based Modelling
Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_9⟩
hal-02996034v1  Journal articles
Bizhan Alipour PijaniAbdessamad ImineMichaël Rusinowitch. Inferring attributes with picture metadata embeddings
ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing, Association for Computing Machinery (ACM), 2020, 20 (2), pp.36-45. ⟨10.1145/3412816.3412819⟩
hal-03438922v1  Directions of work or proceedings
Matthew EnglandFrançois BoulierTimur SadykovThomas Sturm. Computer Algebra in Scientific Computing 2020
Mathematics in Computer Science, 15 (3), 2021
tel-03564208v1  Theses
Aude Le Gluher. Symbolic Computation and Complexity Analyses for Number Theory and Cryptography
Cryptography and Security [cs.CR]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0245⟩
hal-03355184v1  Conference papers
Francesca RonchiniRomain SerizelNicolas TurpaultSamuele Cornell. The impact of non-target events in synthetic soundscapes for sound event detection
DCASE 2021 - Detection and Classification of Acoustic Scenes and Events, Nov 2021, Barcelona/Virtual, Spain
hal-03200480v1  Conference papers
Maxime AmblardMiguel Couceiro. A Broad NLP Training from Speech to Knowledge
NAACL 2021 - 5th Workshop on Teaching NLP at the Annual Conference of the North American Chapter of the Association for Computational Linguistics, Jun 2021, Mexico / Virtual, Mexico
hal-01673439v1  Journal articles
Mehwish AlamAleksey BuzmakovAmedeo Napoli. Exploratory Knowledge Discovery over Web of Data
Discrete Applied Mathematics, Elsevier, 2018, 249, pp.2-17. ⟨10.1016/j.dam.2018.03.041⟩