Search
Now showing items 81-90 of 186
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 ...
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é ...
Lagrangian-informed mixed integer programming reformulations
(2014-05-01)
La programmation linéaire en nombres entiers est une approche robuste
qui permet de résoudre rapidement de grandes instances de problèmes
d'optimisation discrète. Toutefois, les problèmes gagnent constamment
en complexité ...
Practical and Foundational Aspects of Secure Computation
(2015-02-18)
Il y a des problemes qui semblent impossible a resoudre sans l'utilisation d'un tiers parti
honnete. Comment est-ce que deux millionnaires peuvent savoir qui est le plus riche sans dire a l'autre la valeur de ses biens ? ...
Analysing artefacts dependencies to evolving software systems
(2014-05-01)
Les logiciels sont en constante évolution, nécessitant une maintenance et un développement continus. Ils subissent des changements tout au long de leur vie, que ce soit pendant l'ajout de nouvelles fonctionnalités ou la ...
Modeling High-Dimensional Audio Sequences with Recurrent Neural Networks
(2014-09-29)
Cette thèse étudie des modèles de séquences de haute dimension basés sur des réseaux de neurones récurrents (RNN) et leur application à la musique et à la parole. Bien qu'en principe les RNN puissent représenter les ...