117 results  save search

inria-00518028v1  Journal articles
Boris AronovOtfried CheongXavier GoaocRote Günter. Lines Pinning Lines
Discrete and Computational Geometry, Springer Verlag, 2011
hal-01250215v1  Conference papers
Zaid HarchaouiAnatoli JuditskyArkadi NemirovskiDmitry Ostrovsky. Adaptive Recovery of Signals by Convex Optimization
JMLR Workshop and Conference Proceedings, Jul 2015, Paris, France. pp.929-955
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
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
hal-01108790v1  Conference papers
Patrick CousotRadhia Cousot. Abstract interpretation: past, present and future
CSL-LICS '14 - Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603165⟩
inria-00608255v2  Conference papers
Guillaume MorozBoris Aronov. Computing the Distance between Piecewise-Linear Bivariate Functions
SODA - Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms - 2012, Jan 2012, Kyoto, Japan
hal-00531563v1  Conference papers
Liqian ChenAntoine MinéJi WangPatrick Cousot. An Abstract Domain to Discover Interval Linear Equalities
11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10), Jan 2010, Spain. pp.112-128
hal-01111613v1  Journal articles
Assaf NaorOded Regev. Krivine schemes are optimal
Proceedings of the American Mathematical Society, American Mathematical Society, 2012, 142 (12), pp.4315-4320
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-01111576v1  Journal articles
Jop BrietAssaf NaorOded Regev. Locally decodable codes and the failure of cotype for projective tensor products
Electronic Research Announcements in Mathematical Sciences, American Institute of Mathematical Sciences, 2012, 19, pp.120-130. ⟨10.3934/era.2012.19.120⟩
hal-00864284v1  Conference papers
Vadim LyubashevskyChris PeikertOded Regev. A toolkit for Ring-LWE cryptography
EUROCRYPT - 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques - 2013, May 2013, Athens, Greece. pp.35-54, ⟨10.1007/978-3-642-38348-9_3⟩
hal-01116686v2  Conference papers
Thomas PrätzlichRachel BittnerAntoine LiutkusMeinard Müller. Kernel additive modeling for interference reduction in multi-channel music recordings
IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Apr 2015, Brisbane, Australia
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
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-01494296v2  Conference papers
Pauline LucNatalia NeverovaCamille CouprieJakob VerbeekYann Lecun. Predicting Deeper into the Future of Semantic Segmentation
ICCV 2017 - International Conference on Computer Vision, Oct 2017, Venise, Italy. pp.648-657, ⟨10.1109/ICCV.2017.77⟩
hal-01674831v1  Conference papers
Daniel KästnerAntoine MinéAndré SchmidtHeinz HilleLaurent Mauborgne et al.  Finding All Potential Run-Time Errors and Data Races in Automotive Software
WCX™ 2017 - SAE World Congress Experience, Apr 2017, Detroit United States. pp.1-9, ⟨10.4271/2017-01-0054⟩
hal-01377606v1  Poster communications
N V Kartheek MedathatiAndrew Isaac MesoGuillaume S. MassonPierre KornprobstJames Rankin. Understanding the impact of recurrent interactions on population tuning
AREADNE: Research in Encoding And Decoding of Neural Ensembles, Jun 2016, Santorini, Greece
hal-00911590v1  Directions of work or proceedings
Jocelyne ErhelMartin GanderLaurence HalpernGéraldine PichotTaoufik Sassi et al.  Domain Decomposition Methods in Science and Engineering XXI
Jocelyne Erhel and Martin Gander and Laurence Halpern and Géraldine Pichot and Taoufik Sassi and Olof Widlund. Springer, pp.800, 2014
hal-01059755v1  Journal articles
David BommesBruno LévyNico PietroniEnrico PuppoClaudio Silva et al.  Quad-Mesh Generation and Processing: A Survey
Computer Graphics Forum, Wiley, 2013, 32 (6), pp.51--76. ⟨10.1111/cgf.12014⟩
hal-01017700v1  Conference papers
Matthew BergerAndrea TagliasacchiLee SeverskyPierre AlliezJoshua Levine et al.  State of the Art in Surface Reconstruction from Point Clouds
Eurographics 2014 - State of the Art Reports, Apr 2014, Strasbourg, France. pp.161-185, ⟨10.2312/egst.20141040⟩
hal-02278048v1  Journal articles
Oliver GlauserBenedek VartokWan-Chun MaDaniele PanozzoAlec Jacobson et al.  Rig animation with a tangible and modular input device
Interactions, Association for Computing Machinery, 2017, 24 (2), pp.16-17. ⟨10.1145/3041959⟩
hal-01312241v1  Journal articles
Julien BertranePatrick CousotRadhia CousotJérôme FeretLaurent Mauborgne et al.  Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Foundations and Trends in Programming Languages, Now Publishers, 2015, 2 (2-3), pp.171-291. ⟨10.1561/2500000002⟩