Intelligent assistant
LELIE - An Intelligent Assistant for Improving Requirement Authoring
... Let us now concentrate on LELIE as an intelligent assistant tool for requirement authoring. LELIE is a system based on rules that detect errors of different leve[r] ...
10
Intelligent assistant system as a context-aware decision-making support for the workers of the future
... proposed intelligent assistant system are explained at the end of this section while the characteristics of this framework are detailed in Section 4 from conceptual and technical points of ...of ...
14
LELIE - An Intelligent Assistant for Improving Requirement Authoring
... LELIE: An Intelligent Assistant for Improving Requirement Authoring 1. LELIE project LELIE 1 was funded by the French National Research Agency (ANR) from 2008 till 2013. It is still a research framework ...
11
The Director's Lens: An Intelligent Assistant for Virtual Cinematography
... Our system aims at improving Virtual Moviemaking pro- cesses by introducing, for the first time, the combination of manual control of the virtual camera with an intelligent assistant. This provides a ...
11
Intelligent assistant system as a context-aware decision-making support for the workers of the future
... proposed intelligent assistant system are explained at the end of this section while the characteristics of this framework are detailed in section 4 from conceptual and technical points of ...of ...
36
How to standardize parts’ catalogs using an intelligent assistant?
... In our work, active learning tech- niques are used to classify aircraft parts using Label Spreading algorithm to propagate labeled information to the full unlabeled dataset. The standard[r] ...
2
Un assistant à l'ère de la vidéo : la place de l'assistant vidéo dans le milieu professionnel
... DIT semble être l’orientation idéale pour un assistant vidéo souhaitant rester autour des écrans en augmentant sa base salariale. Jonathan Strutz y voit une voie alternative, une autre évolution de carrière que ...
56
Digital Factory Assistant: Conceptual Framework and Research Propositions
... Mohamed Anis Dhuieb, Florent Laroche, and Alain Bernard IRCCYN, Ecole Centrale de Nantes, France Mohamed-anis.dhuieb@irccyn.ec-nantes.fr Abstract. Nowadays, knowledge has a major role in factory efficiency. The ...
11
A.R.M. (Assistant de régulation Médicale) en Nouvelle Calédonie. Une formation pour un métier
... Ces publications soulignent qu’en même temps que le rôle des SAMU, le rôle et la fonction du PARM devenu ARM a évolué. Le permanencier, d’« auxiliaire» est devenu « assistant ». Plus encore en Nouvelle Calédonie ...
38
Intelligent Agile Method Framework
... 3 INTELLIGENT AGILE METHOD FRAMEWORK The main idea of the approach that we call Intelli- gent Agile Method Framework (in further text iAMF) is to provide methods and tools to (a) help compa- nies capture the ...
7
Évaluation et Intégration de solutions techniques pour la création d’un assistant vocal
... Dans le cadre de ce projet, la méthodologie de travail conduisant à l’évaluation et l'intégration de solutions techniques en vue de la création d’un assistant vocal sera détaillée. Les besoins ont d’abord été ...
65
Réalisation d'un assistant mobile expérimental pour usagers à besoins spéciaux
... Cette plateforme experimental comprend ainsi un module GSM permettant le dialogue avec le reseau cellulaire, un module GPS permettant la geolocalisation de I'utilisateur, ainsi qu'un c[r] ...
110
Design of intelligent interiors
... Three new directions for designing intelligent interior spaces are identified and expanded through working prototypes and evaluations: Soft Automation describes a means [r] ...
112
Optimisation de l’énergie dans le bâtiments intelligent
... Dans le chapitre suivant, nous allons pr´esenter quelques travaux qui sont pr´ec´edemment fait pour optimiser l’´energie dans les maisons intelligentes.... Optimisation de l’´energie dan[r] ...
84
The Coq Proof Assistant Reference Manual : Version 6.1
... The Coq Proof Assistant Reference Manual : Version 6.1 Bruno Barras, Samuel Boutin, Cristina Cornes, Judicaël Courant, Jean-Christophe Filliâtre, Eduardo Giménez, Hugo Herbelin, Gérard H[r] ...
219
The Coq Proof Assistant : A Tutorial : Version 6.1
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
53
Robot assistant gériatrique : une évaluation pilote en établissement hospitalier réel
... données patients [Lan Hing Ting et al., 2018]. C’est ce que permet, en outre, la solution robotique décrite ici, qui combine une application à usage des professionnels, et un robot assistant gériatrique appelé ...
7
Design of a proof assistant: Coq version 7
... The CIC is onsistent (a proof of strong normalization is given in [8℄); On
e a proof is ompleted, it is type he
ked by a trusted pie
e of ode implementing the typing rules of the CIC. The typing rules of the CIC are ...
9
The Coq Proof Assistant : A Tutorial : Version 7.2
... 1.5.2 Principle of proof irrelevance Even though in principle the proof term associated with a verified lemma corresponds to a defined value of the corresponding specification, such defi[r] ...
51
The Coq Proof Assistant, Reference Manual, Version 5.10
... The Coq Proof Assistant, Reference Manual, Version 5.10 Cristina Cornes, Judicaël Courant, Jean-Christophe Filliâtre, Gérard Huet, Pascal Manoury, César Munoz, Chetan Murthy, Catherine P[r] ...
179