Search - Archive ouverte HAL Access content directly

Filter your results

2 665 Results
Deposit type : Fulltext
Image document

Expérimentation sur les nouvelles architectures : des processeurs multi-cœurs aux grilles de calcul

Brice Videau
Calcul parallèle, distribué et partagé [cs.DC]. Université Joseph-Fourier - Grenoble I, 2009. Français. ⟨NNT : ⟩
Theses tel-00924386v1
Image document

Différents types de savoirs mis en œuvre dans la formation initiale d'enseignants de mathématiques à l'intégration de technologies de géométrie dynamique

Menekse Seden Tapan
Mathématiques [math]. Université Joseph-Fourier - Grenoble I, 2006. Français. ⟨NNT : ⟩
Theses tel-00133569v1
Image document

Schemata of SMT problems

Vincent Aravantinos , Nicolas Peltier
TABLEAUX 2011 - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Jul 2011, Bern, Switzerland. pp.27-42, ⟨10.1007/978-3-642-22119-4_5⟩
Conference papers hal-00931443v1
Image document

Intégration de raisonnements automatiques dans le système d'annotation MemoNote

Hakim Mokeddem , Cyrille Desmoulins
23es Journées Francophones d'ingénierie des connaissances, Jun 2012, Paris, France. pp.49-64
Conference papers hal-00736131v1
Image document

Learning Situation Models for Providing Context-Aware Services

Oliver Brdiczka
Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2007. English. ⟨NNT : ⟩
Theses tel-00151497v1
Image document

Débogage des systèmes embarqués multiprocesseur basé sur la ré-exécution déterministe et partielle

Kiril Georgiev
Systèmes embarqués. Université de Grenoble, 2012. Français. ⟨NNT : 2012GRENM086⟩
Theses tel-01547226v1
Image document

Orchestration de services hétérogènes et sécurisés

Stéphanie Chollet
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2009. Français. ⟨NNT : ⟩
Theses tel-00544420v1
Image document

Ligne de produits dynamique pour les applications à services

Jianqi Yu
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2010. Français. ⟨NNT : ⟩
Theses tel-00493355v1
Image document

Building FCA-Based Decision Trees for the Selection of Heterogeneous Services

Stéphanie Chollet , Vincent Lestideau , Philippe Lalanda , Yoann Maurel , Pierre Colomb et al.
SCC 2011 - 8th International Conference on Services Computing, Jul 2011, Washington DC, United States. pp.616-623, ⟨10.1109/SCC.2011.35⟩
Conference papers hal-00746043v1
Image document

Traduction automatisée d'une oeuvre littéraire: une étude pilote

Laurent Besacier
Traitement Automatique du Langage Naturel (TALN), Jul 2014, Marseille, France
Conference papers hal-01003944v1
Image document

Portage linguistique de l'arabe et vers l'arabe

Najeh Hajlaoui , Christian Boitet
Infol@ngues III : Informatique et langues, Feb 2009, Tunisie. 10 p
Conference papers hal-00390852v1
Image document

Logic-Based Event Recognition

Alexander Artikis , Anastasios Skarlatidis , François Portet , Georgios Paliouras
Knowledge Engineering Review, 2012, 27 (4), pp.469--506. ⟨10.1017/S0269888912000264⟩
Journal articles hal-00953673v1
Image document

Développement d'Applications à Grande Echelle par Composition de Méta-Modèles

German Eduardo Vega Baez
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨NNT : ⟩
Theses tel-00011325v1
Image document

Analyse sonore et multimodale dans le domaine de l'assistance à domicile

Michel Vacher
Intelligence artificielle [cs.AI]. Université de Grenoble, 2011
Habilitation à diriger des recherches tel-00956330v1
Image document

Autonomic Pervasive Applications Driven by Abstract Specifications

Ozan Gunalp , Levent Gurgen , Vincent Lestideau , Philippe Lalanda
Self-IoT 2012 - international workshop on Self-aware Internet of Things, Sep 2012, San Jose, CA, United States. pp.19-24, ⟨10.1145/2378023.2378028⟩
Conference papers hal-00745393v1
Image document

Social Information Systems: The End of Shadow Applications?

Marc Quast , Mark J. Handel
ICEIS 2012 - International Conference on Enterprise Information Systems, Jun 2012, Wroclaw, Poland. Paper 98
Conference papers hal-00745448v1
Image document

Model-Driven Design, Development, Execution and Management of Service-Based Applications

Diana Moreno , Jacky Estublier
SCC 2012 - International Conference on Service Computing, Jun 2012, Honolulu, HI, United States. pp.470-477, ⟨10.1109/SCC.2012.64⟩
Conference papers hal-00745510v1
Image document

