Skip to Main content Skip to Navigation


inria-00124202v1  Conference papers
W. LiuVeronique Prinet. Probabilistic Modeling for Structural Change Inference
7th Asian Conference on Computer Vision (ACCV), Jan 2006, Hyderabad/ Inde, India. pp.836-846, ⟨10.1007/11612032_84⟩
...
hal-01520115v1  Journal articles
Zide MengFabien GandonCatherine Faron Zucker. Overlapping community detection and temporal analysis on Q&A sites
Web Intelligence and Agent Systems, IOS Press, 2017, 15, pp.115 - 142. ⟨10.3233/WEB-170356⟩
...
pastel-00000810v1  Theses
Marianne Durand. Combinatoire analytique et algorithmique des ensembles de données.
Informatique [cs]. Ecole Polytechnique X, 2004. Français
...
tel-01749552v1  Theses
Dawood Ashraf Khan. Schedulability analysis for the design of reliable and cost-effective automotive embedded systems
Computers and Society [cs.CY]. Institut National Polytechnique de Lorraine, 2011. English. ⟨NNT : 2011INPL097N⟩
...
hal-01416310v1  Conference papers
Dorin MaximRobert DavisLiliana Cucu-GrosjeanArvind Easwaran. Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC
WMC 2016 - 4th International Workshop on Mixed Criticality Systems, Nov 2016, Porto, Portugal
hal-02158973v1  Journal articles
Robert DavisLiliana Cucu-Grosjean. A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems
Leibniz Transactions on Embedded Systems, European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing., 2019, 6 (1), pp.60. ⟨10.4230/LITES-v006-i001-a003⟩
hal-02158985v1  Journal articles
Robert DavisLiliana Cucu-Grosjean. A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems
Leibniz Transactions on Embedded Systems, European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing., 2019, 6 (1), pp.53. ⟨10.4230/LITES-v006-i001-a004⟩
...
hal-01413035v1  Conference papers
Marcel SteinmetzJoerg HoffmannOlivier Buffet. Revisiting Goal Probability Analysis in Probabilistic Planning
26th International Conference on Automated Planning and Scheduling, Jun 2016, London, United Kingdom
...
inria-00072581v1  Reports
Frédéric Chyzak. Algorithms Seminar, 1999-2000
[Research Report] RR-4056, INRIA. 2000
...
inria-00072828v1  Reports
Bruno Salvy. Algorithms seminar, 1998-1999
[Research Report] RR-3830, INRIA. 1999
...
tel-02003251v1  Theses
Cristian Maxim. Probabilistic study of end-to-end constraints in real-time systems
Systems and Control [cs.SY]. Université Pierre et Marie Curie - Paris VI, 2017. English. ⟨NNT : 2017PA066479⟩
...
hal-01290887v1  Journal articles
Alexandre JanonMaëlle NodetChristophe PrieurClémentine Prieur. Goal-oriented error estimation for parameter-dependent nonlinear problems
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2018, 52 (2), pp.705-728. ⟨10.1051/m2an/2018003⟩
...
inria-00439284v2  Journal articles
Joost van de WeijerCordelia SchmidJakob VerbeekDiane Larlus. Learning Color Names for Real-World Applications
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2009, 18 (7), pp.1512-1523. ⟨10.1109/TIP.2009.2019809⟩
...
hal-01634368v1  Conference papers
Thibaut Lajoie-MazencRomaric LudinardEmmanuelle Anceaume. Handling Bitcoin Conflicts Through a Glimpse of Structure
Proceedings of the 32nd ACM SIGAPP Symposium On Applied Computing, Apr 2017, Marrakesh, Morocco. ⟨10.1145/3019612.3019657⟩
...
hal-01962631v1  Reports
Olivier DevillersCharles Duménil. A Poisson sample of a smooth surface is a good sample
[Research Report] RR-9239, INRIA Nancy. 2018, pp.8
...
hal-01027778v1  Conference papers
Vincent ClaveauEwa Kijak. Generating and using probabilistic morphological resources for the biomedical domain
9th edition of the Language Resources and Evaluation Conference, LREC 2014, May 2014, Reykjavik, Iceland. 7 p
...
hal-01552798v1  Conference papers
Dorin MaximAntoine Bertout. Analysis and Simulation Tools for Probabilistic Real-Time Systems
8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), Jun 2017, Dubrovnik, Croatia
hal-01666110v1  Book sections
Dorin MaximLiliana Cucu-GrosjeanRobert Davis. Probabilistic schedulability analysis
Arvind Easwaran. Handbook on Real-Time Computing, Springer, In press, Handbook on Real-Time Computing
hal-00844769v1  Conference papers
Khang-Nguyen PhamQuyet-Thang LeAnnie MorinPatrick Gros. Use of relevant indicators of Correspondence Analysis to improve image retrieval
ITI - 32nd International Conference on Information Technology Interfaces, Jun 2010, Dubrovnik, Croatia. pp.591-596