Skip to Main content Skip to Navigation


...
hal-01402986v2  Journal articles
Agnès Piquard-KipfferTamara Léonova. Scolarité et handicap : parcours de 170 jeunes dysphasiques ou dyslexiques- dysorthographiques âgés de 6 à 20 ans
ANAE - Approche Neuropsychologique des Apprentissages Chez L'enfant, ANAE/PLEIOMEDIA, 2017
...
hal-00419550v1  Journal articles
Bertrand GaiffeLaurent Romary. « Ce matin, il pleuvait », ou la référence à l'épreuve du temps.
Langages, Armand Colin (Larousse jusqu'en 2003), 1993, pp.74-91
...
inria-00000791v1  Journal articles
Anis KoubaaYe-Qiong SongJean-Pierre Thomesse. (m,k)-WFQ : Intégration des contraintes temporelles (m,k)-firm dans les réseaux à débit garanti
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005, 24 (8), pp.1013--1046
...
hal-01240344v1  Journal articles
Jean HergelSylvain Lefebvre. 3D Fabrication of 2D Mechanisms
Computer Graphics Forum, Wiley, 2015, ⟨10.1111/cgf.12555⟩
...
inria-00437492v1  Journal articles
Sabine BarratAntoine Tabbone. A Bayesian network for combining descriptors: application to symbol recognition
International Journal on Document Analysis and Recognition, Springer Verlag, 2009, 13 (1), pp.65-75. ⟨10.1007/s10032-009-0103-y⟩
...
inria-00598250v1  Journal articles
Michael StollbergJoerg HoffmannDieter Fensel. A caching technique for optimizing automated service discovery
International Journal of Semantic Computing, World Scientific, 2011, 5 (1), pp.1-31. ⟨10.1142/S1793351X11001146⟩
...
inria-00354242v2  Journal articles
Santosh K.C.Cholwich Nattee. A comprehensive survey on on-line handwriting recognition technology and its real application to the Nepalese natural handwriting
Kathmandu University Journal of Science, Engineering, and Technology, Kathmandu University, 2009, 5 (I), pp.31-55
...
hal-01414179v2  Journal articles
Sharon GannotEmmanuel VincentShmulik Markovich-GolanAlexey Ozerov. A consolidated perspective on multi-microphone speech enhancement and source separation
IEEE/ACM Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2017, 25 (4), pp.692-730. ⟨10.1109/TASLP.2016.2647702⟩
...
hal-00761038v1  Journal articles
Hien Thi Thu TruongClaudia-Lavinia IgnatPascal Molli. A CONTRACT-EXTENDED PUSH-PULL-CLONE MODEL FOR MULTI-SYNCHRONOUS COLLABORATION
International Journal of Cooperative Information Systems, World Scientific Publishing, 2012, 21 (3), pp.221-262. ⟨10.1142/S0218843012410031⟩
...
hal-01094377v1  Journal articles
Elias EghoNicolas JayChedy RaïssiDino IencoPascal Poncelet et al.  A contribution to the discovery of multidimensional patterns in healthcare trajectories
Journal of Intelligent Information Systems, Springer Verlag, 2014, 42 (2), pp.283 - 305. ⟨10.1007/s10844-014-0309-4⟩
...
hal-00931206v1  Journal articles
Tao Pham DinhHoai Minh LeHoai An Le ThiFabien Lauer. A Difference of Convex Functions Algorithm for Switched Linear Regression
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2014, ⟨10.1109/TAC.2014.2301575⟩
...
inria-00487986v4  Journal articles
Pierre BénardAres LagaePeter VangorpSylvain LefebvreGeorge Drettakis et al.  A Dynamic Noise Primitive for Coherent Stylization
Computer Graphics Forum, Wiley, 2010, Proceedings of the Eurographics Symposium on Rendering 2010, 29 (4), pp.1497-1506. ⟨10.1111/j.1467-8659.2010.01747.x⟩
...
hal-02296014v1  Journal articles
Alexander BentkampJasmin BlanchetteDietrich Klakow. A Formal Proof of the Expressiveness of Deep Learning
Journal of Automated Reasoning, Springer Verlag, 2019, 63 (2), pp.347-368. ⟨10.1007/s10817-018-9481-5⟩
...
hal-03016721v1  Journal articles
Marie CanditoMathieu ConstantCarlos RamischAgata SavaryBruno Guillaume et al.  A French corpus annotated for multiword expressions and named entities
Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2020, 8 (2), pp.415-479. ⟨10.15398/jlm.v8i2.265⟩
...
hal-02921498v1  Journal articles
Arbia Riahi SfarYacine ChallalPascal MoyalEnrico Natalizio. A Game Theoretic Approach for Privacy Preserving Model in IoT-Based Transportation
IEEE Transactions on Intelligent Transportation Systems, IEEE, 2019, 20 (12), pp.4405-4414. ⟨10.1109/TITS.2018.2885054⟩
...
inria-00635363v1  Journal articles
Nazih OuwayedAbdel Belaïd. A general approach for multi-oriented text line extraction of handwritten document
International Journal on Document Analysis and Recognition, Springer Verlag, 2011, 14 (4), ⟨10.1007/s10032-011-0172-6⟩
...
inria-00000700v1  Journal articles
Mark van den BrandPierre-Etienne MoreauJurgen Vinju. A generator of efficient strongly typed abstract syntax trees in Java
IEE Proceedings - Software Engineering, Institution of Electrical Engineers (IEE), 2005, IEE Proceedings - Software Engineering, 152 (2), pp.70--87
...
hal-00908373v5  Journal articles
Nazim Fatès. A guided tour of asynchronous cellular automata
Journal of Cellular Automata, Old City Publishing, 2014, 9 (5-6), pp.387-416
...
hal-00384683v1  Journal articles
René DavidBruno Guillaume. A lambda-calculus with explicit weakening and explicit substitution
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2001, 11 (1), pp.169-206. ⟨10.1017/S0960129500003224⟩
...
hal-01768758v1  Journal articles
Noran AzmyStephan MerzChristoph Weidenbach. A Machine-Checked Correctness Proof for Pastry
Science of Computer Programming, Elsevier, 2018, 158, pp.64-80. ⟨10.1016/j.scico.2017.08.003⟩
...
hal-02368832v1  Journal articles
Lucca HirschiDavid BaeldeStéphanie Delaune. A method for unbounded verification of privacy-type properties
Journal of Computer Security, IOS Press, 2019, 27 (3), pp.277-342. ⟨10.3233/JCS-171070⟩
...
inria-00181029v2  Journal articles
Richard BrentPaul Zimmermann. A Multi-level Blocking Distinct Degree Factorization Algorithm
Contemporary mathematics, American Mathematical Society, 2008, Finite Fields and Applications, 461, pp.47-58
...
hal-02291907v1  Journal articles
Luigi PencoNicola SciancaValerio ModugnoLeonardo LanariGiuseppe Oriolo et al.  A Multi-Mode Teleoperation Framework for Humanoid Loco-Manipulation: An Application for the iCub Robot
IEEE Robotics and Automation Magazine, Institute of Electrical and Electronics Engineers, 2019, 26 (4), pp.73-82. ⟨10.1109/MRA.2019.2941245⟩
...
hal-02985156v1  Journal articles
Atef JaballahAref Meddeb. A new algorithm based CSP framework for RFID network planning
Journal of Ambient Intelligence and Humanized Computing, Springer, 2020, 1, ⟨10.1007/s12652-020-02446-5⟩
...
hal-02151093v4  Journal articles
Nicolas DavidPaul Zimmermann. A New Ranking Function for Polynomial Selection in the Number Field Sieve
Contemporary mathematics, American Mathematical Society, 2020, 75 Years of Mathematics of Computation, 754, pp.315-325. ⟨10.1090/CONM/754/15139⟩
...
hal-01925890v1  Journal articles
Frédéric Sur. A non-local dual-domain approach to cartoon and texture decomposition
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2019, 28 (4), pp.1882-1894. ⟨10.1109/TIP.2018.2881906⟩
...
hal-00763434v1  Journal articles
Rhaleb Zayer. A nonlinear static approach for curve editing
Computers and Graphics, Elsevier, 2012, 36 (5), pp.514-520. ⟨10.1016/j.cag.2012.03.024⟩
...
hal-00921122v1  Journal articles
Jean-Sébastien SereniJan Volec. A note on acyclic vertex-colorings
Journal of Combinatorics, International Press, 2016, 7 (4), pp.725--737. ⟨10.4310/JOC.2016.v7.n4.a8⟩
...
hal-00561271v1  Journal articles
Pierre-Cyrille Heam. A Note on Partially Ordered Tree Automata
Information Processing Letters, Elsevier, 2008, 108 (4), pp.242--246. ⟨10.1016/j.ipl.2008.05.012⟩
...
hal-03274600v1  Journal articles
Alfredo CuzzocreaEnzo MumoloEdoardo FaddaMarco Tessarotto. A Novel Big Data Analytics Approach for Supporting Cyber Attack Detection via Non-linear Analytic Prediction of IP Addresses
Lecture Notes in Computer Science, Springer, 2020, Computational Science and Its Applications – ICCSA 2020, pp.978 - 991. ⟨10.1007/978-3-030-58799-4_70⟩
...
hal-01226395v1  Journal articles
Bruno Lévy. A Numerical Algorithm for L-2 Optimal Transport in 3D
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2015, Volume 49, Number 6, November-December 2015 Special Issue - Optimal Transport, 49 (6), pp.22. ⟨10.1051/m2an/2015055⟩
...
hal-01252728v1  Journal articles
Guillaume BoscPhilip TanJean-François BoulicautChedy RaïssiMehdi Kaytoue. A Pattern Mining Approach to Study Strategy Balance in RTS Games
IEEE Transactions on Computational Intelligence and AI in games, IEEE Computational Intelligence Society, 2017, 9 (2), pp.123-132. ⟨10.1109/TCIAIG.2015.2511819⟩
...
inria-00099509v1  Journal articles
Jean-Daniel BoissonnatSylvain Lazard. A polynomial-time algorithm for computing shortest paths of bounded curvature amidst moderate obstacles
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2003, 13 (3), pp.189-229. ⟨10.1142/S0218195903001128⟩
...
inria-00339115v1  Journal articles
Sabine BarratAntoine Tabbone. A Progressive Learning Method for Symbol Recognition
Journal of Universal Computer Science, Springer, 2008, 14 (2), pp.224-336
...
hal-00596121v1  Journal articles
Yann GuermeurEmmanuel Monfrini. A Quadratic Loss Multi-Class SVM for which a Radius-Margin Bound Applies
Informatica (ISSN 0868-4952) International Journal, 2011, 22 (1), pp.73-96
...
hal-01088712v1  Journal articles
Aloïs DreyfusPierre-Cyrille HéamOlga KouchnarenkoCatherine Masson. A random testing approach using pushdown automata
Journal of : Software Testing, Verification and Reliability, Wiley, 2014, 24, pp.656 - 683. ⟨10.1002/stvr.1526⟩
...
hal-01178661v1  Journal articles
François PomerleauFrancis ColasRoland Siegwart. A Review of Point Cloud Registration Algorithms for Mobile Robotics
Foundations and Trends in Robotics, Now Publishers, 2015, 4 (1), pp.1--104. ⟨10.1561/2300000035⟩
...
inria-00000628v3  Journal articles
Horatiu CirsteaGermain FaureClaude Kirchner. A Rho-Calculus of explicit constraint application
Higher-Order and Symbolic Computation, Springer Verlag, 2007, Special Issue on Rewriting Logic and its Applications, 20, pp.37-72. ⟨10.1007/s10990-007-9004-2⟩
...
hal-00740630v1  Journal articles
Nazim FatèsNikolaos Vlassopoulos. A Robust Scheme for Aggregating Quasi-Blind Robots in an Active Environment
International Journal of Swarm Intelligence Research, IGI Global, 2012, 3 (3), pp.15. ⟨10.4018/jsir.2012070105⟩
...
hal-01102883v1  Journal articles
Elena TushkanovaAlain GiorgettiChristophe RingeissenOlga Kouchnarenko. A rule-based system for automatic decidability and combinability
Science of Computer Programming, Elsevier, 2015, Selected Papers from the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012), 99, pp.3-23. ⟨10.1016/j.scico.2014.02.005⟩
...
hal-02407673v1  Journal articles
Tan NguyenHoang-Long MaiGuillaume DoyenRémi CogranneWissam Mallouli et al.  A Security Monitoring Plane for Named Data Networking Deployment
IEEE Communications Magazine, Institute of Electrical and Electronics Engineers, 2018, 56 (11), pp.88-94. ⟨10.1109/mcom.2018.1701135⟩
...
hal-01095859v1  Journal articles
Victor CodocedoIoanna LykourentzouAmedeo Napoli. A semantic approach to concept lattice-based information retrieval
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2014, 72, pp.169 - 195. ⟨10.1007/s10472-014-9403-0⟩
...
hal-00766460v1  Journal articles
Marilisa AmoiaTreveur BrétaudièreAlexandre DenisClaire GardentLaura Perez-Beltrachini. A Serious Game for Second Language Acquisition in a Virtual Environment
Journal of Systemics, Cybernetics and Informatics, Caracas [Miranda]: International Institute of Informatics and Systemics, 2012, 10 (1), pp.24-34
...
hal-01114190v1  Journal articles
F CaroF CoquelDamien JametS Kokh. A Simple Finite-Volume Method for Compressible Isothermal Two-Phase Flows Simulation
International Journal on Finite Volumes, Institut de Mathématiques de Marseille, AMU, 2006, www.latp.univ-mrs.fr/IJFV
...
hal-01740004v1  Journal articles
Philippe BalbianiHans van Ditmarsch. A simple proof of the completeness of APAL
Studies in Logic, 2015, 8, pp.65-78
...
hal-00684803v1  Journal articles
Chao ChenThibault GayralStéphane CaroDamien ChablatGuillaume Moroz et al.  A Six-Dof Epicyclic-Parallel Manipulator
Journal of Mechanisms and Robotics, American Society of Mechanical Engineers, 2012, 4 (4), ⟨10.1115/1.4007489⟩
...
hal-01183004v1  Journal articles
Miguel CouceiroLucien HaddadKarsten SchölzelTamas Waldhauser. A Solution to a Problem of D. Lau: Complete Classification of Intervals in the Lattice of Partial Boolean Clones
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, 2017, 28 (1), pp.47-58
...
hal-01623758v1  Journal articles
Claire GardentLaura Perez-Beltrachini. A Statistical, Grammar-Based Approach to Micro-Planning
Computational Linguistics, Massachusetts Institute of Technology Press (MIT Press), 2017, ⟨10.1162/COLI_a_00273⟩
...
hal-01153734v1  Journal articles
Viviana BonoMichele BugliesiMariangiola Dezani-CiancagliniLuigi Liquori. A Subtyping for Extensible, Incomplete Objects
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 38 (4), pp.325--364
...
inria-00511233v1  Journal articles
Sylvain LazardChristophe WeibelSue WhitesidesLinqiao Zhang. A Succinct 3D Visibility Skeleton
Discrete Mathematics, Algorithms and Applications, World Scientific Publishing, 2010, 2 (4), pp.1-23. ⟨10.1142/S1793830910000899⟩
...
inria-00000552v1  Journal articles
Véronique CortierStéphanie DelaunePascal Lafourcade. A Survey of Algebraic Properties Used in Cryptographic Protocols
Journal of Computer Security, IOS Press, 2006, 14 (1), pp.1-43
...
hal-00920177v1  Journal articles
Ares LagaeSylvain LefebvreRob CookTony DeroseGeorge Drettakis et al.  A Survey of Procedural Noise Functions
Computer Graphics Forum, Wiley, 2010, 29 (8), pp.2579-2600. ⟨10.1111/j.1467-8659.2010.01827.x⟩