Vincent Martin

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 14

Top Topics

Transformed Images

Ontology Driven

Top Venues

Publications

Enzo Piponnier, Masaki Ishikawa, Yoko Kunimasa, Kanae Sano, Kévin Jagot, Nathalie Boisseau, Toshiyuki Kurihara, Vincent Martin
Quantification of Extramyocellular Lipids and Intramuscular Fat from Muscle Echo Intensity in Lower Limb Muscles: A Comparison of Four Ultrasound Devices against Magnetic Resonance Spectroscopy. Sensors 23 (11) (2023)
Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem. FM (2023)
Xavier Daull, Patrice Bellot, Emmanuel Bruno, Vincent Martin, Elisabeth Murisasco
Complex QA and language models hybrid architectures, Survey. CoRR (2023)
Mehdi Chahine Amrouche, Hervé Carfantan, Jérôme Idier, Vincent Martin
Statistical Destriping of Pushbroom-Type Images Based on an Affine Detector Response. IEEE Trans. Geosci. Remote. Sens. 60 (2022)
Guillaume Chambaret, Laure Berti-Équille, Frédéric Bouchara, Emmanuel Bruno, Vincent Martin, Fabien Chaillan
Stochastic Pairing for Contrastive Anomaly Detection on Time Series. ICPRAI (2) (2022)
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
A Coq Formalization of Lebesgue Integration of Nonnegative Functions. J. Autom. Reason. 66 (2) (2022)
Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
Lebesgue Induction and Tonelli's Theorem in Coq. CoRR (2022)
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
A Coq Formalization of Lebesgue Integration of Nonnegative Functions. CoRR (2021)
François Clément, Vincent Martin
Lebesgue integration. Detailed proofs to be formalized in Coq. CoRR (2021)
Guillaume Chambaret, Laure Berti-Équille, Frédéric Bouchara, Emmanuel Bruno, Vincent Martin, Fabien Chaillan
Amélioration du pronostic par apprentissage profond pour des applications de maintenance prédictive. EGC (2021)
Jad Dabaghi, Vincent Martin, Martin Vohralík
Adaptive Inexact Semismooth Newton Methods for the Contact Problem Between Two Membranes. J. Sci. Comput. 84 (2) (2020)
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
A Coq formal proof of the LaxMilgram theorem. CPP (2017)
François Clément, Vincent Martin
The Lax-Milgram Theorem. A detailed proof to be formalized in Coq. CoRR (2016)
Vincent Martin, Emmanuel Bruno, Elisabeth Murisasco
Predicting the French Stock Market Using Social Media Analysis. Int. J. Virtual Communities Soc. Netw. 7 (2) (2015)
Vincent Martin, Emmanuel Bruno, Elisabeth Murisasco
Ontology Driven Indexing: Application to Personalized Information Retrieval. DEXA (1) (2014)
Richard E. Ladner, Jillian Hall, Samir Jain, CeAhna Lathon, Vincent Martin
Panel of computing students with disabilities. SIGCSE (2014)
Vincent Martin, Adama Coulaby, Nathan Schaff, Chiu C. Tan, Shan Lin
Bandwidth Prediction on a WiMAX Network. MASS (2014)
Melody Moore Jackson, Clint Zeagler, Giancarlo Valentin, Alex Martin, Vincent Martin, Adil Delawalla, Wendy Blount, Sarah Eiring, Ryan Hollis, Yash Kshirsagar, Thad Starner
FIDO - facilitating interactions for dogs with occupations: wearable dog-activated interfaces. ISWC (2013)
Vincent Martin
Predicting the French Stock Market Using Social Media Analysis. SMAP (2013)
Vincent Martin, Hervé Glotin, Sébastien Paris, Xanadu Halkias, Jean-Marc Prevot
Violence Detection in Video by Large Scale Multi-Scale Local Binary Pattern Dynamics. MediaEval (2012)
Alfonso Caiazzo, Miguel A. Fernández, Jean-Frédéric Gerbeau, Vincent Martin
Projection Schemes for Fluid Flows through a Porous Interface. SIAM J. Sci. Comput. 33 (2) (2011)
Alfonso Caiazzo, Miguel A. Fernández, Vincent Martin
Analysis of a stabilized finite element method for fluid flows through a porous interface. Appl. Math. Lett. 24 (12) (2011)
Vincent Martin, Agnes Drochon, O. Fokapu, Jean-Frédéric Gerbeau
MagnetoHemoDynamics Effect on Electrocardiograms. FIMH (2011)
Jean-Marc Delvit, Daniel Greslou, Christophe Latry, Laurent Lebegue, Vincent Martin, Sylvia Sylvander
Geometric improvement for Earth observation applications. IGARSS (2010)
Vincent Martin, Marie Chabert, Bernard Lacaze
An interpolation-based watermarking scheme. Signal Process. 88 (3) (2008)
Vincent Martin, Marie Chabert, Bernard Lacaze
Digital Watermarking of Natural Images Based on LPTV Filters. ICASSP (2) (2007)
François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis
Domain decomposition and skeleton programming with OCamlP3l. Parallel Comput. 32 (7-8) (2006)
Laila Amir, Michel Kern, Jean E. Roberts, Vincent Martin
Décomposition de domaine pour un milieu poreux fracturé : un modèle en 3D avec fractures. ARIMA J. 5 (2006)
Vincent Martin, Marie Chabert, Bernard Lacaze
Substitutive watermarking algorithms based on interpolation. EUSIPCO (2006)
Vincent Martin, Marie Chabert, Bernard Lacaze
A Novel Watermarking Scheme Based on Bilinear Interpolation for Digital Images. ICASSP (2) (2006)
Vincent Martin, Jérôme Jaffré, Jean E. Roberts
Modeling Fractures and Barriers as Interfaces for Flow in Porous Media. SIAM J. Sci. Comput. 26 (5) (2005)
François Clément, Vincent Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis
Domain Decomposition and Skeleton Programming with OCamlP3l. PARCO (2005)
Vincent Martin, Marie Chabert, Bernard Lacaze
Single and multiple spread spectrum watermarking based on periodic clock changes. EUSIPCO (2005)
Vincent Martin, Marie Chabert, Bernard Lacaze
A Spread Spectrum Watermarking Scheme Based on Periodic Clock Changes for Digital Images. Information Hiding (2005)