Search - Archive ouverte HAL Access content directly

Filter your results

151 Results
Structure: Internal structure identifier : 84375
Image document

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures

Mai Gehrke , Tomáš Jakl , Luca Reggio
Samson Abramsky on Logic and Structure in Computer Science and Beyond, A. Palmigiano and M. Sadrzadeh (eds.), Springer Series., In press, Outstanding Contribution to Logic
Book sections hal-03795820v1
Image document

Benchmarking framework for myocardial tracking and deformation algorithms: an open access database

Catalina Tobon-Gomez , Mathieu de Craene , Kristin Mcleod , Lennart Tautz , Wenzhe Shi et al.
Medical Image Analysis, 2013, 17 (6), pp.632-648. ⟨10.1016/⟩
Journal articles hal-00855928v1

Real-World VR Applications and Computer Graphics/Sound Research: A Synergy for the Future

George Drettakis , Maria Roussou
2nd Intuition International Workshop : VR/VE & Industry: Challenges and opportunities, Nov 2005, Senlis, France
Conference papers inria-00606756v1

Strong Planning under Uncertainty in Domains with Numerous but Identical Elements (a generic approach)

Max Kanovich , Jacqueline Vauzeilles
Other publications hal-00084728v1
Image document

An efficient playout smoothing mechanism for layered streaming in P2P networks

Abbas Bradai , Ubaid Abbasi , Raul Landa , Toufik Ahmed
Peer-to-Peer Networking and Applications, 2012, pp.ISSN 1936-6442. ⟨10.1007/s12083-012-0170-6⟩
Journal articles hal-00875223v1

On-chain analytics for sentiment-driven statistical causality in cryptocurrencies

Ioannis Chalkiadakis , Anna Zaremba , Gareth Peters , Michael Chantler
Blockchain: Research and Applications, 2022, 3 (2), pp.100063. ⟨10.1016/j.bcra.2022.100063⟩
Journal articles hal-03856719v1
Image document

On Convergence of the Method of Relaxations, an Application to Learning on a Graph.

Sylvain Marié , Mark Herbster
Preprints, Working Papers, ... hal-02920470v1
Image document

Manageability of Future Internet Virtual Networks from a Practical Viewpoint

Javier Rubio-Loyola , Antonio Astorga , Joan Serrat , Laurent Lefevre , Abderhaman Cheniour et al.
FIA 2010 - Future Internet Assembly, Apr 2010, Valencia, Spain. pp.105-114, ⟨10.3233/978-1-60750-539-6-105⟩
Conference papers hal-00795224v1
Image document

Perturbed Model Validation: A New Framework to Validate Model Relevance

Jie Zhang , Earl T Barr , Benjamin Guedj , Mark Harman , John Shawe-Taylor et al.
Preprints, Working Papers, ... hal-02139208v2
Image document

Non-linear aggregation of filters to improve image denoising

Benjamin Guedj , Juliette Rengot
Computing Conference 2020, Jul 2020, London, United Kingdom
Conference papers hal-02086856v2
Image document

A Primer on PAC-Bayesian Learning

Benjamin Guedj
Preprints, Working Papers, ... hal-01983732v3
Image document

KSD Aggregated Goodness-of-fit Test

Antonin Schrab , Benjamin Guedj , Arthur Gretton
Preprints, Working Papers, ... hal-03554423v1
Image document

PAC-Bayesian Bound for the Conditional Value at Risk

Zakaria Mhammedi , Benjamin Guedj , Robert C. Williamson
NeurIPS 2020, Dec 2020, Vancouver / Virtual, Canada
Conference papers hal-02883728v1
Image document

Progress in Self-Certified Neural Networks

Maria Perez-Ortiz , Omar Rivasplata , Emilio Parrado-Hernandez , Benjamin Guedj , John Shawe-Taylor et al.
NeurIPS 2021 - Conference on Neural Information Processing Systems. Session Workshop : Bayesian Deep Learning, Dec 2021, Virtual, United Kingdom
Conference papers hal-03430821v1
Image document

Nested partitions from hierarchical clustering statistical validation

Christian Bongiorno , Salvatore Miccichè , Rosario N Mantegna
Preprints, Working Papers, ... hal-02157744v1

Fence-sitters protect cooperation in complex networks

