id
|
type
|
lrdeteam
|
title
|
grosicki.04.icc
|
paper-conference
|
artificial intelligence
|
A novel method to fight the non line of sight error in AOA measurements for mobile location
|
dehak.06.nist
|
paper-conference
|
artificial intelligence
|
LRDE system description
|
perrot.06.nist
|
paper-conference
|
artificial intelligence
|
ENST-IRCGN system description
|
dehak.08.nist
|
paper-conference
|
artificial intelligence
|
The LRDE systems for the 2008 NIST speaker recognition evaluation
|
dehak.08.odysseya
|
paper-conference
|
artificial intelligence
|
Kernel combination for SVM speaker verification
|
dehak.08.odysseyb
|
paper-conference
|
artificial intelligence
|
Comparison between factor analysis and GMM support vector machines for speaker verification
|
dehak.09.interspeechb
|
paper-conference
|
artificial intelligence
|
Cepstral and long-term features for emotion recognition
|
dehak.10.nist
|
paper-conference
|
artificial intelligence
|
LRDE Speaker Recognition System for NIST-SRE 2010
|
dehak.10.odyssey2
|
paper-conference
|
artificial intelligence
|
Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification
|
borgstrom.12.nistsre
|
paper-conference
|
artificial intelligence
|
MITLL 2012 speaker recognition evaluation system description
|
dehak.16.nistsre
|
paper-conference
|
artificial intelligence
|
The MIT Lincoln Laboratory 2016 speaker recognition system
|
clouard.99.tr
|
report
|
automata and applications
|
Une bibliothèque et un environnement de programmation d’opérateurs de traitement d’images
|
duret.00.gcse
|
paper-conference
|
automata and applications
|
Olena: A component-based platform for image processing, mixing generic, generative and OO programming
|
fabre.00.vsmm
|
paper-conference
|
automata and applications
|
Urbi et Orbi: Unusual design and implementation choices for distributed virtual environments
|
verna.00.vsmm
|
paper-conference
|
automata and applications
|
Action recognition: How intelligent virtual environments can ease human-machine interaction
|
duret.01.ae
|
paper-conference
|
automata and applications
|
Expression templates in Ada 95
|
duret.01.coots
|
paper-conference
|
automata and applications
|
Generic design patterns in C++
|
verna.01.sci
|
paper-conference
|
automata and applications
|
Virtual reality and tele-operation: A common framework
|
carlier.02.itrs
|
paper-conference
|
automata and applications
|
Polar type inference with intersection types and \omega
|
burrus.03.mpool
|
paper-conference
|
automata and applications
|
A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming
|
regisgianas.03.poosc
|
paper-conference
|
automata and applications
|
On orthogonal specialization in C++: Dealing with efficiency and algebraic abstraction in Vaucanson
|
lombardy.04.tcs
|
article-journal
|
automata and applications
|
Introducing Vaucanson
|
vaucanson.04.techrep
|
report
|
automata and applications
|
Proposal: An XML representation for automata
|
duflot.04.avocs
|
paper-conference
|
automata and applications
|
Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC
|
demaille.05.iticse
|
paper-conference
|
automata and applications
|
Making compiler construction projects relevant to core curriculums
|
david.05.sud
|
automata and applications
|
C/C++ disambiguation using attribute grammars
|
|
gournet.05.sud
|
automata and applications
|
Implementing attributes in SDF
|
|
pouillard.05.sud
|
automata and applications
|
ESDF: A proposal for a more flexible SDF handling
|
|
guirado.05.pdmc
|
paper-conference
|
automata and applications
|
Distribution, approximation and probabilistic model checking
|
lassaigne.05.wollic
|
paper-conference
|
automata and applications
|
Probabilistic verification and approximation
|
verna.06.imecs
|
paper-conference
|
automata and applications
|
How to make lisp go faster than C
|
demaille.06.rivf
|
paper-conference
|
automata and applications
|
Probabilistic verification of sensor networks
|
verna.06.ijcs
|
article-journal
|
automata and applications
|
How to make lisp go faster than C
|
demaille.06.isola
|
paper-conference
|
automata and applications
|
Modeling of sensor networks using XRM
|
cadilhac.06.avocs
|
paper-conference
|
automata and applications
|
Evaluating complex MAC protocols for sensor networks with APMC
|
david.06.iccp
|
paper-conference
|
automata and applications
|
Attribute grammars for modular disambiguation
|
herault.06.qest
|
paper-conference
|
automata and applications
|
APMC 3.0: Approximate verification of discrete and continuous time Markov chains
|
borghi.06.crossroads
|
article-journal
|
automata and applications
|
C-Transformers — A framework to write C program transformations
|
verna.06.practex
|
article-journal
|
automata and applications
|
LaTeX curricula vitae with the CurVe class
|
denise.06.rt
|
paper-conference
|
automata and applications
|
Uniform random sampling of traces in very large models
|
verna.06.ecoop
|
paper-conference
|
automata and applications
|
Beating C in scientific computing applications
|
hamez.07.pohll
|
paper-conference
|
automata and applications
|
libDMC: A library to operate efficient distributed model checking
|
le-quoc.07.rivf
|
paper-conference
|
automata and applications
|
Stochastic routing in large grid-shaped quantum networks
|
verna.07.imecs
|
paper-conference
|
automata and applications
|
CLOS solutions to binary methods
|
demaille.08.iticse
|
paper-conference
|
automata and applications
|
A set of tools to teach compiler construction
|
hamez.08.atpn
|
paper-conference
|
automata and applications
|
Hierarchical set decision diagrams and automatic saturation
|
le-quoc.08.ispec
|
paper-conference
|
automata and applications
|
Towards the world-wide quantum network
|
verna.08.jucs
|
article-journal
|
automata and applications
|
Binary methods programming: The CLOS perspective (extended version)
|
demaille.08.kex
|
automata and applications
|
Compiler construction as an effective application to teach object-oriented programming
|
|
verna.08.lncs
|
paper-conference
|
automata and applications
|
Report on the 5th workshop ELW at ECOOP 2008
|
verna.09.accu
|
paper-conference
|
automata and applications
|
Revisiting the visitor: The just do it pattern
|
verna.09.ilc
|
paper-conference
|
automata and applications
|
CLOS efficiency: instantiation
|
demaille.08.fsmnlp
|
paper-conference
|
automata and applications
|
An XML format proposal for the description of weighted automata, transducers, and regular expressions
|
hamez.09.fi
|
article-journal
|
automata and applications
|
Building efficient model checkers using hierarchical set decision diagrams and automatic saturation
|
verna.10.jucs
|
article-journal
|
automata and applications
|
Revisiting the visitor: The just do it pattern
|
duret.11.arxiv
|
report
|
automata and applications
|
Combining explicit and symbolic approaches for better on-the-fly LTL model checking
|
bensalem.12.topnoc
|
article-journal
|
automata and applications
|
Model checking using generalized testing automata
|
chedeau.12.tr
|
report
|
automata and applications
|
JSPP: Morphing C++ into JavaScript
|
verna.12.dsl
|
chapter
|
automata and applications
|
Extensible languages: Blurring the distinction between DSLs and GPLs
|
duflot.13.book
|
chapter
|
automata and applications
|
Practical application of probabilistic model checking to communication protocols
|
verna.13.tug-1
|
paper-conference
|
automata and applications
|
The incredible tale of the author who didn’t want to do the publisher’s job
|
verna.13.tug-2
|
paper-conference
|
automata and applications
|
TiCL: The prototype (Star TeX: The next generation, season 2)
|
verna.15.cop
|
paper-conference
|
automata and applications
|
Context-oriented image processing
|
newton.16.rte.report
|
report
|
automata and applications
|
Efficient dynamic type checking of heterogeneous sequences
|
newton.16.dag.report
|
report
|
automata and applications
|
Finding maximal common joins in a DAG
|
newton.16.monad.report
|
report
|
automata and applications
|
Monads in Common Lisp
|
duret.16.atva2
|
paper-conference
|
automata and applications
|
Spot 2.0 — a framework for LTL and \omega-automata manipulation
|
menouer.17.pdp
|
paper-conference
|
automata and applications
|
Parallel satisfiability solver based on hybrid partitioning method
|
demaille.17.sacs
|
article-journal
|
automata and applications
|
Derived-term automata of multitape expressions with composition
|
newton.17.dtd.report
|
report
|
automata and applications
|
Analysis of algorithms calculating the maximal disjoint decomposition of a set
|
boldo.18.arith
|
paper-conference
|
automata and applications
|
A formally-proved algorithm to compute the correct average of decimal floating-point numbers
|
barnat.18.hpcr
|
chapter
|
automata and applications
|
Parallel model checking algorithms for linear-time temporal logic
|
verna.18.programming
|
article-journal
|
automata and applications
|
Lisp, jazz, aikido
|
newton.18.meta
|
paper-conference
|
automata and applications
|
Recognizing heterogeneous sequences by rational type expression
|
demaille.08.ldta
|
paper-conference
|
automata and applications
|
Semantics driven disambiguation: A comparison of different approaches
|
fabre.00.egve
|
paper-conference
|
image processing and pattern recognition
|
An asynchronous architecture to manage communication, display, and user interaction in distributed virtual environments
|
fabre.00.vw
|
paper-conference
|
image processing and pattern recognition
|
A framework to dynamically manage distributed virtual environments
|
geraud.00.europlop
|
paper-conference
|
image processing and pattern recognition
|
Generic programming redesign of patterns
|
geraud.01.icisp
|
paper-conference
|
image processing and pattern recognition
|
Segmentation d’images en couleur par classification morphologique non supervisée
|
angelidis.01.wscg
|
paper-conference
|
image processing and pattern recognition
|
Visualization issues in virtual environments: From computer graphics techniques to intentional visualization
|
geraud.01.ai
|
paper-conference
|
image processing and pattern recognition
|
Applying generic programming to image processing
|
darbon.01.ei
|
paper-conference
|
image processing and pattern recognition
|
Error correcting code performance for watermark protection
|
geraud.03.ibpria
|
paper-conference
|
image processing and pattern recognition
|
Segmentation of curvilinear objects using a watershed-based curve adjacency graph
|
geraud.03.icisp
|
paper-conference
|
image processing and pattern recognition
|
Segmentation d’objets curvilignes à l’aide des champs de markov sur un graphe d’adjacence de courbes issu de l’algorithme de la
ligne de partage des eaux
|
geraud.03.nsip
|
paper-conference
|
image processing and pattern recognition
|
Fast road network extraction in satellite images using mathematical morphology and MRF
|
bloch.03.ai
|
article-journal
|
image processing and pattern recognition
|
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application
to 3D brain imaging
|
maes.03.dpcool
|
paper-conference
|
image processing and pattern recognition
|
Program templates: Expression templates applied to program evaluation
|
geraud.03.grec
|
paper-conference
|
image processing and pattern recognition
|
Document type recognition using evidence theory
|
darbon.04.ecoopphd
|
paper-conference
|
image processing and pattern recognition
|
Generic algorithmic blocks dedicated to image processing
|
maes.04.mpool
|
paper-conference
|
image processing and pattern recognition
|
Metagene, a C++ meta-program generation tool
|
lefebvre.04.tr
|
report
|
image processing and pattern recognition
|
Unified texture management for arbitrary meshes
|
geraud.04.jasp
|
article-journal
|
image processing and pattern recognition
|
Fast road network extraction in satellite images using mathematical morphology and Markov random fields
|
darbon.04.tr
|
report
|
image processing and pattern recognition
|
Exact optimization of discrete constrained total variation minimization problems
|
geraud.04.iccvg
|
paper-conference
|
image processing and pattern recognition
|
Fast color image segmentation based on levellings in feature space
|
darbon.05.ibpria
|
paper-conference
|
image processing and pattern recognition
|
A fast and exact algorithm for total variation minimization
|
darbon.05.tr
|
report
|
image processing and pattern recognition
|
A fast and exact algorithm for total variation minimization
|
darbon.05.isvc
|
paper-conference
|
image processing and pattern recognition
|
A vectorial self-dual morphological filter based on total variation minimization
|
baillard.05.adass
|
paper-conference
|
image processing and pattern recognition
|
Project EFIGI: Automatic classification of galaxies
|
levillain.05.olenaposter
|
image processing and pattern recognition
|
Olena Project poster
|
|
levillain.05.tigerposter
|
image processing and pattern recognition
|
Tiger Project poster
|
|
darbon.05.ispa
|
paper-conference
|
image processing and pattern recognition
|
Total variation minimization with L^1 data fidelity as a contrast invariant filter
|
darbon.06.siam
|
paper-conference
|
image processing and pattern recognition
|
Fast and exact discrete image restoration based on total variation and on its extensions to levelable potentials
|
darbon.06.jmivb
|
article-journal
|
image processing and pattern recognition
|
Image restoration with discrete constrained Total Variation—part II: Levelable functions, convex priors and non-convex case
|
lesage.06.isvc
|
paper-conference
|
image processing and pattern recognition
|
An efficient algorithm for connected attribute thinnings and thickenings
|
chekroun.06.iciar
|
paper-conference
|
image processing and pattern recognition
|
On a polynomial vector field model for shape representation
|
darbon.06.iccp
|
paper-conference
|
image processing and pattern recognition
|
Approximate probabilistic model checking for programs
|
darbon.06.tr
|
report
|
image processing and pattern recognition
|
A note on nice-levelable MRFs for SAR image denoising with contrast preservation
|
fouquier.07.gbr
|
paper-conference
|
image processing and pattern recognition
|
Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation
|
ricou.07.eceg
|
paper-conference
|
image processing and pattern recognition
|
10 years of confrontation between French Internet users and their successive governments
|
darbon.07.mirage
|
paper-conference
|
image processing and pattern recognition
|
A note on the discrete binary Mumford-Shah model
|
darbon.07.ei
|
paper-conference
|
image processing and pattern recognition
|
The use of levelable regularization functions for MRF restoration of SAR images
|
ricou.07.adass
|
paper-conference
|
image processing and pattern recognition
|
Web services at TERAPIX
|
hemon.08.sagt
|
paper-conference
|
image processing and pattern recognition
|
Approximate Nash equilibria for multi-player games
|
geraud.08.mpool
|
paper-conference
|
image processing and pattern recognition
|
Semantics-driven genericity: A sequel to the static C++ object-oriented programming paradigm (SCOOP 2)
|
ricou.08.eceg
|
paper-conference
|
image processing and pattern recognition
|
A survey of French local e-democracy
|
geraud.10.livre
|
chapter
|
image processing and pattern recognition
|
Morphologie et algorithmes
|
geraud.10.book
|
chapter
|
image processing and pattern recognition
|
Algorithms for mathematical morphology
|
fabrizio.12.spic
|
article-journal
|
image processing and pattern recognition
|
Motion compensation based on tangent distance prediction for video compression
|
levillain.12.wadgmm-lncs
|
paper-conference
|
image processing and pattern recognition
|
Writing reusable digital topology algorithms in a generic image processing framework
|
boutry.14.geodis
|
image processing and pattern recognition
|
Une généralisation du <i>bien-composé</i> à la dimension n
|
|
carlinet.14.geodis
|
image processing and pattern recognition
|
Traitement d’images multivariées avec l’arbre des formes
|
|
levillain.14.ciarp
|
paper-conference
|
image processing and pattern recognition
|
Practical genericity: Writing image processing algorithms both reusable and efficient
|
morel.16.embc
|
paper-conference
|
image processing and pattern recognition
|
A challenging issue: Detection of white matter hyperintensities in neonatal brain MRI
|
drumetz.17.lva-ica
|
paper-conference
|
image processing and pattern recognition
|
Estimating the number of endmembers to use in spectral unmixing of hyperspectral data with collaborative sparsity
|
chazalon.17.icdar-ost
|
paper-conference
|
image processing and pattern recognition
|
SmartDoc 2017 video capture: Mobile document acquisition in video mode
|
drapeau.17.grec
|
paper-conference
|
image processing and pattern recognition
|
Extraction of ancient map contents using trees of connected components
|
tochon.17.chapter
|
chapter
|
image processing and pattern recognition
|
Advances in utilization of hierarchical representations in remote sensing data analysis
|
puybareau.18.fish
|
image processing and pattern recognition
|
High throughput automated detection of axial malformations in fish embryo
|
|
puybareau.19.cbm
|
article-journal
|
image processing and pattern recognition
|
High throughput automated detection of axial malformations in Medaka embryo
|
boutry.18.is
|
article-journal
|
image processing and pattern recognition
|
Weakly well-composed cell complexes over nD pictures
|
carlinet.19.csi
|
paper-conference
|
image processing and pattern recognition
|
Intervertebral disc segmentation using mathematical morphology—A CNN-free approach
|
or.22.transparence
|
book
|
image processing and pattern recognition
|
Données, transparence et démocratie
|
geraud.99.cimaf
|
paper-conference
|
image processing and pattern recognition
|
Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information
|
puybareau.23.cnrs
|
chapter
|
image processing and pattern recognition
|
Informatique mathématique. Un photographie en 2023
|
christian.21.cs
|
article-journal
|
security and systems
|
A blockchain-based certificate revocation management and status verification system
|
maldonado-ruiz.21.ifip
|
paper-conference
|
security and systems
|
An innovative and decentralized identity framework based on blockchain technology
|
grelot.21.cesar
|
paper-conference
|
security and systems
|
Automation of binary analysis: From open source collection to threat intelligence
|
raymon.21.urai
|
paper-conference
|
security and systems
|
VizNN: Visual data augmentation with convolutional neural networks for cybersecurity investigation
|
rida.21.cn
|
paper-conference
|
security and systems
|
Evaluation of anomaly detection for cybersecurity using inductive node embedding with convolutional graph neural networks
|
espie.21.eurocon
|
paper-conference
|
security and systems
|
Debug packages in OpenBSD
|
rida.22.raccisc
|
chapter
|
security and systems
|
Anomaly detection on static and dynamic graphs using graph convolutional neural networks
|
abourida.2022.gcnn
|
chapter
|
security and systems
|
Anomaly detection on static and dynamic graphs using graph convolutional neural networks
|
mandel.22.aghm
|
paper-conference
|
security and systems
|
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
|
maldonado-ruiz.22.ieee
|
article-journal
|
security and systems
|
Current trends in blockchain implementations on the paradigm of public key infrastructure: A survey
|
ghannad.2022.antminer
|
paper-conference
|
security and systems
|
One-class ant-miner: Selection of majority class rules for binary rule-based classification
|
maldonadoruiz.2022.blockchain
|
article-journal
|
security and systems
|
Current trends in blockchain implementations on the paradigm of public key infrastructure: A survey
|
orhand.2022.alcs
|
paper-conference
|
security and systems
|
Accurate and interpretable representations of environments with anticipatory learning classifier systems
|
hammi.21.ieee
|
article-journal
|
security and systems
|
Blockchain-based solution for detecting and preventing fake check scams
|
burger.2022.genida_fr
|
article-journal
|
security and systems
|
GenIDA: An international participatory database to gain knowledge on health issues related to genetic forms of neurodevelopmental
disorders
|
leonteva.2022.hybrid
|
paper-conference
|
security and systems
|
A hybrid optimization tool for active magnetic regenerator
|
beserra.23.cisti
|
paper-conference
|
security and systems
|
Could the topology of virtual processors affect the performance of a BSD-family OS running in a VM?
|
ris.23.cisti
|
paper-conference
|
security and systems
|
A systemic mapping of methods and tools for performance analysis of data streaming with containerized microservices architecture
|
hervot.2023.eiah
|
paper-conference
|
security and systems
|
L’identification des projets de logiciel libre accessibles aux nouveaux contributeurs
|
parrend.2023.gimopen
|
article-journal
|
security and systems
|
GenIDA, a participatory patient registry for genetic forms of intellectual disability provides detailed caregiver reported information
on 237 individuals with Koolen-de Vries syndrome
|
michel.2023.rjcia
|
paper-conference
|
security and systems
|
Metrics for community dynamics applied to unsupervised attacks detection
|
jaber.23.cce
|
security and systems
|
Towards attack detection in traffic data based on spectral graph analysis (best student presentation)
|
|
beserra.23.compas
|
paper-conference
|
security and systems
|
On the historical evolution of the performance versus cost ratio of raspberry pi computers
|
minier.23.jmc
|
paper-conference
|
security and systems
|
Automatic boomerang attacks search on rijndael
|
delobel.23.indocrypt
|
paper-conference
|
security and systems
|
A CP-based automatic tool for instantiating truncated differential characteristics
|
jaber.23.rjcia
|
paper-conference
|
security and systems
|
Structural and spectral analysis of dynamic graphs for attack detection
|
meddouri.2023.gast
|
book
|
Actes de l’atelier gestion et analyse des données spatiales et temporelles
|
|
lejmi.2023.sfci
|
paper-conference
|
Refinement of a ligand activity and representation of topological phamacophores in a colored network
|
|
lejmi.2023.cups
|
paper-conference
|
Clustering en chémoinformatique pour le raffinement de l’activité des molécules
|