Skip to Main content Skip to Navigation


...
hal-02307048v1  Conference papers
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. A Structure Based Multiple Instance Learning Approach for Bacterial Ionizing Radiation Resistance Prediction
KES 2019 - 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Sep 2019, Budapest, Hungary
...
hal-02177496v1  Conference papers
Imene ZangarZied MnasriVincent ColotteDenis Jouvet. F0 modeling using DNN for Arabic parametric speech synthesis
INNSBDDL 2019 - INNS Big Data and Deep Learning, Apr 2019, Sestri Levante, Italy
...
hal-02370231v1  Conference papers
Weihai YuVictorien ElvingerClaudia-Lavinia Ignat. A Generic Undo Support for State-Based CRDTs
OPODIS 2019 - Proceedings of 23rd International Conference on Principles of Distributed Systems, Dec 2019, Neuchâtel, Switzerland. ⟨10.4230/LIPIcs.OPODIS.2019.14⟩
...
hal-02406673v1  Conference papers
Christoph Weidenbach. The Challenge of Unifying Semantic and Syntactic Inference Restrictions
2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019), 2019, Natal, Brazil
...
hal-02178274v1  Conference papers
Petar VukmirovićJasmin Christian BlanchetteSimon CruanesStephan Schulz. Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.192-210
...
hal-01963426v1  Conference papers
Renaud Vilmart. A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785765⟩
...
inria-00553519v1  Conference papers
Éric Villemonte de la ClergerieChristelle AyacheGaël de ChalendarGil FrancopouloClaire Gardent et al.  Large scale production of syntactic annotations for French
First Workshop on Automated Syntactic Annotations for Interoperable Language Resources, ISO TC37/SC4, Jan 2008, Hong-Kong, Hong Kong SAR China
...
hal-02407443v1  Conference papers
Athénaïs VaginayMalika Smaïl-TabboneTaha Boukhobza. Towards an automatic conversion from SBML core to SBML qual
JOBIM 2019 - Journées Ouvertes Biologie, Informatique et Mathématiques, Jul 2019, Nantes, France
...
hal-02160855v2  Conference papers
Nicolas TurpaultRomain SerizelAnkit Parag ShahJustin Salamon. Sound event detection in domestic environments with weakly labeled data and soundscape synthesis
Workshop on Detection and Classification of Acoustic Scenes and Events, Oct 2019, New York City, United States
...
hal-02172099v1  Conference papers
Massimiliano TodiscoXin WangVille VestmanMd SahidullahHéctor Delgado et al.  ASVspoof 2019: Future Horizons in Spoofed and Fake Audio Detection
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02406605v1  Conference papers
Andreas TeuckeMarco VoigtChristoph Weidenbach. On the Expressivity and Applicability of Model Representation Formalisms
FroCoS 2019 - 12th International Symposium on Frontiers of Combining Systems, 2019, London, United Kingdom. pp.22-39, ⟨10.1007/978-3-030-29007-8_2⟩
...
hal-01925653v2  Conference papers
Ilina StoilkovskaIgor KonnovJosef WidderFlorian Zuleger. Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
TACAS 2019 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17465-1_20⟩
...
hal-02166434v1  Conference papers
Brij Mohan Lal SrivastavaAurélien BelletMarc TommasiEmmanuel Vincent. Privacy-Preserving Adversarial Representation Learning in ASR: Reality or Illusion?
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02403717v1  Conference papers
Wazen ShbairMathis SteichenJérôme FrançoisRadu State. BlockZoom: Large-Scale Blockchain Testbed
ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency - Demo, May 2019, Seoul, South Korea. pp.5-6, ⟨10.1109/BLOC.2019.8751230⟩
...
hal-02309658v1  Conference papers
Andrii ShachykovOleksandr ShuliakPatrick Henaff. Closed-loop Central Pattern Generator Control of Human Gaits in OpenSim Simulator
IJCNN 2019 - International Joint Conference on Neural Networks, Jul 2019, Budapest, Hungary
...
hal-02114652v2  Conference papers
Romain SerizelNicolas Turpault. Sound Event Detection from Partially Annotated Data: Trends and Challenges
IcETRAN conference, Jun 2019, Srebrno Jezero, Serbia
...
hal-02276130v1  Conference papers
Nava SchulmannStéphane CotinIgor Peterlik. The effect of discretization on parameter identification. Application to patient-specific simulations
CMBBE 2019 - 16th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, Aug 2019, New York (NY), United States
...
hal-02111656v1  Conference papers
Nicolas SchnepfRémi BadonnelAbdelkader LahmadiStephan Merz. Automated Factorization of Security Chains in Software-Defined Networks
IFIP/IEEE IM 2019 - IFIP/IEEE International Symposium on Integrated Network Management, Apr 2019, Washington, United States
...
hal-02111658v1  Conference papers
Nicolas SchnepfRémi BadonnelAbdelkader LahmadiStephan Merz. A Tool Suite for the Automated Synthesis of Security Function Chains
IFIP/IEEE IM 2019 - IFIP/IEEE International Symposium on Integrated Network Management, Apr 2019, Washington, United States
...
hal-02456534v1  Conference papers
Maxime SchmittPhilippe HelluyCédric Bastoul. Think Unlimited and Compress Data Automatically
COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
...
hal-02072737v1  Conference papers
Maxime SchmittPhilippe HelluyCédric Bastoul. Automatic adaptive approximation for stencil computations
CC 2019 - 28th International Conference on Compiler Construction, Feb 2019, Washington, United States. pp.170-181, ⟨10.1145/3302516.3307348⟩
...
hal-01937141v1  Conference papers
Anders SchlichtkrullJasmin Christian BlanchetteDmitriy Traytel. A Verified Prover Based on Ordered Resolution
CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Cascais, Portugal. ⟨10.1145/3293880.3294100⟩
...
hal-00844039v1  Conference papers
Guillaume SaupinChristian DuriezStéphane CotinLaurent Grisoni. Efficient Contact Modeling using Compliance Warping
computer graphics international, 2008, Istambul, Turkey
...
hal-02283430v1  Conference papers
Bishnu SarkerDavid RitchieSabeur Aridhi. Functional Annotation of Proteins using Domain Embedding based Sequence Classification
KDIR 2019 - 11th International Conference on Knowledge Discovery and Information Retrieval, Sep 2019, Vienna, Austria. pp.163-170, ⟨10.5220/0008353401630170⟩
...
hal-02437374v1  Conference papers
Maria SanchezSatoru MishimaMasayuki FujiwaraGuangyi AiMelanie Jouaiti et al.  Methodological Design for Integration of Human EEG Data with Behavioral Analyses into Human-Human/Robot Interactions in a Real-World Context
ICICIC2019 - The 14th International Conference on Innovative Computing, Information and Control, Aug 2019, Seoul, South Korea. pp.8
...
hal-02078301v1  Conference papers
Abdulqawi SaifAlexandre MerlinOlivier DautricourtMaël HoubreLucas Nussbaum et al.  Emulation of Storage Performance in Testbed Experiments with Distem
CNERT 2019 - IEEE INFOCOM International Workshop on Computer and Networking Experimental Research using Testbeds, Apr 2019, Paris, France. pp.6
...
hal-02289501v1  Conference papers
Nassim SahkiAnne Gégout-PetitSophie Wantz-Mézières. New detection thresholds and stop rules for CUSUM online detection
ENBIS 2019 - 19th Annual Conference of the European Network for Business and Industrial Statistics., Sep 2019, Budapest, Hungary
...
hal-02391973v1  Conference papers
Maria-Elisa Ruiz-EcharteaIsaure Chauvot de BeauchêneDavid Ritchie. EROS-DOCK for Pairwise and Multi-body Protein-Protein Docking
Journée MASIM2019 (Méthodes Algorithmiques pour les Structures et Interactions Macromoléculaires), Nov 2019, Paris, France
...
hal-02398007v1  Conference papers
Pierre RolinDenis MoalicRémi BadonnelOlivier BergerJihane Fouzai. A collection of MOOCs to create digital programs
OOFHEC 2019: the Online, Open and Flexible Higher Education Conference, Oct 2019, Madrid, Spain. pp.86-99
...
hal-02098864v1  Conference papers
Sébastien RimbertOleksii AvilovPerrine AdamLaurent Bougrain. Can suggestive hypnosis be used to improve Brain-Computer Interface performance?
8th Graz Brain-Computer Interface Conference 2019, Sep 2019, Graz, Austria
...
hal-02010199v2  Conference papers
Dayana RibasEmmanuel Vincent. An improved uncertainty propagation method for robust i-vector based speaker recognition
ICASSP 2019 - 44th International Conference on Acoustics, Speech, and Signal Processing, May 2019, Brighton, United Kingdom
...
hal-02170763v1  Conference papers
Justine ReynaudYannick ToussaintAmedeo Napoli. Redescription mining for learning definitions and disjointness axioms in Linked Open Data
ICCS 2019 - 24th International Conference on Conceptual Structures, Jul 2019, Marburg, Germany
...
hal-02170760v1  Conference papers
Justine ReynaudYannick ToussaintAmedeo Napoli. Using Redescriptions and Formal Concept Analysis for Mining Definitions Linked Data
ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Francfort, Germany. pp.241-256
...
hal-02433997v1  Conference papers
Arthur RenaudeauFrançois LauzeFabien PierreJf AujolJean-Denis Durou. Alternate Structural-Textural Video Inpainting for Spot Defects Correction in Movies
SSVM 2019 - Seventh International Conference on Scale Space and Variational Methods in Computer Vision, Jun 2019, Hofgeismar, Germany
...
hal-01985178v1  Conference papers
Radu RantaSteven Le CamGundars Bergmanis-KoratsSébastien RimbertLaurent Bougrain. On source space resolution in EEG brain imaging for motor imagery
NER 2019 - 9th International IEEE EMBS Conference on Neural Engineering, Mar 2019, San Francisco, United States
...
hal-02388730v1  Conference papers
Stephen PfohlBen MarafinoAdrien CouletFatima RodriguezLatha Palaniappan et al.  Creating Fair Models of Atherosclerotic Cardiovascular Disease Risk
AIES '19 - Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, Jan 2019, Honolulu, United States. pp.271-278, ⟨10.1145/3306618.3314278⟩
...
hal-02320444v1  Conference papers
Antoine PetitNazim HaouchineFrédérick RoyDan GoldmanStéphane Cotin. Deformed Reality
Computer Graphics & Visual Computing (Eurographics), Sep 2019, Bangor, United Kingdom
...
hal-02125985v2  Conference papers
Lauréline PerotinAlexandre DéfossezEmmanuel VincentRomain SerizelAlexandre Guérin. Regression versus classification for neural network based audio source localization
WASPAA 2019 - IEEE Workshop on Applications of Signal Processing to Audio and Acoustics, IEEE, Oct 2019, New Paltz, United States
...
inria-00288429v1  Conference papers
Yannick ParmentierLaura KallmeyerTimm LichteWolfgang MaierJohannes Dellert. TuLiPA: A Syntax-Semantics Parsing Environment for Mildly Context-Sensitive Formalisms
9th International Workshop on Tree-Adjoining Grammar and Related Formalisms (TAG+9), Jun 2008, Tübingen, Germany. pp.121-128
...
hal-02116165v2  Conference papers
Manuel ParienteAntoine DeleforgeEmmanuel Vincent. A Statistically Principled and Computationally Efficient Approach to Speech Enhancement using Variational Autoencoders
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02368810v1  Conference papers
Daryna PanichevaPierre-Frédéric VillardPeter HammerMarie-Odile Berger. Physically-coherent Extraction of Mitral Valve Chordae
International Conference in Computing in Cardiology, Sep 2019, Singapore, Singapore. pp.4
...
hal-02050846v1  Conference papers
Daryna PanichevaPierre-Frédéric VillardMarie-Odile Berger. Toward an automatic segmentation of mitral valve chordae
SPIE Medical Imaging, SPIE, Feb 2019, San Diego, United States. pp.1095315-1095323, ⟨10.1117/12.2511943⟩
...
hal-02194229v1  Conference papers
Abdelkader OualiNyoman JuniartaBernard MaigretAmedeo Napoli. A Feature Selection Method based on Tree Decomposition of Correlation Graph
LEG@ECML-PKDD 2019 - The third International Workshop on Advances in Managing and Mining Large Evolving Graphs, Sep 2019, Würzburg, Germany
...
hal-02401836v1  Conference papers
Lucas Nussbaum. SILECS/Grid’5000: le volet data-center de SILECS : Présentation et exemples d’expériences
TILECS - Towards an Infrastructure for Large-Scale Experimental Computer Science, Jul 2019, Grenoble, France
...
hal-02401738v1  Conference papers
Lucas Nussbaum. An overview of Fed4FIRE testbeds -- and beyond?
GEFI - Global Experimentation for Future Internet Workshop, Nov 2019, Coimbra, Portugal
...
hal-02059820v2  Conference papers
Thomas MouzonFabien PierreMarie-Odile Berger. Joint CNN and Variational Model for Fully-automatic Image Colorization
SSVM 2019 - Seventh International Conference on Scale Space and Variational Methods in Computer Vision, Jun 2019, Hofgeismar, Germany. pp.535-546
...
hal-02155546v1  Conference papers
Pierre MonninChedy RaïssiAmedeo NapoliAdrien Coulet. Knowledge Reconciliation with Graph Convolutional Networks: Preliminary Results
DL4KG2019 - Workshop on Deep Learning for Knowledge Graphs, Jun 2019, Portoroz, Slovenia
...
hal-02393039v1  Conference papers
Antoine MoniotSjoerd de VriesDave RitchieIsaure Chauvot de Beauchêne. NAfragDB: A Multi-Purpose Structural Database of Nucleic-Acid/Protein Complexes for Advances Users
21e congrès du Groupe de graphisme et modélisation moléculaire (GGMM), Apr 2019, Nice, France
...
hal-02353312v1  Conference papers
Axel ModaveXavier AntoineAnthony RoyerChristophe Geuzaine. An efficient domain decomposition method with cross-point treatment for Helmholtz problems
WAVES 2019 - 14th International Conference on Mathematical and Numerical Aspects of Wave Propagation, Aug 2019, Vienna, Austria
...
hal-02353415v1  Conference papers
Axel ModaveXavier AntoineChristophe Geuzaine. An efficient domain decomposition method with cross-point treatment for Helmholtz problems
CSMA 2019 - 14e Colloque National en Calcul des Structures, May 2019, Giens (Var), France
...
hal-02303491v3  Conference papers
Victor Michel-DansacAndrea Thomann. On high-precision L-stable IMEX schemes for scalar hyperbolic multi-scale equations
Recent Advances in Numerical methods for Hyperbolic PDE Systems. Selected talks of Numhyp 2019, Jun 2019, Málaga, Spain. ⟨10.1007/978-3-030-72850-2_4⟩
...
hal-02314238v1  Conference papers
M MenacerC González-GallardoK AbidiDominique FohrDenis Jouvet et al.  Extractive Text-Based Summarization of Arabic videos: Issues, Approaches and Evaluations
ICALP: International Conference on Arabic Language Processing, Oct 2019, Nancy, France. pp.65-78, ⟨10.1007/978-3-030-32959-4_5⟩
...
hal-02106010v1  Conference papers
Mohamed MenacerDavid LangloisDenis JouvetDominique FohrOdile Mella et al.  Machine Translation on a parallel Code-Switched Corpus
Canadian AI 2019 - 32nd Conference on Canadian Artificial Intelligence, May 2019, Ontario, Canada
...
hal-02059088v1  Conference papers
Lakhdar MeftahRomain RouvoyIsabelle Chrisment. Testing Nearby Peer-to-Peer Mobile Apps at Large
MOBILESoft 2019 - 6th IEEE/ACM International Conference on Mobile Software Engineering and Systems, May 2019, Montréal, Canada
...
hal-02121311v1  Conference papers
Lakhdar MeftahRomain RouvoyIsabelle Chrisment. FOUGERE: User-Centric Location Privacy in Mobile Crowdsourcing Apps
DAIS 2019 - 19th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2019, Kongens Lyngby, Denmark. pp.116-132, ⟨10.1007/978-3-030-22496-7_8⟩
...
hal-02348588v1  Conference papers
Pauline MauriceJernej CamernikDasa GorjanBenjamin SchirrmeisterJonas Bornmann et al.  Evaluation of PAEXO, a novel passive exoskeleton for overhead work
44ème Congrès de la Société de Biomécanique, Oct 2019, Poitiers, France
...
inria-00332389v1  Conference papers
Jean-Yves MarionRomain Péchoux. Characterizations of Polynomial Complexity Classes with a Better Intensionality
Proceedings of the 10th international ACM SIGPLAN conference on Principles and Practice of Declarative Programming - PPDP 2008, Universidad Polytechnica, Jul 2008, Valencia, Spain. pp.79-88, ⟨10.1145/1389449.1389460⟩
...
inria-00332390v1  Conference papers
Jean-Yves MarionRomain Péchoux. A Characterization of NCk by First Order Functional Programs
5th International Conference on Theory and Applications of Models of Computation - TAMC 2008, Xidian University, Apr 2008, Xian, China. pp.136-147, ⟨10.1007/978-3-540-79228-4⟩
...
inria-00332550v1  Conference papers
Jean-Yves MarionRomain Péchoux. Analyzing the Implicit Computational Complexity of object-oriented programs
Annual Conference on Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2008, IARCS, the Indian Association for Research in Computing Science, Dec 2008, Bangalore, India
...
hal-02193296v1  Conference papers
Tatiana MakhalovaSergei KuznetsovAmedeo Napoli. On Entropy in Pattern Mining
SFC 2019 - XXVIe Rencontres de la Société Francophone de Classification, Sep 2019, Nancy, France
...
hal-02162928v1  Conference papers
Tatiana MakhalovaSergei KuznetsovAmedeo Napoli. On Coupling FCA and MDL in Pattern Mining
ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. pp.332-340
...
hal-02162929v2  Conference papers
Tatiana MakhalovaMartin Trnecka. A Study of Boolean Matrix Factorization Under Supervised Settings
ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. pp.341-348, ⟨10.1007/978-3-030-21462-3_24⟩
...
hal-02162927v2  Conference papers
Tatiana MakhalovaSergei KuznetsovAmedeo Napoli. Numerical Pattern Mining Through Compression
DCC 2019 - 2019 Data Compression Conference, Mar 2019, Snowbird, United States. pp.112-121, ⟨10.1109/DCC.2019.00019⟩
...
hal-02389307v1  Conference papers
Mingxiao MaAbdelkader LahmadiIsabelle Chrisment. Demonstration of Synchronization Attacks on Distributed and Cooperative Control in Microgrids
IM 2019 - The 16th IFIP/IEEE Symposium on Integrated Network and Service Management, Apr 2019, Washington DC, United States
...
hal-02280866v1  Conference papers
Béatrice LinotJérôme DinetFrançois CharoyValerie Shalin. Trust in computer-supported crisis management communication : toward a new model
InPACT 2019 - International Psychological Applications Conference and Trends, World Institute for Advanced Research and Science (W.I.A.R.S.), May 2019, Porto, Portugal. pp.440-444
...
hal-02186325v1  Conference papers
Pierre LermusiauxHoratiu CirsteaPierre-Etienne Moreau. Pattern eliminating transformations
CIEL 2019 - 8ème Conférence en IngénieriE du Logiciel, Jun 2019, Toulouse, France
...
hal-02116493v4  Conference papers
Alain LeluMartine Cadot. Evaluation of text clustering methods and their dataspace embeddings: an exploration
IFCS 2019 - 16th International of the Federation of Classification Societies, Aug 2019, Thessaloniki, Greece
...
hal-02177202v1  Conference papers
Lou LeeKatarina BartkovaDenis JouvetMathilde DargnatYvon Keromnes. Can prosody meet pragmatics? Case of discourse particles in French
ICPhS 2019 - International Congress of Phonetic Sciences, Aug 2019, Melbourne, Australia
...
hal-02280151v1  Conference papers
Kong Aik LeeVille HautamäkiTomi KinnunenHitoshi YamamotoKoji Okabe et al.  I4U Submission to NIST SRE 2018: Leveraging from a Decade of Shared Experiences
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02405752v1  Conference papers
Viviane LedouxGuillaume Moroz. Evaluation of Chebyshev polynomials on intervals and application to root finding
Mathematical Aspects of Computer and Information Sciences 2019, Nov 2019, Gebze, Turkey
...
hal-02278090v1  Conference papers
Benoît LallouéJean-Marie MonnezEliane Albuisson. Streaming constrained binary logistic regression with online standardized data
SFC 2019 - XXVIe Rencontres de la Société Francophone de Classification, Sep 2019, Nancy, France
...
hal-02063304v1  Conference papers
Sofiane LagraaMaxime CailacSean RiveraFrédéric BeckRadu State. Real-time attack detection on robot cameras: A self-driving car application
IEEE IRC 2019 - Third IEEE International Conference on Robotic Computing, Feb 2019, Naples, Italy
...
hal-02177945v1  Conference papers
Ajinkya KulkarniVincent ColotteDenis Jouvet. Layer adaptation for transfer of expressivity in speech synthesis
LTC'19 - 9th Language & Technology Conference, May 2019, Poznan, Poland
...
hal-02294028v1  Conference papers
George KraitSylvain LazardGuillaume MorozMarc Pouget. Numerical Algorithm for the Topology of Singular Plane Curves
EuroCG 2019 - 35th European Workshop on Computational Geometry, Mar 2019, Utrecht, Netherlands
...
hal-02059558v1  Conference papers
Salwa KobeissiPhilippe Clauss. The Polyhedral Model Beyond Loops Recursion Optimization and Parallelization Through Polyhedral Modeling
IMPACT 2019 - 9th International Workshop on Polyhedral Compilation Techniques, In conjunction with HiPEAC 2019, Jan 2019, Valencia, Spain
...
inria-00376450v1  Conference papers
Francis KlayLaurent Vigneron. Automatic Methods for Analyzing Non-repudiation Protocole with an Active Intruder
5th International Workshop on Formal Aspects in Security and Trust - FAST 2008, Oct 2008, Malaga, Spain. pp.192-209, ⟨10.1007/978-3-642-01465-9_13⟩
...
hal-02051701v1  Conference papers
Tomi KinnunenRosa HautamäkiVille VestmanMd Sahidullah. Can We Use Speaker Recognition Technology to Attack Itself? Enhancing Mimicry Attacks Using Automatic Target Speaker Selection
ICASSP 2019 – 44th International Conference on Acoustics, Speech, and Signal Processing, May 2019, Brighton, United Kingdom
...
inria-00321550v1  Conference papers
Erwan KerrienMarie-Odile BergerJérémie Dequidt. Refining the 3D surface of blood vessels from a reduced set of 2D DSA images
AMI-ARCS 2008, PJ "Eddie" Edwards and Kensaku Mori and Tobias Sielhorst, Sep 2008, New York, NY, United States. pp.61-69
...
hal-02354731v1  Conference papers
Clémence KarmannAnne Gégout-PetitAurélie Muller. Penalized ordinal logistic regression using cumulative logits
Journée scientifique FCH : "Méthodes et modèles pour comprendre les réseaux biologiques", Jan 2019, Nancy, France
...
inria-00304605v1  Conference papers
Laura KallmeyerTimm LichteWolfgang MaierYannick ParmentierJohannes Dellert et al.  TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering
2nd Workshop on Grammar Engineering Across Frameworks, GEAF 2008, Stephen Clark, Oxford and Tracy Holloway King, PARC, Aug 2008, Manchester, United Kingdom. pp._
...
hal-02166713v1  Conference papers
Nyoman JuniartaVictor CodocedoMiguel CouceiroMehdi KaytoueAmedeo Napoli. Pattern Structures for Identifying Biclusters with Coherent Sign Changes
ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. pp.1-13
...
hal-02266200v1  Conference papers
Nyoman JuniartaMiguel CouceiroAmedeo Napoli. A Unified Approach to Biclustering Based on Formal Concept Analysis and Interval Pattern Structures
DS 2019 - 22nd International Conference on Discovery Science, Oct 2019, Split, Croatia
...
hal-02331783v1  Conference papers
Pierre-Marie JungesJérôme FrançoisOlivier Festor. Passive Inference of User Actions through IoT Gateway Encrypted Traffic Analysis
IM 2019 - The 16th IFIP/IEEE Symposium on Integrated Network and Service Management, Apr 2019, Washington DC, United States
...
hal-02177210v1  Conference papers
Denis Jouvet. Speech Processing and Prosody
TSD 2019 - 22nd International Conference of Text, Speech and Dialogue, Sep 2019, Ljubljana, Slovenia
...
hal-02144955v1  Conference papers
Melanie JouaitiPatrick Henaff. The Sound of Actuators: Disturbance in Human -Robot Interactions?
Development and Learning and Epigenetic Robotics (ICDL-Epirob), 2019 Joint IEEE International Conferences on, Aug 2019, Oslo, Norway
...
hal-02291647v1  Conference papers
Melanie JouaitiPatrick Henaff. Real Time Movement Classification in Versatile CPG Control
Workshop on Robust Artificial Intelligence for Neurorobotics, Aug 2019, Edinburgh, United Kingdom
...
hal-02144957v1  Conference papers
Melanie JouaitiPatrick Henaff. Motor Coordination Learning for Rhythmic Movements
Development and Learning and Epigenetic Robotics (ICDL-Epirob), 2019 Joint IEEE International Conferences on, Aug 2019, Oslo, Norway
...
hal-01791791v1  Conference papers
Emmanuel JeandelSimon PerdrixRenaud Vilmart. A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785754⟩
...
inria-00329803v1  Conference papers
Florent JacquemardMichaël Rusinowitch. Closure of Hedge-Automata Languages by Hedge Rewriting
19th International Conference on Rewriting Techniques and Applications - RTA 2008, 2008, Hagenberg, Austria. pp.157-171, ⟨10.1007/978-3-540-70590-1_11⟩
...
hal-02504017v1  Conference papers
Abir Ismaili-AlaouiKarim BaïnaKhalid Benali. Harnessing the power of data and event data for Business Process Improvement
CAISAM 2019 - Complexity Analysis of Industrial Systems and Advanced Modeling, Apr 2019, Ben Guerir, Morocco
...
hal-02413950v1  Conference papers
Abir Ismaili-AlaouiOuafae KasmiAmine BaïnaKarim BaïnaKhalid Benali et al.  Priority-based Event Management using Fuzzy Logic for an IoT-BPM Architecture
SOCA 2019 - The 12th IEEE International Conference on Service Oriented Computing and Applications, Nov 2019, Kaohsiung, Taiwan
...
hal-01825708v3  Conference papers
Rémi ImbachMarc PougetChee Yap. Clustering Complex Zeros of Triangular System of Polynomials
CASC 2019 - 21st International Workshop on Computer Algebra in Scientific Computing, Aug 2019, Moscow, Russia
...
inria-00595397v1  Conference papers
Abderrahman IggidrGauthier SalletBerge Tsanou. Metapopulation SIS epidemic model
9th African Conference on Research in Computer Science - CARI'2008, CARI, Oct 2008, Rabat, Morocco. pp.51-59