Skip to Main content Skip to Navigation


...
hal-00641371v1  Conference papers
Léo TerzimanMaud MarchalFranck MultonBruno ArnaldiAnatole Lécuyer. Comparing Virtual Trajectories Made in Slalom Using Walking-In-Place and Joystick Techniques
EuroVR / EGVE Joint Virtual Reality Conference, Sep 2011, Nottingham, United Kingdom
...
hal-01522138v1  Conference papers
Md Delwar Hossain BhuyanEva ViefhuesMichael DöhlerYann LecieuxLaurent Mevel et al.  Output-only subspace and transfer matrix-based damage localization and quantification
IOMAC - 7th International Operational Modal Analysis Conference, May 2017, Ingolstadt, Germany
...
hal-01867937v1  Conference papers
Said Yacine BoulahiaEric AnquetilFranck MultonRichard Kulpa. Détection précoce d'actions squelettiques 3D dans un flot non segmenté à base de modèles curvilignes
RFIAP 2018 Reconnaissance des Formes, Image, Apprentissage et Perception, Jun 2018, Paris, France. pp.1-8
...
hal-00641360v1  Conference papers
Léo TerzimanMaud MarchalMathieu EmilyFranck MultonBruno Arnaldi et al.  Shake-Your-Head: Revisiting Walking-In-Place for Desktop Virtual Reality
ACM Symposium on Virtual Reality Software and Technology, 2010, Hong Kong, Hong Kong SAR China. pp.27--34
...
hal-02495299v1  Conference papers
Olfa Haj MahmoudCharles PontonnierGeorges DumontStéphane PoliFranck Multon. Posture Assessment and Subjective Scale Agreement in Picking Tasks with Low Masses
AHFE - 11th Applied Human Factors and Ergonomics Conference, Jul 2020, San Diego, United States
...
hal-01632860v1  Conference papers
Antonio MucherinoDouglas S. GonçalvesAntonin BernardinLudovic HoyetFranck Multon. A Distance-Based Approach for Human Posture Simulations
FedCSIS 2017 - Federated Conference on Computer Science and Information Systems, Sep 2017, Prague, Czech Republic. pp.441-444, ⟨10.15439/2017F98⟩
...
inria-00535977v1  Conference papers
Ludovic HoyetFranck MultonTaku KomuraAnatole Lécuyer. Can We Distinguish Biological Motions of Virtual Humans? Biomechanical and Perceptual Studies With Captured Motions of Weight Lifting
Symposium on Virtual Reality Software and Technology (VRST 2010), Nov 2010, Hong-Kong, Hong Kong SAR China
...
hal-01184236v1  Conference papers
Shadi IbrahimTran Anh PhuongGabriel Antoniu. An Eye on the Elephant in the Wild: A Performance Evaluation of Hadoop's Schedulers Under Failures
ARMS-CC'15-The second workshop on Adaptive Resource Management and Scheduling for Cloud Computing, held in conjunction with PODC 2015,, Jul 2015, Donostia-San Sebastián, Spain
...
hal-01154225v1  Conference papers
Erwan BousseTanja MayerhoferBenoit CombemaleBenoit Baudry. A Generative Approach to Define Rich Domain-Specific Trace Metamodels
11th European Conference on Modelling Foundations and Applications (ECMFA), Jul 2015, L’Aquila, Italy
...
hal-00650235v2  Conference papers
Diogo SampaioRafael MartinsCaroline CollangeFernando Magno Quintão Pereira. Divergence Analysis with Affine Constraints
24th International Symposium on Computer Architecture and High Performance Computing, Oct 2012, New-York, NY, United States. pp.67-74, ⟨10.1109/SBAC-PAD.2012.22⟩
...
hal-01114724v2  Conference papers
Valéria LelliArnaud BlouinBenoit Baudry. Classifying and Qualifying GUI Defects
8th IEEE International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. pp.1-10, ⟨10.1109/ICST.2015.7102582⟩
...
hal-01184244v1  Conference papers
Ali BoudaniBernard Cousin. Multicast tree in MPLS network
IEEE Global Telecommunications Conference (GLOBECOM '05), Nov 2005, Saint-Louis, United States. pp.1017-1022, ⟨10.1109/GLOCOM.2005.1577790⟩
...
hal-01184262v1  Conference papers
Gilles GuetteBernard CousinDavid Fort. GDS Resource Record: Generalization of the Delegation Signer Model
4th IEEE International Conference on Networking (ICN), Apr 2005, La Réunion, France. pp.844-851, ⟨10.1007/978-3-540-31957-3_95⟩
...
hal-00347089v1  Conference papers
Matthieu KowalskiEmmanuel VincentRémi Gribonval. Under-determined source separation via mixed-norm regularized minimization
European Signal Processing Conference 2008, Aug 2008, Lausanne, Switzerland. pp.1569103109
...
hal-01548156v1  Conference papers
Cédric MaigrotVincent ClaveauEwa Kijak. Détection de fausses informations dans les réseaux sociaux : vers des approches multi-modales
Extraction et Gestion des Connaissances (EGC), Jan 2017, Grenoble, France
...
hal-01184257v1  Conference papers
Miklós MolnárAlexandre GuittonBernard CousinRaymond A. Marie. Efficient Protection of Many-to-One Communications
5th European Dependable Computing Conference (EDCC'05), Apr 2005, Budapest, Hungary. pp.363-378, ⟨10.1007/11408901_27⟩
...
hal-00762125v1  Conference papers
Camille GuinaudeauGuillaume GravierPascale Sébillot. Can automatic speech transcripts be used for large scale TV stream description and structuring?
First International Workshop on Content-Based Audio/Video Analysis for Novel TV Services, CBTV'09, Dec 2009, San Diego, CA, United States. pp.489-494
...
hal-00762260v1  Conference papers
Camille Guinaudeau. Recherche d'information textuelle et phonétique pour le contrôle de l'étiquetage automatique d'émissions dans un flux télévisuel
4es rencontres des jeunes chercheurs en recherche d'information, RJCRI'09, May 2009, Presqu'île de Giens, France. 8 p
...
hal-01535937v1  Conference papers
Laurent GeorgetMathieu JaumeGuillaume PiolleFrédéric TronelValérie Viet Triem Tong. Suivi de flux d'information correct sous Linux
16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), Jun 2017, Montpellier, France. pp.19-26
...
hal-01183129v1  Conference papers
Erwan Bousse. Combining Verification and Validation techniques
Doctoral Symposium of ECMFA, ECOOP and ECSA 2013, Jul 2013, Montpellier, France. pp.10
...
hal-01546817v1  Conference papers
Fabrizio BiondiYusuke KawamotoAxel LegayLouis-Marie Traonouez. HyLeak: Hybrid Analysis Tool for Information Leakage
ATVA 2017 - Fifteenth International Symposium on Automated Technology for Verification and Analysis, Oct 2017, Pune, India. pp.14
...
hal-00762330v1  Conference papers
Sandrine BlazyRoberto Giacobazzi. Towards a formally verified obfuscating compiler
SSP 2012 - 2nd ACM SIGPLAN Software Security and Protection Workshop, ACM SIGPLAN, Jun 2012, Beijing, China
...
hal-00772613v1  Conference papers
Thomas ChabrierArnaud Tisserand. On-the-Fly Multi-Base Recoding for ECC Scalar Multiplication without Pre-Computations
ARITH - 21st IEEE International Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.219-228, ⟨10.1109/ARITH.2013.17⟩
...
hal-00737112v2  Conference papers
Santiago VidelaCarito GuziolowskiFederica EduatiSven ThieleNiels Grabe et al.  Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set Programming
CMSB - 10th Computational Methods in Systems Biology 2012, D. Gilbert and M. Heiner, Oct 2012, London, United Kingdom. pp.342-361, ⟨10.1007/978-3-642-33636-2_20⟩
...
hal-01193175v1  Conference papers
Arthur PeraisAndré Seznec. BeBoP: A Cost Effective Predictor Infrastructure for Superscalar Value Prediction
International Symposium on High Performance Computer Architecture, IEEE, Feb 2015, San Francisco, United States. pp.13 - 25 ), ⟨10.1109/HPCA.2015.7056018⟩
...
hal-01382052v2  Conference papers
Fabrizio BiondiMounir ChadliThomas Given-WilsonAxel Legay. Information Leakage as a Scheduling Resource
International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, Sep 2017, Turin, Italy
...
hal-00356566v1  Conference papers
Nathalie BertrandBlaise GenestHugo Gimbert. Qualitative Determinacy and Decidability of Stochastic Games with Signals
LICS'09, IEEE Symposium on logic in computer science, Aug 2009, Los Angeles, United States. pp.0