The objective of this paper is to review object-oriented (OO) approaches to data modeling and data handling and their usefulness in transportation planning and modeling in general and Intelligent Transportation Systems in particular. The paper begins with a discussion of the current GIS data model for representing a transportation network and the most common database management systems used in ...

This paper presents the Coalgebraic Class Speci cation Language ccsl that is developed within the loop project on formal methods for object-oriented languages. ccsl allows the (coalgebraic) speci cation of behavioral types and classes of object-oriented languages. It uses higher-order logic with universal modal operators to restrict the behavior of objects. A front-end to the theorem provers pv...

The meaning of an idiomatic expression cannot be transparently worked out from the meanings of its constituent words due to its figurative and unpredictable nature. Consequently, the syntactic composition and the structural paradigm of an idiomatic expression are supposed to be the same in every context. However, this is not the case in the institutionalized second language varieties of English...

The objective of this paper is to review object-oriented (OO) approaches to data modeling and data handling and their usefulness in transportation planning and modeling in general and Intelligent Transportation Systems in particular. The paper begins with a discussion of the current GIS data model for representing a transportation network and the most common database management systems used in ...

In this study, the authors combined the cross-modal dynamic capture task (involving the horizontal apparent movement of visual and auditory stimuli) with spatial cuing in the vertical dimension to investigate the role of spatial attention in cross-modal interactions during motion perception. Spatial attention was manipulated endogenously, either by means of a blocked design or by predictive per...

Many applications of Natural Language Generation employ object-oriented knowledge representation formalisms such as loom. Each entity in the domain is represented by an object belonging to a speciied class and possessing attributes suitable for that class. From a logical viewpoint, domain entities correspond to existentially quantiied variables, but since loom and kindred formalisms provide no ...

In this paper, a proposal of a multi-modal dialogue system oriented to multilingual questionanswering is presented. This system includes the following ways of access: voice, text, avatar, gestures and signs language. The proposal is oriented to the question-answering task as a user interaction mechanism. The proposal here presented is in the first stages of its development phase and the archite...

Reducing the modal share of car travel in commuting implies challenging meanings everyday mobility that tie to driving. Existing research has focussed on describing ways which is meaningful. However, why shifts occur remains largely unexplored. This article asks how become ascribed and identifies dynamics play a role those meanings. We analysed interviews with short distance commuters two Swiss...

Sufficiently strong axiomatic theories allow for the construction of self-referential sentences, i.e. sentences saying something about themselves. After the Gödel’s paper on incompleteness (Gödel, 1931) the self-reference method found further applications—some are listed below—and became even more important. Around say 1970 it appeared that the self-reference method was not only a useful tool, ...

Previous research in content planning for generation has tended to assume that content planning can be performed: by one monolithic planning process using intentional and rhetorical structures only by performing top-down planning to produce complete plans and then executing them These are signiicant simplifying assumptions that may work for text and monologic discourse, but fail to account for ...