Multilittératies et écriture avec des apprenants FLE

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...

Raisonner avec des diagrammes : perspectives cognitives et computationnelles

Reasoning with diagrams: cognitive and computational perspectives. Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical representations, in which the shape of the symbols is arbitrary. The aim of this paper is to make a case for the usefulness of diagrams in inferential knowledge representation systems. Although commonly used, diagrams have for a lo...

Traitement approximatif des requêtes flexibles avec groupement d'attributs et jointure

Les requêtes approximatives (RA) représentent une solution pertinente qui permet d’améliorer le temps de réponse aux dépens de l’exactitude. Celles-ci sont adaptées aux requêtes avec agrégats pour lesquelles la précision au dernier décimal n’est pas exigée. La contribution de ce travail est le calcul en ligne de l’agrégation pour les requêtes flexibles avec groupement d’attributs et jointure en...

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq

Interaction et Visualisation avec des liens de dépendances

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...