-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
In this paper a model for temporal references in natural language (NL) is studied and a Prolog implementation of it is presented. This model is intended to be a common framework f...
In this paper previous work on the detection of high-level concepts within multimedia documents is extended by introducing a mid-level ontology as a means of exploiting the visual ...
Evaggelos Spyrou, Phivos Mylonas, Yannis S. Avrith...
We analyze the concept of focus in speech and the relationship between focus and speech acts for prosodic generation. We determine how the speaker's utterances are influenced...
We extend the main idea of a fuzzy analysis of consensusintroduced by Spillman, Spillman and Bezdek [12]- that is based on a concept of a distance from consensus - to a case when ...