Institut de recherche en informatique et systèmes aléatoires
Accueil
Consultation
Liste des articles
Liste par année
Liste par domaine
Liste par type de document
Derniers dépôts
Liste par auteurs
Par laboratoire
Recherche
Rechercher
Recherche avancée
Recherche par identifiant
Services
Export d'une liste de publications
Créer une page web dynamique
Liens
Site web de l'IRISA
HAL-INRIA
Sherpa Romeo : politique des éditeurs
4426 articles – 2353 Notices
[english version]
.:.
Consultation
>
Liste des articles
.:.
6779 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
...
2
-
3
-
4
-
5
-
6
-
7
-
8
...
Commande d'un robot de télé-échographie par asservissement visuel
Li T.
Université Rennes 1 (14/02/2013), Alexandre Krupa (Dir.) [tel-00803767 - version 1]
Simultaneous Consensus vs Set Agreement a Message-Passing Sensitive Hierarchy of Agreement Problems
Raynal M., Stainer J.
Research report (2013) [hal-00787992 - version 2]
Round-based Synchrony Weakened by Message Adversaries vs Asynchrony Enriched with Failure Detectors
Raynal M., Stainer J.
Research report (2013) [hal-00787978 - version 2]
Integrated Worst-Case Response Time Evaluation of Multicore Non-Preemptive Applications
Potop-Butucaru D., Puaut I.
Rapport de recherche (2013) [hal-00787931 - version 1]
Constructing Positive Definite Elastic Kernels with Application to Time Series Classification
Marteau P.-F., Gibet S.
[hal-00486916 - version 5] (06/02/2013)
A Certified JavaScript Interpreter
Bodin M., Schmitt A.
JFLA - Journées francophones des langages applicatifs
, France (2013) [hal-00779459 - version 1]
Uncertainty-based learning of acoustic models from noisy data
Ozerov A., Lagrange M., Vincent E.
Computer Speech and Language
27
, 3 (2013) 874-894 [hal-00717992 - version 2]
Designing WAN Topologies Under Redundancy Constraints
Sartor P., Robledo F.
In
Optical Fiber Communications and Devices
(2013) 293--312 [hal-00773332 - version 1]
Special Issue on Speech Separation and Recognition in Multisource Environments
Barker J., Vincent E.
Computer Speech and Language
27
, 3 (2013) 619-620 [hal-00743532 - version 1]
The PASCAL CHiME Speech Separation and Recognition Challenge
Barker J., Vincent E., Ma N., Christensen H., Green P.
Computer Speech and Language
27
, 3 (2013) 621-633 [hal-00743529 - version 1]
Architecture des ordinateurs
Lagadec L., Pillement S., Tisserand A.
(2013) 150 [hal-00819668 - version 1]
Bridging the Chasm between Executable Metamodeling and Models of Computation
Combemale B., Hardebolle C., Jacquet C., Boulanger F., Baudry B.
Dans
Software Language Engineering, 5th International Conference SLE 2012, Revised and Selected Papers
-
SLE 2012, 5th International Conference on Software Language Engineering
, Allemagne (2012) [hal-00772089 - version 1]
The Perceptive Puppet: Seamless Embodiment Exchange Between Real and Virtual Humans in Virtual Environments for Training
Saraos Luna A., Gouranton V., Lopez T., Arnaldi B.
Dans
International Conference on Computer Graphics Theory and Applications
-
GRAPP, International Conference on Computer Graphics Theory and Applications
, Espagne (2013) [hal-00763412 - version 1]
SODA: A Scalability-Oriented Distributed & Anticipative Model for Collision Detection in Physically-based Simulations
Dodier-Lazaro S., Avril Q., Gouranton V.
Dans
International Conference on Computer Graphics Theory and Applications
-
GRAPP, International Conference on Computer Graphics Theory and Applications
, Espagne (2013) [hal-00763407 - version 1]
Quantum speed-up for unsupervised learning
Aïmeur E., Brassard G., Gambs S.
Machine Learning
90
, 2 (2013) 261-287 [hal-00736948 - version 1]
SDMC : un outil en ligne d'extraction de motifs séquentiels pour la fouille de textes
Béchet N., Cellier P., Charnois T., Crémilleux B., Quiniou S.
Dans
Actes de la Conférence Francophone sur l'Extraction et la Gestion des Connaissances (EGC'13)
-
Conférence Francophone sur l'Extraction et la Gestion des Connaissances (EGC'13)
, France (2013) [hal-00817074 - version 1]
Incentive Scheduler Algorithm for Cooperation and Coverage Extension in Wireless Networks
Gueguen C., Rachedi A., Guizani M.
IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY (TVT)
62
, 2 (2013) 797 - 808 [hal-00740058 - version 1]
Consistent Wiener filtering for audio source separation
Le Roux J., Vincent E.
IEEE Signal Processing Letters
20
, 3 (2013) 217-220 [hal-00742687 - version 1]
Tree Automata Completion for Static Analysis of Functional Programs
Genet T., Salmon Y.
Rapport de recherche [hal-00780124 - version 2]
Support for Reverse Engineering and Maintaining Feature Models
Acher M., Heymans P., Cleve A., Hainaut J.-L., Baudry B.
VaMoS'13 - Seventh International Workshop on Variability Modelling of Software-Intensive Systems
, Italie (2013) [hal-00766786 - version 1]