fANFARE: Autonomic Framework for Service-based Pervasive Environment

Yoann Maurel , Stéphanie Chollet , Vincent Lestideau , Jonathan Bardin , Philippe Lalanda et al.
SCC 2012 - International Conference on Service Computing, Jun 2012, Honolulu, HI, United States. pp.65-72, ⟨10.1109/SCC.2012.7⟩
Conference papers hal-00693315v1
Image document

NoXperanto: Crowdsourced Polyglot Persistence

Antonio Maccioni , Orlando Cassano , Yongming Luo , Juan Castrejón , Genoveva Vargas-Solar et al.
Polibits, 2014, 50, pp.43 - 48. ⟨10.17562/PB-50-6⟩
Journal articles hal-01584798v1
Image document

Efficient and versatile data analytics for deep networks

Darío Garcia-Gasulla , Jonathan Moreno-Vázquez , Javier-Alfonso Espinosa-Oviedo , José Conejero , Genoveva Vargas-Solar et al.
3rd BSC International Doctoral Symposium,, May 2015, Barcelona, Spain
Conference papers hal-01586476v1
Image document

Programmation par les utilisateurs finaux : Composition d'applications Web respectueuse de la vie privée

Aurélien Faravelon , Eric Céret , Christine Verdier
INFORSID 2014, May 2014, France. pp.325-362
Conference papers hal-01003496v1
Image document

Privacy Conscious Web Apps Composition

Aurélien Faravelon , Éric Céret
IEEE Research Challenges in Computer Science (RCIS) 2014, May 2014, Marrakech, Morocco. pp.1-1
Conference papers hal-01003871v1
Image document

Actes de la conférence BDA 2014 : Gestion de données - principes, technologies et applications

David Gross-Amblard , Christine Collet , Christophe Bobineau , Fabrice Jouanot
David Gross-Amblard. BDA 2014 : Gestion de données - principes, technologies et applications, Oct 2014, Autrans, France. , pp.55, 2015
Proceedings hal-01163748v2
Image document

Towards an Architecture Model for Emotion Recognition in Interactive Systems: Application to a Ballet Dance Show

Alexis Clay , Nadine Couture , Laurence Nigay
Proceedings of WinVR'09, the ASME/AFM 2009 World Conference on Innovative Virtual Reality - World Conference on Innovative Virtual Reality (WinVR'09), 2009, Chalon-sur-Saône, France. pp.19-24
Conference papers hal-00953307v1
Image document

Les technologies de la parole et du TALN pour l'assistance à domicile des personnes âgées : un rapide tour d'horizon (Quick tour of NLP and speech technologies for ambient assisted living) [in French]

François Portet , Michel Vacher , Solange Rossato
JEP-TALN-RECITAL 2012, Atelier ILADI 2012: Interactions Langagières pour personnes Agées Dans les habitats Intelligents, Jun 2012, Grenoble, France. pp.3--16
Conference papers hal-00953514v1
Image document

Evaluation of a Real-Time Voice Order Recognition System from Multiple Audio Channels in a Home

Michel Vacher , Benjamin Lecouteux , Dan Istrate , Thierry Joubert , François Portet et al.
the 14rd Annual Conference of the International Speech Communication Association, INTERSPEECH, Aug 2013, Lyon, France. pp.2062-2064
Conference papers hal-00953246v1
Image document

A generic and open framework for multiword expressions treatment: from acquisition to applications

Carlos Ramisch
Computer Science [cs]. Université de Grenoble (France); Universidade Federal do Rio Grande do Sul (Brazil), 2012. English. ⟨NNT : ⟩
Theses tel-01200602v1
Image document

Speech and Speaker Recognition for Home Automation: Preliminary Results

Michel Vacher , Benjamin Lecouteux , Javier Serrano-Romero , Moez Ajili , François Portet et al.
8th International Conference Speech Technology and Human-Computer Dialogue "SpeD 2015", Oct 2015, Bucarest, Romania. pp.181-190
Conference papers hal-01207692v2
Image document

Integrating imperfect transcripts into speech recognition systems for building high-quality corpora

Benjamin Lecouteux , Georges Linares , Stanislas Oger
Computer Speech and Language, 2012, 26 (2), pp.67 - 89
Journal articles hal-00953675v1
Image document

OpenWizard : Une approche pour la création et l'évaluation rapide de prototypes multimodaux

Marcos Serrano , Laurence Nigay
proc. IHM'09, 21ème Conférence Francophone sur l'Interaction Homme-Machine, 2009, Grenoble, France. pp.101-109
Conference papers hal-00953298v1