103915 results  save search

hal-01879108v1  Conference papers
Shohreh AhvarJagruti SahooEhsan AhvarMouhamad DieyeRoch Glitho et al.  PCPV: Pattern-based Cost-efficient Proactive VNF placement and chaining for value-added services in content delivery networks
NETSOFT 2018: 4th IEEE Conference on Network Softwarization and Workshops, Jun 2018, Montreal, Canada. pp.313-317, ⟨10.1109/NETSOFT.2018.8459986⟩
hal-01897456v1  Conference papers
Paul LaforgueYann Régis-Gianas. OCaml étendu avec du filtrage par comotifs
JFLA 2018 - Journées Francophones des Langages Applicatifs, Jan 2018, Banyuls sur mer, France
hal-01799600v1  Journal articles
Johanna DelanoyMathieu AubryPhillip IsolaAlexei EfrosAdrien Bousseau. 3D Sketching using Multi-View Deep Volumetric Prediction
Proceedings of the ACM on Computer Graphics and Interactive Techniques, ACM, 2018, 1 (1), pp.1-22. ⟨10.1145/3203197⟩
hal-01799629v1  Conference papers
Gergö Barany. A more precise, more correct stack and register model for CompCert
LOLA 2018 - Syntax and Semantics of Low-Level Languages 2018, Jul 2018, Oxford, United Kingdom
hal-01799710v1  Journal articles
Diego Figueira. Alternating register automata on finite words and trees
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (1), pp.1-44. ⟨10.2168/LMCS-8(1:22)2012⟩
hal-01877136v1  Conference papers
Romain PostoyanQinghua Zhang. Local adaptive observer for linear time-varying systems with parameter-dependent state matrices
57th IEEE Conference on Decision and Control, CDC 2018, Dec 2018, Miami, United States. pp.4649-4554, ⟨10.1109/CDC.2018.8619470⟩
hal-02140972v1  Conference papers
Maria-Teresa SegarraFrançoise André. A distributed dynamic adaptation model for component-based applications
AINA-09 : 23rd IEEE International Conference on Advanced Information Networking and Applications, May 26-29, Bradford, UK, May 2009, Bradford, United Kingdom
hal-01898678v1  Conference papers
Xavier LorangSofiane KerbalLaurent LemarchandVincent Le CamJean-Jacques Mogoro. New detection criteria and shunting monitoring in railway track circuit receivers
IWSHM-RS 2018 - 2nd International Workshop on Structural Health Monitoring for Railway Systems, Oct 2018, Qingdao, China. pp.1-10
hal-01898257v1  Conference papers
Rodrigo SilvaJean-Marie BonninThierry Ernst. An ITS-based Architecture for Opportunistic Networking
VEHICULAR 2017: The Sixth International Conference on Advances in Vehicular Systems, Technologies and Applications, Jul 2017, Nice, France
hal-01898291v1  Conference papers
Frédéric Mallet. Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE
3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS, Sep 2018, Beijing, China
hal-01898310v1  Poster communications
Rodrigo SilvaJean-Marie Bonnin. Multi-Objective flow-interface mapping in heterogeneous and mobile networks
BMW SUMMER SCHOOL 2016 Car as a service – creating tomorrow’s smart mobility service platform, Jul 2016, Tegernsee, Germany
hal-02140403v1  Conference papers
Guillaume Sylvand. H-Matrix Solver Applied to Coupled FEM-BEM Aeroacoustics Simulations
JOSO 2019 - Journées Ondes Sud-Ouest, Mar 2019, Bordeaux, France
hal-01898401v1  Master thesis
Ismaïl Lachheb. Une interface pour Dedukti
Informatique [cs]. 2018
hal-02140558v1  Conference papers
Nieves CrastoPhilippe WeinzaepfelKarteek AlahariCordelia Schmid. MARS: Motion-Augmented RGB Stream for Action Recognition
CVPR 2019 - IEEE Conference on Computer Vision & Pattern Recognition, Jun 2019, Long Beach, CA, United States. pp.1-10
hal-01898412v1  Conference papers
Alexis ConneauGerman KruszewskiGuillaume LampleLoïc BarraultMarco Baroni. What you can cram into a single \$&!#* vector: Probing sentence embeddings for linguistic properties
ACL 2018 - 56th Annual Meeting of the Association for Computational Linguistics, Jul 2018, Melbourne, Australia. pp.2126-2136
hal-01636792v1  Conference papers
Georgia AvarikiotiIoannis Z. EmirisLoukas KavourasIoannis Psarros. High-dimensional approximate r-nets
SODA: ACM/SIAM Symposium on Discrete Algorithms, Jan 2017, Barcelone, Spain
hal-01898173v1  Journal articles
Joëlle CoutazJames L. Crowley. AppsGate, un écosystème domestique programmable : "vivre avec" comme retour d'expérience
Journal d'Interaction Personne-Système, Association Francophone d'Interaction Homme-Machine (AFIHM), 2018, Volume 7, Number 1 (1), pp.1-35
hal-01898325v1  Conference papers
Bruno FruchardEric LecolinetOlivier Chapuis. Mémorisation de Commandes: Positions Spatiales versus Gestes Directionnels
Proceedings of the 30e Conférence Francophone sur l’Interaction Homme-Machine, Oct 2018, Chauvigny, France. ⟨10.1145/3286689.3286700⟩
hal-01897917v1  Conference papers
Hugo BrunieJulien JaegerPatrick CarribaultDenis Barthou. Profile-Guided Scope-Based Data Allocation Method
MEMSYS 2018 - International Symposium on Memory Systems, Oct 2018, Alexandria, United States
hal-02139765v1  Conference papers
Miguel CouceiroNicolas HugHenri PradeGilles Richard. Behavior of Analogical Inference w.r.t. Boolean Functions
IJCAI 2018 - 27th International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.2057--2063
hal-01897266v1  Conference papers
Ioannis Z. EmirisIoannis Psarros. Products of Euclidean Metrics and Applications to Proximity Questions among Curves
34th International Symposium on Computational Geometry (SoCG 2018), Jun 2018, Budapest, Hungary. ⟨10.4230/LIPIcs.SoCG.2018.37⟩