Sylvain Peyronnet

Publication Activity (10 Years)

Years Active: 2001-2020
Publications (10 Years): 4

Top Topics

Textual Information

Image Similarity

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Maxime Portaz, Adrien Nivaggioli, Hicham Randrianarivo, Ilyes Kacher, Sylvain Peyronnet
QISS: An Open Source Image Similarity Search Engine. ECIR (2) (2020)
Ilyes Kacher, Maxime Portaz, Hicham Randrianarivo, Sylvain Peyronnet
Graphcore C2 Card performance for image-based deep learning application: A Report. CoRR (2020)
Maxime Portaz, Hicham Randrianarivo, Adrien Nivaggioli, Estelle Maudet, Christophe Servan, Sylvain Peyronnet
Image search using multilingual texts: a cross-modal learning approach between image and text Maxime Portaz Qwant Research. CoRR (2019)
Jean Creusefond, Thomas Largillier, Sylvain Peyronnet
On the Evaluation Potential of Quality Functions in Community Detection for Different Contexts. NetSci-X (2016)
Richard Lassaigne, Sylvain Peyronnet
Approximate planning and verification for large Markov decision processes. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Jean Creusefond, Thomas Largillier, Sylvain Peyronnet
On the evaluation potential of quality functions in community detection for different contexts. CoRR (2015)
Jean Creusefond, Thomas Largillier, Sylvain Peyronnet
Finding compact communities in large graphs. ASONAM (2015)
Thomas Largillier, Guillaume Peyronnet, Sylvain Peyronnet
Efficient filtering of adult content using textual information. CoRR (2015)
Jean Creusefond, Thomas Largillier, Sylvain Peyronnet
Finding compact communities in large graphs. CoRR (2014)
Thomas Largillier, Guillaume Peyronnet, Sylvain Peyronnet
Rocovo: robust communal publication scheme. SAC (2014)
Alexandre Borghi, Jérôme Darbon, Sylvain Peyronnet, Tony F. Chan, Stanley J. Osher
A Simple Compressive Sensing Algorithm for Parallel Many-Core Architectures. J. Signal Process. Syst. 71 (1) (2013)
Richard Lassaigne, Sylvain Peyronnet
Approximate planning and verification for large markov decision processes. SAC (2012)
Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki
Approximate Verification and Enumeration Problems. ICTAC (2012)
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet
Coverage-biased random exploration of large models and application to testing. Int. J. Softw. Tools Technol. Transf. 14 (1) (2012)
Thomas Largillier, Sylvain Peyronnet
Webspam demotion: Low complexity node aggregation methods. Neurocomputing 76 (1) (2012)
Thomas Largillier, Sylvain Peyronnet
Detecting Webspam Beneficiaries Using Information Collected by the Random Surfer. Int. J. Organ. Collect. Intell. 2 (2) (2011)
Alexandre Borghi, Jérôme Darbon, Sylvain Peyronnet
-Compressive Sensing problem using a modified Dantzig-Wolfe method. Theor. Comput. Sci. 412 (15) (2011)
Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet
Uniform Monte-Carlo Model Checking. FASE (2011)
Emmanuel Agullo, Camille Coti, Thomas Hérault, Julien Langou, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello, Jack J. Dongarra
QCG-OMPI: MPI applications on grids. Future Gener. Comput. Syst. 27 (4) (2011)
François Lesueur, Ala Rezmerita, Thomas Hérault, Sylvain Peyronnet, Sébastien Tixeuil
SAFE-OS: A secure and usable desktop operating system. CRiSIS (2010)
Thomas Largillier, Guillaume Peyronnet, Sylvain Peyronnet
SpotRank: a robust voting system for social news websites. WICOW (2010)
Fatiha Bouabache, Thomas Hérault, Sylvain Peyronnet, Franck Cappello
Planning Large Data Transfers in Institutional Grids. CCGRID (2010)
Thomas Largillier, Sylvain Peyronnet
Lightweight Clustering Methods for Webspam Demotion. Web Intelligence (2010)
Laura Grigori, Pierre-Yves David, James Demmel, Sylvain Peyronnet
Brief announcement: Lower bounds on communication for sparse Cholesky factorization of a model problem. SPAA (2010)
Sébastien Hémon, Thomas Largillier, Sylvain Peyronnet
Partial Ranking of Products for Recommendation Systems. EC-Web (2010)
Aline Carneiro Viana, Thomas Hérault, Thomas Largillier, Sylvain Peyronnet, Fatiha Zaïdi
Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks. MSWiM (2010)
Thomas Largillier, Sylvain Peyronnet
Using Patterns in the Behavior of the Random Surfer to Detect Webspam Beneficiaries. WISE Workshops (2010)
Alexandre Borghi, Jérôme Darbon, Sylvain Peyronnet, Tony F. Chan, Stanley J. Osher
A Compressive Sensing Algorithm for Many-Core Architectures. ISVC (2) (2010)
Thomas Hérault, Thomas Largillier, Sylvain Peyronnet, Benjamin Quétier, Franck Cappello, Mathieu Jan
High accuracy failure injection in parallel and distributed systems using virtualization. Conf. Computing Frontiers (2009)
Camille Coti, Thomas Hérault, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello
Grid Services for MPI. CCGRID (2008)
Alexandre Borghi, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
Cell Assisted APMC. QEST (2008)
Richard Lassaigne, Sylvain Peyronnet
Probabilistic verification and approximation. Ann. Pure Appl. Log. 152 (1-3) (2008)
Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet
Coverage-biased Random Exploration of Models. Electron. Notes Theor. Comput. Sci. 220 (1) (2008)
Thomas Hérault, Mathieu Jan, Thomas Largillier, Sylvain Peyronnet, Benjamin Quétier, Franck Cappello
Emulation platform for high accuracy failure injection in grids. High Performance Computing Workshop (2008)
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
Probabilistic abstraction for model checking: An approach based on property testing. ACM Trans. Comput. Log. 8 (4) (2007)
Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil
Evaluating Complex MAC Protocols for Sensor Networks with APMC. Electron. Notes Theor. Comput. Sci. 185 (2007)
Akim Demaille, Thomas Hérault, Sylvain Peyronnet
Probabilistic verification of sensor networks. RIVF (2006)
Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. QEST (2006)
Akim Demaille, Sylvain Peyronnet, Benoît Sigoure
Modeling of Sensor Networks Using XRM. ISoLA (2006)
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
Uniform random sampling of traces in very large models. Random Testing (2006)
Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
Distribution, Approximation and Probabilistic Model Checking. Electron. Notes Theor. Comput. Sci. 135 (2) (2006)
Richard Lassaigne, Sylvain Peyronnet
Probabilistic Verification and Approximation. Electron. Notes Theor. Comput. Sci. 143 (2006)
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
Uniform Random Sampling of Traces in Very Large Models CoRR (2006)
Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Jérôme Darbon, Sylvain Peyronnet
A Vectorial Self-dual Morphological Filter Based on Total Variation Minimization. ISVC (2005)
Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet
Approximate Probabilistic Model Checking. VMCAI (2004)
Richard Lassaigne, Sylvain Peyronnet
Approximate Verification of Probabilistic Systems. PAPM-PROBMIV (2002)
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing. LICS (2002)
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
Probabilistic abstraction for model checking: An approach based on property testing Electron. Colloquium Comput. Complex. 8 (51) (2001)