La création d'un lexique interlangues, contraintes et libertés
نویسندگان
چکیده
منابع مشابه
Inférer et compiler la terminaison des programmes logiques avec contraintes
Ce papier présente une méthode automatisée qui traite en deux étapes la terminaison de programmes logiques contraints. Dans un premier temps, et en utilisant des techniques d’approximations de programmes et de mu-calcul sur les booléens, la méthode infère un ensemble de classes de requêtes sûres. Par “sûres”, nous entendons que pour chacune de ces classes il existe un ordre statique des littéra...
متن کاملContribution à la vérication formelle et programmation par contraintes
ion des prédicats Le model checking symbolique utilise une représenta-tion efficace des formules booléennes. Une façon orthogonale pour accrôıtre l’effi-cacité est de simplifier le modèle en cours de vérification en prenant une abstraction.Ce principe a été utilisé en vérification de matériel (propriétés en logique temporellede programmes assembleur) [16] puis de logiciel [14]. ...
متن کاملIntégration interactive de contraintes pour la réduction de dimensions et la visualisation
Résumé. Il existe aujourd’hui de nombreuses méthodes de réduction de dimensions, que ce soit dans un cadre supervisé ou non supervisé. L’un des intérêts de ces méthodes est de pouvoir visualiser les données, avec pour objectif que les objets qui apparaissent "visuellement" proches soient similaires, dans un sens qui correspond aux connaissances d’un expert du domaine ou qui soit conforme aux in...
متن کاملProgrammation logique et contraintes
succès rencontrés très rapidement en résolution deprobì emes combinatoires, y compris dans desprobì emes clas-siques de recherche opérationnelle comme en ordonnancement par exemple, ont induit une forte vitalité industrielle et académique dans ce domaine. Les enjeux sont aujourd'hui d'aller vers une plus grande automatisation, qui n'at-teint pas encore celle des outils de programmation linéaire...
متن کاملLes contraintes table fragmentées : Combiner la compression et la réduction tabulaire
Many industrial applications require the use of table constraints (e.g., in configuration problems), sometimes of significant size. During the recent years, researchers have focused on reducing space and time complexities of this type of constraint. Static and dynamic reduction based approaches have been proposed giving new compact representations of table constraints and effective filtering al...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ASp
سال: 1993
ISSN: 1246-8185,2108-6354
DOI: 10.4000/asp.4337