Filter your results
- 7
- 5
- 8
- 2
- 2
- 8
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 12
- 7
- 7
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Exploiting assertions mining and fault analysis to guide RTL-level approximationDATE 2023 – 26th IEEE/ACM Design, Automation and Test in Europe, Apr 2023, Antwerp, Belgium
Conference papers
hal-03887685v1
|
|||
Assertion-aware approximate computing design exploration on behavioral modelsLATS 2022 - IEEE 23rd Latin American Test Symposium, Sep 2022, Montevideo, Uruguay. pp.1-6, ⟨10.1109/LATS57337.2022.9936945⟩
Conference papers
hal-03887690v1
|
|||
SHREC'10 Track: Feature Detection and Description3DOR - Eurographics Workshop on 3D Object Retrieval, 2010, Norrköping, Sweden. pp.79-89
Conference papers
hal-00857583v1
|
|||
|
Integrating Computer Vision Algorithms and Ontologies for Spectator Crowd Behavior AnalysisIntegrating Computer Vision Algorithms and Ontologies for Spectator Crowd Behavior Analysis, Elsevier Inc., pp.297-319, 2017, 9780128092804; 9780128092767. ⟨10.1016/B978-0-12-809276-7.00016-3⟩
Book sections
hal-02420934v1
|
||
SHREC'10 Track: Robust Shape Retrieval.3DOR - Eurographics Workshop on 3D Object Retrieval, 2010, Norrköping, Sweden. pp.71-78
Conference papers
hal-00857512v1
|
|||
Document and Schema XML UpdatesChangqing Li and Tok Wang Ling. Advanced Applications and Structures in XML Processing: Label Streams, Semantics Utilization and Data Query Technologies, IGI Global, 2010, 1-61520-727-9
Book sections
inria-00537168v1
|
|||
Shoes-Your-Style": Changing Sound of Footsteps to Create New Walking ExperiencesWorkshop on Sound and Music Computing for Human-Computer Interaction (CHItaly), Sep 2011, Alghero, Italy
Conference papers
hal-00644247v1
|
|||
|
Towards a formally verified obfuscating compilerSSP 2012 - 2nd ACM SIGPLAN Software Security and Protection Workshop, ACM SIGPLAN, Jun 2012, Beijing, China
Conference papers
hal-00762330v1
|
||
|
A 4D Basis and Sampling Scheme for the Tensor Encoded Multi-Dimensional Diffusion MRI SignalIEEE Signal Processing Letters, 2020, 27, pp.790-794. ⟨10.1109/LSP.2020.2991832⟩
Journal articles
inserm-02881980v1
|
||
|
SANDI-AMICO: an open-source toolbox for fast Soma And Neurite Density Imaging (SANDI) with AMICO27th annual meeting of the Organization for Human Brain Mapping (OHBM), Jun 2021, Virtual, Singapore
Conference papers
inserm-03783770v1
|
||
|
Physics-Based Spike-Guided Tools for Sound DesignConference on Digital Audio Effects, Institute of Electronic Music and Acoustics, Sep 2010, Graz, Austria
Conference papers
inria-00545453v1
|
||
|
Sorting With Forbidden IntermediatesDiscrete Applied Mathematics, In press, ⟨10.1016/j.dam.2019.10.025⟩
Journal articles
hal-02341509v1
|