Bibliography on Time representation/Représentation temporelle (2017-06-06)

Un document multimédia marie les technologies de l'écrit, de l'image et du son. Actuellement, les documents multimédia doivent pouvoir être exécutés sur de nombreuses plates-formes (téléphones portables, PDA, ordinateurs de bureau, lecteurs de salon...). Cette diversification des utilisations et des supports nécessite l'adaptation des documents à leur contexte d'exécution, parfois imprévisible au moment de la conception du document. Pour s'affranchir des langages ou formats de description multimédia, nous abstrayons les documents en une structure exprimant l'ensemble des relations entre objets du document. Les relations entre objets sont d'ordre temporel, spatial, hypermédia voire inter-dimensionnel, et peuvent être de nature qualitative. Cette structure capture la sémantique des documents car elle est capable de couvrir chacune de ses exécutions potentielles. Dans ce contexte, adapter va consister à calculer un ensemble d'exécutions le plus proche possible de ces exécutions potentielles qui satisfont les contraintes d'adaptation imposées par une plate-forme cible. À cet effet, les relations de la structure abstraite sont modifiées de sorte de satisfaire ces contraintes d'adaptation. Nous montrons, pour chaque dimension du document, comment réaliser ceci de manière réaliste. Afin de montrer l'applicabilité d'une telle approche, nous la développons dans un cadre adapté au standard SMIL pour lequel nous déclinons les adaptations spatiales, temporelles, spatio-temporelles et hypermédia. Nous sommes amenés à développer des techniques spécifiques pour les représentations spatiales et temporelles efficaces. Nous explorons aussi des approches impliquant la suppression d'objets.

Checking satisfiability of temporal constraint networks involves infinite variables domains. We explore a solution based upon finite partitions of infinite domains. Though a straightforward partition results in a sound and complete backtrack, its extension to forward checking is not complete. Using bi-intervals, we obtain sound and complete backtrack and forward checking algorithms. Moreover, we show that bi-intervals used in a hybrid algorithm which also instantiates constraints improve backtrack efficiency.

La multiplication des supports de présentation multimédia entraîne un besoin d'adaptation des documents à leur contexte d'exécution. Nous avons proposé une approche sémantique d'adaptation de documents multimédia qui a été temporellement définie à l'aide de l'algèbre d'intervalles d'Allen. Cet article étend ces précédents travaux à la dimension spatiale des documents SMIL. Notre objectif est de trouver une représentation spatiale qualitative permettant de calculer un ensemble de solutions d'adaptation proche du document initial. La qualité d'une adaptation se mesure à deux niveaux: expressivité des solutions d'adaptation et rapidité de calcul. Dans ce contexte, nous caractérisons la qualité de l'adaptation selon plusieurs types de représentations spatiales existantes. Nous montrons que ces représentations ne permettent pas d'avoir une qualité d'adaptation optimale. Nous proposons alors une nouvelle représentation spatiale suffisament expressive permettant d'adapter rapidement des documents multimédia SMIL.

The multiplication of execution contexts for multimedia documents requires the adaptation of the document specification to the particularities of the contexts. In this paper, we propose to apply a semantic approach for multimedia document adaptation to the spatio-temporal dimension of documents. To guarantee that the adapted document is close to the initial one respecting adaptation constraints, we define proximities for adapting static documents (i.e., documents without animations) and animated documents. Moreover, we show that these proximities can be refined according to multimedia object properties (e.g., images, videos...). The approach is illustrated by an example.

A temporal situation can be described at different levels of abstraction depending on the accuracy required or the available knowledge. Time granularity can be defined as the resolution power of the temporal qualification of a statement. Providing a formalism with the concept of time granularity makes it possible to model time information with respect to differently grained temporal domains. This does not merely mean that one can use different time units - e.g., months and days - to represent time quantities in a unique flat temporal model, but it involves more difficult semantic issues related to the problem of assigning a proper meaning to the association of statements with the different temporal domains of a layered temporal model and of switching from one domain to a coarser/finer one. Such an ability of providing and relating temporal representations at different "grain levels" of the same reality is both an interesting research theme and a major requirement for many applications (e.g. agent communication or integration of layered specifications). After a presentation of the general properties required by a multi-granular temporal formalism, we discuss the various issues and approaches to time granularity proposed in the literature. We focus on the main existing formalisms for representing and reasoning about quantitative and qualitative time granularity: the general set-theoretic framework for time granularity developed by Bettini et al and Montanari's metric and layered temporal logic for quantitative time granularity, and Euzenat's relational algebra granularity conversion operators for qualitative time granularity. The relationships between these systems and others are then explored. At the end, we briefly describe some applications exploiting time granularity, and we discuss related work on time granularity in the areas of formal specifications of real-time systems, temporal databases, and data mining.

