37 results  save search


  • 1
  • 2
hal-00953894v1  Conference papers
Pujianto CemerlangJoo-Hwee LimYilun YouJun ZhangJean-Pierre Chevallet. Towards Automatic Mobile Blogging
International Conference on Multimedia, and Expo IEEE ICME 2006, 2006, Toronto, Canada
...
inria-00444797v1  Conference papers
Marc ShapiroNishith Krishna. The three dimensions of data consistency
Journées Francophones sur la Cohérence des Données en Univers Réparti (CDUR), Nov 2005, Paris, France. pp.54--58
...
inria-00519591v1  Conference papers
Jihun YuChee YapZilin DuSylvain PionHervé Brönnimann. The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan
...
hal-01271552v1  Conference papers
Antoine MinéLaurent MauborgneXavier RivalJerome FeretPatrick Cousot et al.  Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France
inria-00528632v1  Conference papers
Julien BertranePatrick CousotRadhia CousotJérôme FeretLaurent Mauborgne et al.  Static Analysis by Abstract Interpretation of Embedded Critical Software
the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
inria-00528611v1  Conference papers
Julien BertranePatrick CousotRadhia CousotJérôme FeretLaurent Mauborgne et al.  Static Analysis and Verification of Aerospace Software by Abstract Interpretation
American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States
hal-00804550v1  Conference papers
David BommesBruno LévyNico PietroniEnrico PuppoClaudio Silva et al.  State of the Art in Quad Meshing
Eurographics - 33rd Annual Conference of the European Association for Computer Graphics - 2012, May 2012, Cagliari, Italy
inria-00547772v1  Conference papers
Ares LagaeSylvain LefebvreRob CookTony DeroseGeorge Drettakis et al.  State of the Art in Procedural Noise Functions
31st annual conference of the European Association for Computer Graphics - Eurographics 2010, May 2010, Norrköping, Sweden
...
lirmm-01886760v1  Conference papers
Oleksandra LevchenkoDjamel-Edine YagoubiReza AkbariniaFlorent MassegliaBoyan Kolev et al.  Spark-parSketch: A Massively Distributed Indexing of Time Series Datasets
CIKM: Conference on Information and Knowledge Management, Oct 2018, Turin, Italy. pp.1951-1954, ⟨10.1145/3269206.3269226⟩
...
hal-01171567v1  Conference papers
Niao HeZaid Harchaoui. Semi-proximal Mirror-Prox for Nonsmooth Composite Minimization
NIPS - Advances in Neural Information Processing Systems, Dec 2015, Montreal, Canada. pp.3411-3419
hal-00864431v1  Conference papers
Yevgeniy DodisDavid PointchevalSylvain RuhaultDamien VergnaudDaniel Wichs. Security Analysis of Pseudo-Random Number Generators with Input: /dev/random is not Robust
ACM CCS 2013 - 20th ACM Conference on Computer and Communications Security, Nov 2013, Berlin, Germany. ⟨10.1145/2508859.2516653⟩
...
lirmm-01867804v1  Conference papers
Patrick ValduriezMarta MattosoReza AkbariniaHeraldo BorgesJosé Camata et al.  Scientific Data Analysis Using Data-Intensive Scalable Computing: the SciDISC Project
LADaS: Latin America Data Science Workshop, Aug 2018, Rio de Janeiro, Brazil
...
lirmm-01620154v1  Conference papers
Djamel-Edine YagoubiReza AkbariniaFlorent MassegliaDennis Shasha. RadiusSketch: Massively Distributed Indexing of Time Series
DSAA: Data Science and Advanced Analytics, Oct 2017, Tokyo, Japan. pp.1-10
...
hal-01757669v2  Conference papers
Pauline LucCamille CouprieYann LecunJakob Verbeek. Predicting Future Instance Segmentation by Forecasting Convolutional Features
ECCV 2018 - European Conference on Computer Vision, Sep 2018, Munich, Germany. pp.593-608, ⟨10.1007/978-3-030-01240-3_36⟩
...
lirmm-01819290v1  Conference papers
Fabio PortoJoao RittmeyerEduardo OgasawaraAlberto Krone-MartinsPatrick Valduriez et al.  Point Pattern Search in Big Data
SSDBM: Scientific and Statistical Database Management, Jul 2018, Bozen-Bolzano, Italy. pp.#21, ⟨10.1145/3221269.3221294⟩
hal-02340366v1  Conference papers
Anastasia PodosinnikovaAmelia PerryAlexander WeinFrancis BachAlexandre d'Aspremont et al.  Overcomplete Independent Component Analysis via SDP
AISTATS 2019 - 22nd International Conference on Artificial Intelligence and Statistics, Apr 2019, Naha, Japan
hal-00648039v1  Conference papers
Liqian ChenPatrick CousotAntoine MinéJi Wang. Linear Absolute Value Relation Analysis
ESOP 2011 : 20th European Symposium on Programming, Mar 2011, Saarbrücken, Germany. pp.156-175, ⟨10.1007/978-3-642-19718-5⟩
...
inria-00348715v1  Conference papers
Sylvain PionChee Yap. Constructive Root Bound for k-Ary Rational Input Numbers
19th Annual ACM Symposium on Computational Geometry (SCG), Jun 2003, San Diego, California, United States. pp.256-263
...
lirmm-01867833v1  Conference papers
Fábio PortoAmir KhatibiJoao RittmeyerEduardo OgasawaraPatrick Valduriez et al.  Constellation Queries over Big Data
SBBD: Simpósio Brasileiro de Banco de Dados, SBC, Aug 2018, Rio de Janeiro, Brazil. pp.85-96
...
inria-00344515v1  Conference papers
Lutz KettnerKurt MehlhornSylvain PionStefan SchirraChee Yap. Classroom Examples of Robustness Problems in Geometric Computations
European Symposium on Algorithms (ESA), Sep 2004, Bergen, Norway. pp.702-713
hal-00922194v1  Conference papers
Zvika BrakerskiAdeline LangloisChris PeikertOded RegevDamien Stehlé. Classical Hardness of Learning with Errors
Proceedings of STOC, 2013, United States. pp.575-584
hal-01248206v1  Conference papers
Nishith KrishnaMarc ShapiroKarthikeyan Bhargavan. Brief announcement: Exploring the Consistency Problem Space
PODC 2005 - 24th annual ACM symposium on Principles Of Distributed Computing, Jul 2005, Las Vegas, Nevada, United States. pp.168--168, ⟨10.1145/1073814.1073845⟩
hal-01248674v1  Conference papers
Rahul G. KrishnanSimon Lacoste-JulienDavid Sontag. Barrier Frank-Wolfe for Marginal Inference
NIPS 2015 - Advances in Neural Information Processing Systems 28, Dec 2015, Montreal, Canada
hal-00930070v1  Conference papers
Patrick CousotRadhia CousotManuel FähndrichFrancesco Logozzo. Automatic Inference of Necessary Preconditions
VMCAI 2013 - 14th Conference on Verification, Model Checking and Abstract Interpretation, Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni, Jan 2013, Rome, Italy. pp.128-148, ⟨10.1007/978-3-642-35873-9_10⟩
...
hal-00646816v1  Conference papers
Y-Lan BoureauNicolas Le RouxFrancis BachJean PonceYann Lecun. Ask the locals: multi-way local pooling for image recognition
ICCV'11 - The 13th International Conference on Computer Vision, Nov 2011, Barcelone, Spain
hal-00930096v1  Conference papers
Omer TrippMarco PistoiaPatrick CousotRadhia CousotSalvatore Guarnieri. Andromeda: Accurate and Scalable Security Analysis of Web Applications
FASE 2013 - International Conference Fundamental Approaches to Software Engineering, Vittorio Cortellessa and Dániel Varró, Mar 2013, Rome, Italy. pp.210-225, ⟨10.1007/978-3-642-37057-1_15⟩
  • 1
  • 2