Recherche
Voici les éléments 31-40 de 70
A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
(2013-01-04)
Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes,
de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques ...
A Compiler for the dependently typed language Beluga
(2012-10-11)
Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte ...
Evaluating Design Decay during Software Evolution
(2013-02-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 ...
Bidirectional Helmholtz Machines
(2016-09-28)
L'entraînement sans surveillance efficace et inférence dans les modèles génératifs profonds reste un problème difficile. Une approche assez simple, la machine de Helmholtz, consiste à entraîner du haut vers le bas un modèle ...
Reliable Solid Modelling Using Subdivision Surfaces
(2013-06-18)
Les surfaces de subdivision fournissent une méthode alternative prometteuse dans la modélisation géométrique, et ont des avantages sur la représentation classique de trimmed-NURBS, en particulier dans la modélisation de ...
Comparing of radial and tangencial geometric for cylindric panorama
(2017-03-28)
Cameras generally have a field of view only large enough to capture a portion of their surroundings. The goal of immersion is to replace many of your senses with virtual ones, so that the virtual environment will feel as ...
Transformation by example
(2011-03-03)
La transformation de modèles consiste à transformer un modèle source en un modèle cible conformément à des méta-modèles source et cible. Nous distinguons deux types de transformations. La première est exogène où les ...
SLA violation prediction : a machine learning perspective
(2017-03-28)
Le cloud computing réduit les coûts de maintenance des services et permet aux utilisateurs d'accéder à la demande aux services sans devoir être impliqués dans des détails techniques d'implémentation. Le lien entre un ...
Matrix-based Parameterizations of Skeletal Animated Appearance
(2017-09-15)
Alors que le rendu réaliste gagne de l’ampleur dans l’industrie, les techniques à la
fois photoréalistes et basées sur la physique, complexes en terme de temps de calcul,
requièrent souvent une étape de précalcul hors-ligne. ...
AURA : a hybrid approach to identify framework evolution
(2010-04-01)
Les cadriciels et les bibliothèques sont indispensables aux systèmes logiciels d'aujourd'hui. Quand ils évoluent, il est souvent fastidieux et coûteux pour les développeurs de faire la mise à jour de leur code.
Par ...