This paper deals with an approach of prosody evaluation and modelisation, tested together a prosodic model and a prosodic generator, to produce a compared diagnostic of their linguistic competencies. Three evaluation experiments are succinctly described. The first one consists in an online measurement by listeners of the prosodic quality; the second one uses tuned stimuli to test the difference...

IEEE 802.11p is the new standard for intervehicular communications (IVC) using the 5.9 GHz frequency band; it is planned to be widely deployed to enable cooperative systems. 802.11p uses and performance have been studied theoretically and in simulations over the past years. Unfortunately, many of these results have not been confirmed by on-tracks experimentation. In this paper, we describe fiel...

In the latest issue of this journal, Lefevre et al.’s paper [1] raises the important question of how to combine belief functions from different sources and how to manage conflicts. They propose a parametrized combination rule that includes several existing combination rules as special cases. Their method is based on so-called weighting factors that determine how conflicting masses are to be dis...

This paper describes a timed process algebra called TPAP. The aim of this algebra is to allow the modelisation of real time embedded processes sharing common resources, and which are sensitive to communication delays and scheduling strategies. Timed broadcasting and process preemption by interruption events are the two main fundamental notions of the algebra. They allow description of scheduler...

The n-universes are a methodological tool the scope of which proves to be general and which find to apply in the thought experiments underlying philosophical problems. The n-universes have been introduced in Franceschi (2001) in the context of the study of Goodman's paradox and described in more detail in Franceschi (2002), in the context of their application to the paradoxes related to the Doo...

Recently logics for strategic ability have gained pre-eminence in the modelisation and analysis of game-theoretic scenarios. In this paper we provide a contribution to the comparison of two popular frameworks: Concurrent Game Structures (CGS) and Coalition Logic of Propositional Control (CLPC). Specifically, we ground the abstract abilities of agents in CGS on Propositional Control, thus obtain...

Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a parallel code from a sequential program, these techniques permitted to any program being executed on any kind of ditributed parallel system. This article presents an analysis and a modelisation of an innovative technique — CAP...