Search - IMAG Access content directly

Filter your results

3 982 Results
Domains : info

ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis

Ayoub Nouri , Marius Bozga , Anca Molnos , Axel Legay , Saddek Bensalem
ACM Transactions on Embedded Computing Systems (TECS), 2016, ⟨10.1145/2885498⟩
Journal articles hal-01406474v1
Image document

Scalable Verification of Hybrid Systems

Goran Frehse
Systems and Control [cs.SY]. Univ. Grenoble Alpes, 2016
Habilitation à diriger des recherches tel-01714428v1

Scatter Imaging and Radar: Dual Image Reconstruction Problems

Rolf Clackdoyle , Hung Nguyen , Valérie Perrier , Laurent Desbat
2018 IEEE Nuclear Science Symposium and Medical Imaging Conference (NSS/MIC), Nov 2018, Sydney, Australia. pp.1-6, ⟨10.1109/NSSMIC.2018.8824512⟩
Conference papers hal-02293139v1
Image document

Computer Aided Formal Design of Swarm Robotics Algorithms

Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil , et al.
2021
Preprints, Working Papers, ... hal-03111541v1
Image document

Apports de la tangibilité à l'interaction, exemple sur table interactive en situation de travail collectif

Jean Caelen , Melanie Becker , Hervé Schultz , Sébastien Kubicki , Christophe Kolski , et al.
Conference Internationale Francophone sur I'Interaction Homme-Machine, IHM '10, Sep 2010, Luxembourg, Luxembourg
Conference papers hal-02928379v1
Image document

An Analytical Formulation for the Geometrico-static Problem of Continuum Planar Parallel Robots

Federico Zaccaria , Sébastien Briot , Mohamed Taha Chikhaoui , Edoardo Idá , Marco Carricato
23rd CISM IFToMM Symposium on Robot Design, Dynamics and Control (RoManSy 2020), Sep 2020, Sapporo, Japan
Conference papers hal-02849910v1
Image document

Vocal drum sounds in human beatboxing: An acoustic and articulatory exploration using electromagnetic articulography

Annalisa Paroni , Nathalie Henrich Bernardoni , Christophe Savariaux , Hélène Loevenbruck , Pascale Calabrese , et al.
Journal of the Acoustical Society of America, 2021, 149 (1), pp.191-206. ⟨10.1121/10.0002921⟩
Journal articles hal-03107358v1
Image document

Comment s'assurer de garder le contact (et nos distances)

Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil , et al.
ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2021, La Rochelle, France
Conference papers hal-03219933v1
Image document

L’usage de l’exécution symbolique pour la déobfuscation binaire en milieu industriel

Jonathan Salwan
Cryptographie et sécurité [cs.CR]. Université Grenoble Alpes [2020-..], 2020. Français. ⟨NNT : 2020GRALM005⟩
Theses tel-02966552v1
Image document

Modular analysis of numerical properties by abstract interpretation

Rémy Boutonnet
Data Structures and Algorithms [cs.DS]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM004⟩
Theses tel-02554125v2
Image document

A Fuzzy Motion Controller for a Car-Like Vehicle

Philippe Garnier , Thierry Fraichard
[Research Report] RR-3200, INRIA. 1997
Reports inria-00073489v1
Image document

Controlling and Scheduling Parallel I/O in Multi-application Environments

Adrien Lebre , Yves Denneulin , Thanh Trung Van
[Research Report] RR-5689, INRIA. 2005, pp.19
Reports inria-00070324v1
Image document

Providing a Progressive Access to Awareness Information

Manuele Kirsch-Pinheiro , Marlene Villanova-Oliver , Jerôme Gensel , José Valdeni de Lima , Hervé Martin
2003, pp.336-353
Conference papers hal-00120272v1
Image document

Perlin Textures in Real Time using OpenGL

Antoine Miné , Fabrice Neyret
[Research Report] RR-3713, INRIA. 1999, pp.18
Reports inria-00072955v1
Image document

Computer Animation of Human Walking: a Survey

Franck Multon , Laure France , Marie-Paule Cani , Gilles Debunne
[Research Report] RR-3441, INRIA. 1998
Reports inria-00073249v1

A Water Supply Optimization Problem for Plant Growth Based on GreenLab Model

L. Wu , François-Xavier Le Dimet , B.G. Hu , Paul-Henry Cournède , Philippe de Reffye
7éme Colloque Africain sur la Recherche en Informatique (CARI'04), Nov 2004, Mammamet, Tunisia
Conference papers inria-00122491v1
Image document

Using geometric quasi-invariants to match and model images of line segments

Patrick Gros , Olivier Bournez , Edmond Boyer
[Research Report] RR-2608, INRIA. 1995
Reports inria-00074077v1
Image document

Feature-based Control of Visibility Error : A Multi-resolution Clustering Algorithm for Global Illumination

François X. Sillion , George Drettakis
[Research Report] RR-2503, INRIA. 1995
Reports inria-00074174v1
Image document

Vers une modélisation d'une géométrie en actes dans les activités de lecture tracé du bâtiment

Annie Bessot , Colette Laborde
2004
Preprints, Working Papers, ... hal-00078790v1
Image document

Auto-supervised learning in the Bayesian Programming Framework

Pierre Dangauthier , Pierre Bessiere , Anne Spalanzani
2005, pp.1-6
Conference papers hal-00019663v1
Image document

The SIMGRID Project: Simulation and Deployment of Distributed Applications

Martin Quinson , Henri Casanova , Arnaud Legrand , Kayo Fujiwara
The 15th IEEE International Symposium on High Performance Distributed Computing (HPDC'06), Jun 2006, Paris, France
Conference papers inria-00108428v1
Image document

Les schémas de test : une abstraction pour la génération de tests de conformité et pour la mesure de couverture

Pierre Bontron
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨NNT : ⟩
Theses tel-00010058v1
Image document

Combining Higher-Order Wavelets and Discontinuity Meshing: a Compact Representation for Radiosity

Nicolas Holzschuch , Laurent Alonso
Eurographics Symposium on Rendering 2004 - EGSR 2004, Jun 2004, Norrköping, Sweden. pp.275-286
Conference papers inria-00100041v1
Image document

Gestion des informations dans les premieres etapes de la vision par ordinateur

Jean-Marc Salotti
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1994. Français. ⟨NNT : ⟩
Theses tel-00005111v1
Image document

TEMPOS : une plate-forme pour le développement d'applications temporelles au dessus de SGBD à objets

Marlon Dumas Menjivar
Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2000. Français. ⟨NNT : ⟩
Theses tel-00006741v1
Image document

Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information

Sophie Dupuy
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2000. Français. ⟨NNT : ⟩
Theses tel-00006742v1
Image document

Complexité Naturelle et Synthèse d'Images

Fabrice Neyret
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 2001
Habilitation à diriger des recherches tel-00005790v1
Image document

Services Actifs et Passerelles Programmables

Hoa Binh Nguyen
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004. Français. ⟨NNT : ⟩
Theses tel-00005989v1
Image document

Automatic Cell-and-portal Decomposition

Sylvain Lefebvre , Samuel Hornus
RR-4898, INRIA. 2003
Reports inria-00071685v1
Image document

A Volumetric Reconstruction Method from Multiple Calibrated Views using Global Graph Cut Optimization

Sylvain Paris , François X. Sillion , Long Quan
[Research Report] RR-4843, INRIA. 2003
Reports inria-00071742v1