Skip to Main content Skip to Navigation

hal-01171193v1  Conference papers
Jean-Baptiste AlayracPiotr BojanowskiNishant AgrawalJosef SivicIvan Laptev et al.  Unsupervised Learning from Narrated Instruction Videos
CVPR2016 - 29th IEEE Conference on Computer Vision and Pattern Recognition, Jun 2016, Las Vegas, United States
hal-01242724v2  Conference papers
Suha KwakMinsu ChoIvan Laptev. Thin-Slicing for Pose: Learning to Understand Pose without Explicit Pose Estimation
CVPR 2016 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2016, Las Vegas, United States
hal-01424796v1  Journal articles
Cătălin HriţcuLeonidas LampropoulosAntal Spector-ZabuskyArthur Azevedo AmorimMaxime Dénès et al.  Testing Noninterference, Quickly
Journal of Functional Programming, Cambridge University Press (CUP), 2016, 26, e4 (62 p.). ⟨10.1017/S0956796816000058⟩
hal-01693805v1  Conference papers
Adrien BougouinSabine BarreauxLaurent RomaryFlorian BoudinBéatrice Daille. TermITH-Eval: a French Standard-Based Resource for Keyphrase Extraction Evaluation
LREC - Language Resources and Evaluation Conference, May 2016, Potoroz, Slovenia
hal-01258397v1  Journal articles
Andrea BondesanStéphane DellacherieHélène HivertJonathan JungVanessa Lleras et al.  Study of a depressurisation process at low Mach number in a nuclear reactor core
ESAIM: Proceedings and Surveys, EDP Sciences, 2016, CEMRACS 2015: Coupling multi-physics models involving fluids, 55, pp.41-60. ⟨10.1051/proc/201655041⟩
hal-01440061v1  Conference papers
Claire CuryMarc LorenziDavid CashJennifer NicholasAlexandre Routier et al.  Spatio-Temporal Shape Analysis of Cross-Sectional Data for Detection of Early Changes in Neurodegenerative Disease
SeSAMI 2016 - First International Workshop Spectral and Shape Analysis in Medical Imaging, Sep 2016, Athens, Greece. pp.63 - 75, ⟨10.1007/978-3-319-51237-2_6⟩
hal-01354864v1  Journal articles
Denis JeanneauThibault RieutordLuciana ArantesPierre Sens. Solving k-Set Agreement Using Failure Detectors in Unknown Dynamic Networks
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2016
hal-01347461v1  Journal articles
Borzoo BonakdarpourStéphane DevismesFranck Petit. Snap-Stabilizing Committee Coordination
Journal of Parallel and Distributed Computing, Elsevier, 2016, 87, pp.26-42. ⟨10.1016/j.jpdc.2015.09.004⟩
hal-01347457v1  Journal articles
Eddy CaronAjoy DattaFranck PetitCédric Tedeschi. Self-Stabilizing Prefix Tree Based Overlay Networks
International Journal of Foundations of Computer Science, World Scientific Publishing, 2016, 27 (5), pp.607-630. ⟨10.1142/S0129054116500192⟩
hal-01425743v1  Conference papers
Andi DrebesAntoniu PopKarine HeydemannAlbert CohenNathalie Drach. Scalable Task Parallelism for NUMA: A Uniform Abstraction for Coordinated Scheduling and Memory Management
PACT'16 - ACM/IEEE Conference on Parallel Architectures and Compilation Techniques, Sep 2016, Haifa, Israel. pp.125 - 137, ⟨10.1145/2967938.2967946⟩
hal-01380699v1  Conference papers
Michel AbdallaMario CornejoAnca NitulescuDavid Pointcheval. Robust Password-Protected Secret Sharing
ESORICS 2016 - 21st European Symposium on Research in Computer Security, Sep 2016, Heraklion, Greece. pp.61-79, ⟨10.1007/978-3-319-45741-3_4⟩
tel-01599253v1  Theses
Ghita Jalal. Reification of visual properties for composition tasks
Human-Computer Interaction [cs.HC]. Université Paris Saclay (COmUE), 2016. English. ⟨NNT : 2016SACLS554⟩
hal-01322335v1  Conference papers
Selma AzaiezDamien DoligezMatthieu LemerreTomer LibalStephan Merz. Proving Determinacy of the PharOS Real-Time Operating System
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, May 2016, Linz, Austria. pp.70-85, ⟨10.1007/978-3-319-33600-8_4⟩
hal-01356691v1  Conference papers
Fernando GarridoDavid Gonzalez BautistaVicente MilanésJoshué PérezFawzi Nashashibi. Optimized trajectory planning for Cybernetic Transportation Systems
9th IFAC Symposium on Intelligent Autonomous Vehicles IAV 2016, Jun 2016, Leipzig, Germany. pp.1-6
hal-01292479v1  Reports
Ichrak AmdouniCédric AdjihNadjib AitsaadiPaul Muhlethaler. ODYSSE: A routing Protocol for Wireless Sensor Networks
[Research Report] RR-8873, UPEC; Inria Saclay; Inria – Centre Paris-Rocquencourt. 2016
hal-01365746v1  Poster communications
Andi DrebesAntoniu PopKarine HeydemannNathalie DrachAlbert Cohen. NUMA-aware scheduling and memory allocation for data-flow task-parallel applications
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Mar 2016, Barcelona, Spain. ACM New York, NY, USA, Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp.44:1-44:2, 2016, ⟨10.1145/2851141.2851193⟩
hal-01242052v3  Conference papers
Relja ArandjelovicPetr GronatAkihiko ToriiTomas PajdlaJosef Sivic. NetVLAD: CNN architecture for weakly supervised place recognition
CVPR 2016 - 29th IEEE Conference on Computer Vision and Pattern Recognition, Jun 2016, Las Vegas, United States
hal-01329539v1  Conference papers
Timothée BernardLaurence Danlos. Modelling Discourse in STAG: Subordinate Conjunctions and Attributing Phrases
12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12), Jun 2016, Düsseldorf, Germany. pp.38-47
hal-01152168v2  Journal articles
Quentin MerigotJean-Marie Mirebeau. Minimal geodesics along volume preserving maps, through semi-discrete optimal transport
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2016, 54 (6), pp.3465-3492. ⟨10.1137/15M1017235⟩
hal-01346979v1  Conference papers
Antoine BlinCédric CourtaudJulien SopenaJulia LawallGilles Muller. Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System
28th EUROMICRO Conference on Real-Time Systems (ECRTS'16), Jul 2016, Toulouse, France
hal-01377993v1  Conference papers
Houda FerradiRémi GéraudDiana MaimutDavid NaccacheDavid Pointcheval. Legally Fair Contract Signing Without Keystones
ACNS 2016 - 14th International Conference Applied Cryptography and Network Security, Jun 2016, Guildford, United Kingdom. pp.175 - 190, ⟨10.1007/978-3-319-39555-5_10⟩
hal-01328697v3  Conference papers
Laurence DanlosAleksandre MaskharashviliSylvain Pogodalla. Interfacing Sentential and Discourse TAG-based Grammars
Proceedings of the 12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12), Jun 2016, Düsseldorf, Germany
hal-01392822v1  Conference papers
Laurence DanlosMathieu ConstantLucie Barque. Improvement of VerbNet-like resources by frame typing
Workshop on Grammar and Lexicon: interactions and interfaces (GramLex), The COLING 2016 Organizing Committee, Dec 2016, Osaka, Japan. pp.61-70
hal-01352162v1  Conference papers
Anubis Graciela de Moraes RossettoClaudio R. GeyerLuciana ArantesPierre Sens. Implementing a flexible failure detector that expresses the confidence in the system
LADC 2016 - 7th Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia
lirmm-01381310v1  Conference papers
Jean DumoncelGérard SubsolStanley Durrleman​Jean Pierre JesselAmélie Beaudet et al.  How to build an average model when samples are variably incomplete? Application to fossil data
CVPRW: Computer Vision and Pattern Recognition Workshops, Jun 2016, Las Vegas, United States. pp.541-548, ⟨10.1109/CVPRW.2016.74⟩
hal-01215190v5  Conference papers
Karine AltisenStéphane DevismesAnaïs DurandFranck Petit. Gradual Stabilization under τ-Dynamics
Euro-Par 2016 - 22nd International Conference on Parallel and Distributed Computing, Aug 2016, Grenoble, France. pp.588-602, ⟨10.1007/978-3-319-43659-3_43⟩
hal-01360566v1  Conference papers
Thibault SuzanneAntoine Miné. From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models
SAS 2016 - 23rd Static Analysis Symposium, Sep 2016, Edinburgh, United Kingdom. pp.469-488, ⟨10.1007/978-3-662-53413-7_23⟩
hal-01400469v1  Conference papers
Karthikeyan BhargavanAntoine Delignat-LavaudCédric FournetAnitha GollamudiGeorges Gonthier et al.  Formal Verification of Smart Contracts: Short Paper
ACM Workshop on Programming Languages and Analysis for Security, Oct 2016, Vienna, Austria. ⟨10.1145/2993600.2993611⟩
hal-00992389v1  Journal articles
Jean-Charles FaugèreAyoub OtmaniLudovic PerretFrédéric de PortzamparcJean-Pierre Tillich. Folding Alternant and Goppa Codes with Non-Trivial Automorphism Groups
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2016, 62 (1), pp.184-198. ⟨10.1109/TIT.2015.2493539⟩
hal-01242700v1  Conference papers
Marek ZawirskiCarlos BaqueroAnnette BieniusaNuno PreguiçaMarc Shapiro. Eventually Consistent Register Revisited
Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM Sigops / EuroSys, Apr 2016, London, United Kingdom. pp.7, ⟨10.1145/2911151.2911157⟩
hal-01407341v1  Conference papers
Geoffroy CouteauThomas PetersDavid Pointcheval. Encryption Switching Protocols
Crypto 2016 - 36th Annual International Cryptology Conference, Aug 2016, Santa Barbara, United States. ⟨10.1007/978-3-662-53018-4_12⟩
hal-00940743v3  Journal articles
Nicolas BroutinOlivier DevillersRoss Hemsley. Efficiently navigating a random Delaunay triangulation
Random Structures and Algorithms, Wiley, 2016, 49 (1), pp.95--136. ⟨10.1002/rsa.20630⟩
hal-01377880v1  Journal articles
Anne DesboisOlga AddimandaAnne BertrandAlban DerouxLaurent Pérard et al.  Efficacy of Anti-TNFα in Severe and Refractory Neuro-Behcet Disease
Medicine, Lippincott, Williams & Wilkins, 2016, 95 (23)
hal-01391678v1  Conference papers
Olivier MichalonCorentin RibeyreMarie CanditoAlexis Nasr. Deeper syntax for better semantic parsing
Coling 2016 - 26th International Conference on Computational Linguistics, Dec 2016, Osaka, Japan
hal-01409022v1  Conference papers
Umut AcarArthur CharguéraudMike RaineyFilip Sieczkowski. Dag-calculus: a calculus for parallel computation
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP), Sep 2016, Nara, Japan. pp.18 - 32, ⟨10.1145/2951913.2951946⟩
hal-01350558v1  Conference papers
Deepthi Devaki AkkoorathAlejandro TomsicManuel BravoZhongmiao LiTyler Crain et al.  Cure: Strong semantics meets high availability and low latency
Int. Conf. on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. pp.405-414, ⟨10.1109/ICDCS.2016.98⟩
hal-01391526v1  Conference papers
Marianne DjemaaMarie CanditoPhilippe MullerLaure Vieu. Corpus annotation within the French FrameNet: a domain-by-domain methodology
Tenth International Conference on Language Resources and Evaluation (LREC 2016), May 2016, Portorož, Slovenia