Yichao Zhang , M. Aziz-Alaoui , Cyrille Bertelle , Shi Zhou , Wenting Wang et al.
Physical Review E : Statistical, Nonlinear, and Soft Matter Physics, 2013, 88 (3), ⟨10.1103/PhysRevE.88.032127⟩
Journal articles hal-02116512v1
Image document

Computational Design and Construction of Notch-Free Reciprocal Frame Structures

Nicolas Mellado , Peng Song , Xiaoqi Yan , Chi-Wing Fu , Niloy J Mitra et al.
Advances in Architectural Geometry 2014, Sep 2014, London, United Kingdom. pp.181 - 197, ⟨10.1007/978-3-319-11418-7_12⟩
Conference papers hal-01498291v1
Image document

Decentralized learning with budgeted network load using Gaussian copulas and classifier ensembles

John Klein , Mahmoud Albardan , Benjamin Guedj , Olivier Colot
ECML-PKDD, Decentralized Machine Learning at the Edge Workshop, Sep 2019, Wurzburg, Germany. ⟨10.1007/978-3-030-43823-4_26⟩
Conference papers hal-01779989v1
Image document

Pointless learning (long version)

Florence Clerc , Vincent Danos , Fredrik Dahlqvist , Ilias Garnier
Preprints, Working Papers, ... hal-01429663v2

Strong Planning under Uncertainty in Domains with Numerous but Identical Elements (a generic approach)

Jacqueline Vauzeilles , Max Kanovich
Theoretical Computer Science, 2007, 379 (1-2), pp.84-119. ⟨10.1016/j.tcs.2007.01.022⟩
Journal articles hal-00153226v1

Temporal planning in Linear Logic

Jacqueline Vauzeilles , Max Kanovich
Workshop Geometria del calcolo, 2006, Rome, Italy
Conference papers hal-00085515v1
Image document

Art Touch with CREATE haptic interface

Andrea Dettori , Carlo Alberto Avizzano , Simone Marcheschi , Michael Angerilli , Massimo Bergamasco et al.
2003, pp.269
Conference papers hal-00021427v1

Automated voxel-based 3D cortical thickness measurement in a combined Lagrangian-Eulerian PDE approach using partial volume maps.

Oscar Acosta , Pierrick Bourgeat , Maria A. Zuluaga , Jurgen Fripp , Olivier Salvado et al.
Medical Image Analysis, 2009, 13 (5), pp.730-43. ⟨10.1016/⟩
Journal articles hal-00911253v1
Image document

Detection of Bitcoin-Based Botnets Using a One-Class Classifier

Bruno Bogaz Zarpelão , Rodrigo Sanches Miani , Muttukrishnan Rajarajan
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.174-189, ⟨10.1007/978-3-030-20074-9_13⟩
Conference papers hal-02294596v1
Image document

Motion Models that Only Work Sometimes

Cristina Garcia Cifuentes , Marc Sturzel , Frédéric Jurie , Gabriel J. Brostow
British Machive Vision Conference, Sep 2012, Guildford, United Kingdom. 12 p
Conference papers hal-00806098v1
Image document


M. Pawan Kumar , Vladimir Kolmogorov , Philip H.S. Torr
JMLR, 2009
Journal articles hal-00773608v1
Image document

Real-Time Reflection on Moving Vehicles in Urban Environments

Alexandre Meyer , Céline Loscos
Symposium on Virtual reality software and technology (VRST), 2003, Osaka, Japan. ⟨10.1145/1008653.1008662⟩
Conference papers hal-01494996v1
Image document

Software is Not Fragile

William B. Langdon , Justyna Petke
CS-DC’15 World e-conference, Sep 2015, Tempe, United States
Conference papers hal-01291120v1

ParkMaster: Leveraging Edge Computing in Visual Analytics

Giulio Grassi , Matteo Sammarco , Paramvir Bahl , Kyle Jamieson , Giovanni Pau et al.
MobiCom'15 - 21st Annual International Conference on Mobile Computing and Networking, Sep 2015, Paris, France. ACM, MobiCom '15 Proceedings of the 21st Annual International Conference on Mobile Computing and Networking. Pages 257-259, pp.257-259, 2015, ⟨10.1145/2789168.2795174⟩
Poster communications hal-01231828v1
Image document

PAC-Bayesian Contrastive Unsupervised Representation Learning

Kento Nozawa , Pascal Germain , Benjamin Guedj
UAI 2020 - Conference on Uncertainty in Artificial Intelligence, Aug 2020, Toronto, Canada
Conference papers hal-02401282v1