Skip to Main content Skip to Navigation


...
hal-00981125v1  Conference papers
Andrea VedaldiSiddarth MahendranStavros TsogkasSubhransu MajiRoss B. Girshick et al.  Understanding Objects in Detail with Fine-grained Attributes
IEEE Conference on Computer Vision and Pattern Recognition, Jun 2014, Columbus, United States. ⟨10.1109/CVPR.2014.463⟩
...
hal-02422596v1  Conference papers
Mihir SahasrabudheZhixin ShuEdward BartrumRıza GülerDimitris Samaras et al.  Lifting AutoEncoders: Unsupervised Learning of a Fully-Disentangled 3D Morphable Model Using Deep Non-Rigid Structure From Motion
ICCV 2019 - IEEE International Conference on Computer Vision - Workshops, Oct 2019, Seoul, South Korea
hal-01094871v1  Journal articles
Gérard BiauFrédéric ChazalDavid Cohen-SteinerLuc DevroyeCarlos Rodríguez. A weighted k-nearest neighbor density estimate for geometric inference
Electronic journal of statistics , Shaker Heights, OH : Institute of Mathematical Statistics, 2011, 5, pp.204-237
...
hal-00541058v1  Conference papers
Zhou FenMiklós MolnárBernard CousinChunming Qiao. Cost Bounds of Multicast Light-Trees in WDM Networks
The 9th International IFIP TC 6 Networking Conference (NETWORKING 2010), 2010, May 2010, Chennai, India. pp.339-350, ⟨10.1007/978-3-642-12963-6_27⟩
hal-00878649v1  Conference papers
Serdar ErbaturDeepak KapurAndrew MarshallPaliath NarendranChristophe Ringeissen. Hierarchical Combination
CADE-24 - 24th International Conference on Automated Deduction - 2013, Jun 2013, Lake Placid, United States. pp.249-266, ⟨10.1007/978-3-642-38574-2_17⟩
hal-00684185v1  Conference papers
Siva AnantharamanSerdar ErbaturChristopher LynchPaliath NarendranMichaël Rusinowitch. Unification modulo Synchronous Distributivity
IJCAR 2012 (The 6th International Joint Conference on Automated Reasoning), Jun 2012, Manchester, United Kingdom. pp.14--29
hal-00659009v1  Journal articles
Siva AnantharamanPaliath NarendranMichaël Rusinowitch. String rewriting and security analysis: an extension of a result of Book and Otto
Journal of Automata Languages and Combinatorics, Otto-von-Guericke-Universität Magdeburg, 2012, 16 (2--4), pp.83--98
...
hal-00920509v1  Conference papers
Serdar ErbaturDeepak KapurAndrew MarshallPaliath NarendranChristophe Ringeissen. Hierarchical Combination of Unification Algorithms
The 27th International Workshop on Unification (UNIF 2013), Jun 2013, Eindhoven, Netherlands
...
hal-00854841v3  Journal articles
Siva AnantharamanChristopher BouchardPaliath NarendranMichaël Rusinowitch. Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (1:5), pp. 1--26. ⟨10.2168/LMCS-10(1:5)2014⟩
...
hal-01206669v1  Conference papers
Serdar ErbaturDeepak KapurAndrew MarshallPaliath NarendranChristophe Ringeissen. Unification and Matching in Hierarchical Combinations of Syntactic Theories
Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Sep 2015, Wroclaw, Poland. pp.291--306, ⟨10.1007/978-3-319-24246-0_18⟩
hal-01087065v1  Conference papers
Serdar ErbaturDeepak KapurAndrew MarshallCatherine MeadowsPaliath Narendran et al.  On Asymmetric Unification and the Combination Problem in Disjoint Theories
Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS, Apr 2014, Grenoble, France. pp.15, ⟨10.1007/978-3-642-54830-7_18⟩
hal-00730574v1  Conference papers
Adel LablackZhongfei ZhangChaabane Djeraba. Supervised learning for head pose estimation using SVD and Gabor Wavelets
1st International Workshop on Multimedia Analysis of User Behaviour and Interactions (MAUBI), Dec 2008, Berkeley, CA, United States. pp.592-596
hal-01586838v1  Books
Stefano SpaccapietraPaolo AtzeniFrançois FagesMohand-Said HacidMichael Kifer et al.  Journal on Data Semantics IX
Springer, 4601, pp.200, 2007, Lecture Notes in Computer Science, LNCS, 978-3-540-74982-0. ⟨10.1007/978-3-540-74987-5⟩
hal-00787186v1  Journal articles
Olivier DevillersRegina EstkowskiPierre-Marie GandoinFerran HurtadoPedro Ramos et al.  Minimal set of constraints for 2D constrained Delaunay reconstruction
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2003, 13 (5), pp.391-398. ⟨10.1142/S0218195903001244⟩
...
hal-02123709v1  Conference papers
Siva AnantharamanPeter HibbsPaliath NarendranMichaël Rusinowitch. Unification modulo Lists with Reverse, Relation with Certain Word Equations
CADE-27 - The 27th International Conference on Automated Deduction, Association for Automated Reasoning (AAR), Aug 2019, Natal, Brazil. pp.1--17, ⟨10.1007/978-3-030-29436-6_1⟩
...
hal-01820197v1  Conference papers
Antoine VastelPierre LaperdrixWalter RudametkinRomain Rouvoy. FP-Scanner: The Privacy Implications of Browser Fingerprint Inconsistencies
Proceedings of the 27th USENIX Security Symposium, Aug 2018, Baltimore, United States
...
hal-01109284v1  Conference papers
Mircea CimpoiSubhransu MajiIasonas KokkinosSammy MohamedAndrea Vedaldi. Describing Textures in the Wild
IEEE Conference in Computer Vision and Pattern Recognition, Jun 2014, Greater Columbus Convention Center in Columbus, Ohio., United States. pp.3606 - 3613, ⟨10.1109/CVPR.2014.461⟩
...
inria-00275491v1  Conference papers
Slawomir StaworkoEmmanuel FiliotJan Chomicki. Querying Regular Sets of XML Documents
International Workshop on Logic in Databases (LiD), May 2008, Rome, Italy
...
inria-00606775v1  Conference papers
Kyle HegemanSimon PremozeMichael AshikhminGeorge Drettakis. Approximate Ambient Occlusion For Trees
I3D '06 Proceedings of the 2006 symposium on Interactive 3D graphics and games, ACM SIGGRAPH, Mar 2006, Redwood City, United States. pp.87-92, ⟨10.1145/1111411.1111427⟩
hal-01586832v1  Books
Stefano SpaccapietraPaolo AtzeniFrançois FagesMohand-Said HacidMichael Kifer et al.  Journal on Data Semantics VIII
Springer, 4380, 2007, Lecture Notes in Computer Science, LNCS, 978-3-540-70663-2. ⟨10.1007/978-3-540-70664-9⟩
hal-00855591v1  Journal articles
A. PanagopoulosChaohui WangDimitris SamarasNikos Paragios. Simultaneous Cast Shadows, Illumination and Geometry Inference Using Hypergraphs
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2013, 35 (2), pp.437-449. ⟨10.1109/TPAMI.2012.110⟩
...
hal-00784386v1  Conference papers
Katerina GkirtzouJean HonorioDimitris SamarasRita GoldsteinMatthew Blaschko. FMRI Analysis of Cocaine Addiction Using K-Support Sparsity
International Symposium on Biomedical Imaging, IEEE, Apr 2013, San Francisco, United States