Les récentes avancées technologiques permettent aux documents multimédia d'être présentés sur de nombreuses plates-formes (ordinateurs de bureau, PDA, téléphones portables...). Cette diversification des supports a entraîné un besoin d'adaptation des documents à leur contexte d'exécution. Dans [Euzenat2003b], une approche sémantique d'adaptation de documents multimédia a été proposée et temporellement définie à l'aide de l'algèbre d'intervalles d'Allen. Cet article étend ces précédents travaux en les appliquant au langage de spécification de documents multimédia SMIL. Pour cela, des fonctions de traduction de SMIL vers l'algèbre de Allen (et inversement) ont été définies. Celles-ci préservent la proximité entre le document adapté et le document initial. Enfin, ces fonctions ont été articulées avec [Euzenat2003b].

L'essor du multimédia permet le développement de nombreuses applications mariant les technologies de l'écrit, de l'image et du son. D'autre part, les récentes avancées technologiques permettent aux documents multimédia d'être présent sur de nombreuses plates-formes (téléphones portables, PDA, ordinateurs de bureau...). Cette diversification des utilisations et des supports a entraîné un besoin d'adaptation des documents à leur contexte d'exécution. Pour assurer la proximité entre un document adapté et son document source, une approche sémantique a été développée à partir de spécifications qualitatives des documents multimédia. Notre travail consiste à étendre cette approche à un langage exécutable de documents : SMIL. Un document SMIL ne pouvant être directement adapté avec l'approche proposée, nous introduisons diverses transformations des spécifications de documents en SMIL vers des descriptions qualitatives dont nous montrons quÕelles assurent la propriété de neutralité. De plus, l'approche sémantique ayant été initialement appliquée uniquement à la dimension temporelle, nous l'appliquons par la suite à la dimension spatio-temporelle des documents SMIL. Enfin, nous raffinons les mesures de proximité à l'aide de graphes de voisinage adaptés au type d'objets multimédia manipulés ainsi qu'au type de langage de spécification utilisé.

With the proliferation of heterogeneous devices (desktop computers, personal digital assistants, phones), multimedia documents must be played under various constraints (small screens, low bandwidth). Taking these constraints into account with current document models is impossible. Hence, generic source documents must be transformed into documents compatible with the target contexts. Currently, the design of transformations is left to programmers. We propose here a semantic framework, which accounts for multimedia document adaptation in very general terms. A model of a multimedia document is a potential execution of this document and a context defines a particular class of models. The adaptation should then retain the source document models that belong to the class defined by the context if such models exist. Otherwise, the adaptation should produce a document whose models belong to this class and are ``close'' to those of the source documents. We focus on the temporal dimension of multimedia documents and show how adaptation can take advantage of temporal reasoning techniques. Several metrics are given for assessing the proximity of models.

Temporal and spatial phenomena can be seen at a more or less precise granularity, depending on the kind of perceivable details. As a consequence, the relationship between two objects may differ depending on the granularity considered. When merging representations of different granularity, this may raise problems. This paper presents general rules of granularity conversion in relation algebras. Granularity is considered independently of the specific relation algebra, by investigating operators for converting a representation from one granularity to another and presenting six constraints that they must satisfy. The constraints are shown to be independent and consistent and general results about the existence of such operators are provided. The constraints are used to generate the unique pairs of operators for converting qualitative temporal relationships (upward and downward) from one granularity to another. Then two fundamental constructors (product and weakening) are presented: they permit the generation of new qualitative systems (e.g. space algebra) from existing ones. They are shown to preserve most of the properties of granularity conversion operators.