Recherche
Voici les éléments 211-220 de 382
The limits of Nečiporuk’s method and the power of programs over monoids taken from small varieties of finite monoids
(2019-03-13)
Cette thèse porte sur des minorants pour des mesures de complexité liées à des sous-classes de la classe P de langages pouvant être décidés en temps polynomial par des machines de Turing. Nous considérons des modèles de ...
From examples to knowledge in model-driven engineering : a holistic and pragmatic approach
(2019-03-13)
Le Model-Driven Engineering (MDE) est une approche de développement logiciel qui
propose d’élever le niveau d’abstraction des langages afin de déplacer l’effort de
conception et de compréhension depuis le point de vue ...
Metamodel co-evolution with related model-driven engineering artifacts : a multi-objective search framework
(2019-03-13)
Les produits logiciels sont, en général, évolués en introduisant des changements continus. Les
tâches d’évolution et de maintenance sont fastidieuses et longues. Évidemment, il y a un besoin
pour trouver de meilleures ...
Apprendre à résoudre des analogies de forme
(2019-03-13)
L'apprentissage analogique est un mécanisme qui permet le transfert de formes d'entrée (par exemple, des chaînes) vers des formes de sortie sans recourir à l'entrainement d'un modèle. Pour se faire, chaque analogie identifiée ...
Learning and time : on using memory and curricula for language understanding
(2019-03-13)
Cette thèse présente quelques-unes des étapes entreprises pour pouvoir un jour résoudre le problème de la compréhension du langage naturel et d’apprentissage de dépendances à long terme, dans le but de développer de meilleurs ...
Adapting modeling environments to domain specific interactions
(2021-07-14)
Software tools are being used by experts in a variety of domains. There are numerous
software modeling environments tailored to a specific domain expertise. However, there is no
consistent approach to generically synthesize ...
On challenges in training recurrent neural networks
(2020-03-25)
Dans un problème de prédiction à multiples pas discrets, la prédiction à chaque instant peut dépendre de l’entrée à n’importe quel moment dans un passé lointain. Modéliser une telle dépendance à long terme est un des ...
Sequence-to-sequence learning for machine translation and automatic differentiation for machine learning software tools
(2019-05-08)
Cette thèse regroupe des articles d'apprentissage automatique et s'articule autour de deux thématiques complémentaires.
D'une part, les trois premiers articles examinent l'application des réseaux de neurones artificiels ...
Automates à contraintes semilinéaires = Automata with a semilinear constraint
(2013-09-03)
Cette thèse présente une étude dans divers domaines de l'informatique
théorique de modèles de calculs combinant automates finis et contraintes
arithmétiques. Nous nous intéressons aux questions de décidabilité,
d'expressivité ...
Routage adaptatif et stabilité dans les réseaux maillés sans fil
(2013-08-02)
Grâce à leur flexibilité et à leur facilité d’installation, les réseaux maillés sans fil (WMNs) permettent un déploiement d’une infrastructure à faible coût. Ces réseaux étendent la couverture des réseaux filaires permettant, ...