FOCALISATION TEMPORELLE

Focalisation and Classical Realisability

We develop a polarised variant of Curien and Herbelin’s λ̄μμ̃ calculus suitable for sequent calculi that admit a focalising cut elimination (i.e. whose proofs are focalised when cut-free), such as Girard’s classical logic LC or linear logic. This gives a setting in which Krivine’s classical realisability extends naturally (in particular to callby-value), with a presentation in terms of orthogonal...

Les ressources et la planification temporelle

RÉSUMÉ : Dans les planificateurs temporels optimaux modernes, nombreux sont ceux qui ne gèrent pas les ressources, pour les autres, les résultats obtenus sont très limités pour les problèmes avec ressources ainsi que pour les problèmes sans ressources. Pour cette raison, on s’est intéressé dans cet article à effectuer des modifications dans un planificateur temporel optimal performant CPT, qui ...

Datation d'images pour la recherche temporelle d'information

This paper presents a new area in the domain of Temporal Information Retrieval, which has received much attention for the last few years. Temporality can be viewed as a way of diversifying Web search results in response to any given user’s query. In this paper, we describe a study about image timestamping for temporal web image retrieval. This process imposes a large amount of theoretical and t...

Project-team Vista Vision Spatio-temporelle Et Apprentissage Rennes

Adaptation dans les systèmes d'information spatio-temporelle interactifs

RÉSUMÉ. Cet article présente GenGHIS, un atelier logiciel pour la conception et la réalisation de systèmes d’information spatio-temporelle dédiés au suivi historique des risques naturels (ou SIRN). GenGHIS est un SIRN générique et modulaire. Il permet aux concepteurs de réaliser des applications pour l’analyse et la diffusion d’informations relatives aux risques naturels en spécifiant les modèl...