"... In PAGE 6: ... However, the main objective of the AVS model is to give the user the opportunity to invoke any kind of operations V-STORM can performed on a video. In the AVS model, the various features of a multimedia presentation are modeled using classes and associations (see Table1... In PAGE 17: ... According to template definition, the generation of the spatial aspects: we translate the relative coordinates of the templates into absolute co-ordinates in the Region attributes top, height and width (cf. Table1 ). The synchronization constraints that manage a given number of elements used in templates are translated in their absolute beginning time of presentation and duration (attributes begin and dur of the instances of the class CommonAttribute as described in Table 1).... In PAGE 17: ... Table 1). The synchronization constraints that manage a given number of elements used in templates are translated in their absolute beginning time of presentation and duration (attributes begin and dur of the instances of the class CommonAttribute as described in Table1 ). The constraint solver of AROM is then able to detect and to fix spatial of temporal inconsistencies.... ..."

"... In PAGE 8: ... In particular we define an abstract function for each syntactic category, thus we define AB D6 BM D9 AX D9 CL , AB CS BM CS AX CS CL , and so on. The definition of AB functions is given in Table6 where, for the sake of readability, the argument of each function is an element of the concrete syntactic categories rather than a set. The abstraction of a set of concrete elements is defined, as usual, as the least upper bound of the abstractions of the single elements of the set.... ..."

"... In PAGE 6: ... 4.1 Syntax The abstract syntax is given in Table1 . The metavariable T ranges over types; K and E range over contexts; L ranges over class def- initions; M ranges over method definitions; e ranges over expres- sions; C, f, and m range over class names, field names and method names respectively; X ranges over formal context parameters; and x ranges over variable names with this as a special variable name to reference the target object for the current call.... ..."

"... In PAGE 28: ... But sometimes they raise abstraction by creating a broader, more general and less detailed conceptualization of a rule or routine that disassociates it from particular instances (Webster, 1988 definition of abstraction). The overall effect is to introduce varied generality into learned structure, and so increase the robustness and nuance of the resulting organizational capability (see Table4 for examples of varying abstraction). In contrast, when leaders relied on external attribution for surprises, updating took the form of not varying levels of abstraction in rules and routines.... ..."

"... In PAGE 2: ...imilar to IDL, but is weaker. IDL is a true object definition language whereas ASN.1 is simply a data description language with no concept of operation or behavior. Section 2: Major InterStage Abstractions and Classes Table1 shows the key InterStage abstractions along with the classes that implement those abstractions. Table 1: Key Abstractions and Classes... ..."

"... In PAGE 9: ... Notice that terms of the form {|C|}k occurring in input actually specify decryptions: since the abstraction works on encryptions, we subtitute each decryption key with the corresponding encryption one. The full definition is given in Table17 of Appendix C.... In PAGE 21: ... Here and throughout this paper, G# and R# range over ground abstract messages. C Abstraction of Run-Time Terms, Traces and Processes The abstraction of run-time terms, reported in Table17 , is very similar to the one of syntactic terms presented in Table 5. The main difference is that ciphertexts may occur at run-time as result of variable instantiation.... ..."

"... In PAGE 4: ...rom the interface to the reasoning level, e.g., when posing a query to a temporal reasoning system, one simply has to ex- pand the definition of the abstracting relation. Table1 shows some examples of such macro definitions. Switching back, i.... In PAGE 5: ... Second, additional constraints are needed to control proper instantiation of an abstracting relation. For instance, the defi- nition A in Table1 should be supplemented by the restriction that BTCQ and BTCT really form an interval. Though, in princi- ple, all pairs of time points may determine an interval that one could talk about, in practice, this generality should be avoided.... In PAGE 5: ... Composing (in the way defined by Staab [1998b]) the relation given in (3g) with the one from (3h) and projecting the result onto CADE yields: (10) B4B4D8BCBN CJBFBN BFCLBN D8BDB5 CM B4D8BDBN B4BEBN BIB5BN D8BFB5B5 CN B4B4D8BCBN CJBIBN BICLBN D8BDB5 CM B4D8BDBN B4BCBN BGB5BN D8BFB5B5 Generalizing this relation, obviously, only the abstracting relations D, E and F may apply (cf. Table1 ), since the other ones require intervals instead of time points (e.g.... ..."

"... In PAGE 4: ...rom the interface to the reasoning level, e.g., when posing a query to a temporal reasoning system, one simply has to ex- pand the definition of the abstracting relation. Table1 shows some examples of such macro definitions. Switching back, i.... In PAGE 5: ... Second, additional constraints are needed to control proper instantiation of an abstracting relation. For instance, the defi- nition A in Table1 should be supplemented by the restriction that BT CQ and BT CT really form an interval. Though, in princi- ple, all pairs of time points may determine an interval that one could talk about, in practice, this generality should be avoided.... In PAGE 5: ... Composing (in the way defined by Staab [1998b]) the relation given in (3g) with the one from (3h) and projecting the result onto CA DE yields: (10) B4B4D8 BC BN CJBFBN BFCLBND8 BD B5CMB4D8 BD BNB4BEBN BIB5BND8 BF B5B5 CN B4B4D8 BC BN CJBIBN BICLBND8 BD B5CMB4D8 BD BNB4BCBN BGB5BND8 BF B5B5 Generalizing this relation, obviously, only the abstracting relations D, E and F may apply (cf. Table1 ), since the other ones require intervals instead of time points (e.g.... ..."