Recherche - Inria - Institut national de recherche en sciences et technologies du numérique
Nothing Special   »   [go: up one dir, main page]

Filtrer vos résultats

9 503 résultats
Structure : Identifiant HAL de la structure : 3102
Page :
triés par
Image document

N-way morphing for 2D Animation

 William Baxter , Pascal Barla , Ken-Ichi Anjyo
Computer Animation and Virtual Worlds, 2009, 20 (2)
Article dans une revue inria-00400830v1

Un corpus annoté pour le français : le French Treebank

 Anne Abeillé , Lionel Clément , Loïc Liégeois
Revue TAL : traitement automatique des langues, 2019, 60 (2), pp.19-43
Article dans une revue halshs-02560207v1
Image document

Digital 3D Objects in Art and Humanities: challenges of creation, interoperability and preservation. White paper

 Pierre Alliez , Laurent Bergerot , Jean-François Bernard , Clotilde Boust , George Bruseker , et al.
[Technical Report] European Commission; Horizon H2020 Projects. 2017, pp.71
Rapport hal-01526713v2

Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant

 Pierre Castéran , Vincent Filou , Mohamed Mosbah
Symbolic Computation in Software Science (SCSS 2009), Sep 2009, Tunisia. To appear
Communication dans un congrès hal-00407990v1
Image document

Towards a Logical Approach to Nominal Sentences Analysis in Standard Arabic

 Houda Anoun
ESSLLI 2006 Student sessions, Jul 2006, Malaga, Spain
Communication dans un congrès hal-00409499v1

There are Plane Spanners of Degree 4 and Moderate Stretch Factor

 Nicolas Bonichon , Iyad A. Kanj , Ljubomir Perković , Ge Xia
Discrete and Computational Geometry, 2015, 53 (3), pp.514-546
Article dans une revue hal-01207271v1
Image document

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism

 Antonio Casares , Thomas Colcombet , Nathanaël Fijalkow , Karoliina Lehtinen
2023
Pré-publication, Document de travail hal-04324130v1
Image document

Comparison of reconstruction approaches for plenoptic imaging systems

 Charlotte Herzog , Guillaume Dovillaire , Xavier Granier , Fabrice Harms , Xavier Levecq , et al.
Unconventional Optical Imaging, Apr 2018, Strasbourg, France. pp.106772U:1-106772U:11, ⟨10.1117/12.2306800⟩
Communication dans un congrès hal-01819610v1

The Mobile Java Card Grid Project

 K. Mayes , Serge Chaumette , K. Markantonakis , Damien Sauveron
7th e-Smart International Conference (e-smart 2006), Sep 2006, Sophia Antipolis, France. pp.1-5
Communication dans un congrès hal-00406496v1
Image document

Reasoning about Data Repetitions with Counter Systems

 Stéphane Demri , Diego Figueira , M. Praveen
Logical Methods in Computer Science, 2016, 12 (3), ⟨10.2168/LMCS-12(3:1)2016⟩
Article dans une revue hal-01685180v1

Safe peer-to-peer self-downloading

 Kajari Ghosh Dastidar , Ted Herman , Colette Johnen
ACM Transactions on Autonomous and Adaptive Systems, 2008, 3 (4), pp.19. ⟨10.1145/1452001.1452009⟩
Article dans une revue hal-00564974v1

Image segmentation by region-contour cooperation for image coding

 Jenny Benois-Pineau , Dominique Barba
1992 Proceedings., 11th IAPR International Conference on Pattern Recognition : Image, Speech and Signal Analysis,, Aug 1992, The Hague, Netherlands. ⟨10.1109/ICPR.1992.201992⟩
Communication dans un congrès hal-01441610v1

Spatio-temporal segmentation of image sequences for object-oriented low bit-rate image coding

 L Wu , Jenny Benois-Pineau , Ph. Delagnes , D Barba
Signal Processing: Image Communication, 1996, Signal Processing: Image Communication, 8 (6), pp.513 - 543. ⟨10.1016/0923-5965(96)00004-5⟩
Article dans une revue istex hal-01441620v1
Image document

L’originalité des œuvres logicielles créées par composition de briques préexistantes

 François Pellegrini
2021
Vidéo hal-03201316v1
Image document

Variational Osmosis for Non-linear Image Fusion

 Simone Parisotto , Luca Calatroni , Aurélie Bugeau , Nicolas Papadakis , Carola-Bibiane Schönlieb
IEEE Transactions on Image Processing, 2020, 29, pp.5507-5516
Article dans une revue hal-02314972v1
Image document

How to move from Inclusive Systems to Collaborative Systems: the Case of Virtual Reality for teaching O&M

 Lauren Thévin , Anke Brock
CHI 2019 Workshop on Hacking Blind Navigation, May 2019, Glasgow, United Kingdom
Communication dans un congrès hal-02082262v1
Image document

Decomposition algorithms for deterministic and uncertain integer programs

 B. Detienne
Optimization and Control [math.OC]. Ecole doctorale EDMI (ED Mathématiques et Informatique) Université de Bordeaux, 2021
HDR tel-03521336v1
Image document

Combining Dantzig-Wolfe and Benders decompositions to solve a large-scale nuclear outage planning problem

 Rodolphe Griset , Pascale Bendotti , Boris Detienne , Marc Porcheron , Halil Şen , et al.
European Journal of Operational Research, In press, 298 (3), pp.1067-1083. ⟨10.1016/j.ejor.2021.07.018⟩
Article dans une revue hal-03521369v1
Image document

Time-independent geometrical deformation for elastic contacts

 Camille Brunel
Image Processing [eess.IV]. Université de Bordeaux, 2021. English. ⟨NNT : 2021BORD0235⟩
Thèse tel-03521374v1

Weak Alternating Timed Automata

 Pawel Parys , Igor Walukiewicz
Logical Methods in Computer Science, 2012, 8 (3), pp.1-27. ⟨10.2168/LMCS-8(3:18)2012⟩
Article dans une revue hal-00962246v1
Image document

Estimation d'efficacité et restructuration automatisées de noyaux de calcul

 Christopher Haine
Data Structures and Algorithms [cs.DS]. Université de Bordeaux, 2017. English. ⟨NNT : 2017BORD0639⟩
Thèse tel-01841485v1
Image document

Fast and Flexible Software Polar List Decoders

 Mathieu Leonardon , Adrien Cassagne , Camille Leroux , Christophe Jego , Louis-Philippe Hamelin , et al.
Journal of Signal Processing Systems, 2019, ⟨10.1007/s11265-018-1430-3⟩
Article dans une revue hal-01987848v1

Conjunctive Regular Path Queries under Injective Semantics

 Diego Figueira , Miguel Romero
Symposium on Principles of Database Systems (PODS), Jun 2023, Seattle, United States. ⟨10.1145/3584372.3588664⟩
Communication dans un congrès hal-04070990v1
Image document

Model-checking linear-time properties of parametrized asynchronous shared-memory pushdown systems

 Marie Fortin , Anca Muscholl , Igor Walukiewicz
CAV, 2017, Heidelberg, Germany. pp.155-175, ⟨10.1007/978-3-319-63390-9_9⟩
Communication dans un congrès hal-02397728v1
Image document

Structure of graphs : minors and induced trees

 Claire Hilaire
Data Structures and Algorithms [cs.DS]. Université de Bordeaux, 2023. English. ⟨NNT : 2023BORD0180⟩
Thèse tel-04214002v1
Image document

Move-to-Data: A new Continual Learning approach with Deep CNNs, Application for image-class recognition *

 Miltiadis Poursanidis , Jenny Benois-Pineau , Akka Zemmari , Boris Mansencal , Aymar de Rugy
2020
Pré-publication, Document de travail hal-02865878v1
Image document

Quality evaluation of degraded document images for binarization result prediction

 Vincent Rabeux , Nicholas Journet , Anne Vialard , Jean-Philippe Domenger
International Journal on Document Analysis and Recognition (IJDAR), 2013, pp.1--13. ⟨10.1007/s10032-013-0211-6⟩
Article dans une revue hal-00862234v1
Image document

SURF: A Distributed Channel Selection Strategy for Data Dissemination in Multi-Hop Cognitive Radio Networks

 Mubashir Husain Rehmani , Aline Carneiro Viana , Hicham Khalife , Serge Fdida
[Research Report] RR-7628, INRIA. 2011
Rapport inria-00596224v3
Image document

Une Analyse Formelle en Coq d'un Algorithme Distribué Probabiliste résolvant le Problème du Rendez-Vous

 Allyx Fontaine , Akka Zemmari
JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
Communication dans un congrès hal-00779700v1
Image document

Deciding the topological complexity of Büchi languages *

 Michał Skrzypczak , Igor Walukiewicz
ICALP, Jul 2016, Rome, Italy. pp.99:1--99:13, ⟨10.4230/LIPIcs.ICALP.2016.99⟩
Communication dans un congrès hal-01394829v1
Page :