Computational Narrative has provided several examples of how to process narrations using semantical approaches. While many useful concepts for computational management of stories have been unveiled, a common barrier has hindered their development: semantic knowledge is still too complex to handle. In this paper, a focus shift based on narrative structure is proposed. Instead of digging deeper i...

Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequences of operations to be performed by each role. Unlike previous works, we reduce this compilation process to well-known decision problems in formal protocol analysis. This allows one to define a natural notion of prudent ...

One of the main issues in the Islamic knowledge is the divine revelation made to the Prophet (s). Of particular interest in this regard is the revelation of the Qur’ān to the Prophet (s) and its manner. This is one of the disputed discussions among the exegetes and the scholars of the qur’ānic sciences. The source of this discussion is comprised of numerous narrations that are found in the narr...

The article contributes to the research into modern system of surnames Poles as a culture text which can become basis for reconstructing community self-narrations. presented perspective takes consideration following assumptions: 1. Narration naturally accompanies cognition. 2. Personal proper names (i.e. anthroponyms) have unique ontological and epistemological status in anthropocentric cogniti...

We present a study about automated discourse analysis of oral narrative language in adolescents with autistic spectrum disorder (ASD). The basis of this evaluation is an existing dataset of fictional narrations of individuals with ASD and two matched comparison groups. We use three robust measures for quantifying different aspects of text cohesion on this corpus. These measures and several comb...

Prameha (Diabetes) which has been a global problem is well described in the ancient Indian classics life the Vedas and the Ayurvedic works which ensued the Vedic period. In the present work, the authors have tried to focus the narrations on pramehas in Vedic literature with special reference to the "Kauchika Soothra" of Atharva Veda. A new hypothesis comparing the actions of pittatejas which is...

We propose a new method for the static analysis of entity authentication protocols. We develop our approach based on a dialect of the spi-calculus as the underlying formalism for expressing protocol narrations. Our analysis validates the honest protocol participants against static (hence decidable) conditions that provide formal guarantees of entity authentication. The main result is that the v...

ESOP 2004, LNCS 2986, pages 140–154, 2004. c © Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We develop our approach based on a dialect of the spi-calculus as the underlying formalism for expressing protocol narrations. Our analysis validates the honest protocol participants against static (hence decidable) conditio...

Storytelling has recently become a popular way to guide museum visitors, replacing traditional exhibit-centric descriptions by story-centric cohesive narrations with references to the exhibits and multimedia content. This work presents the fundamental elements of the CHESS project approach, the goal of which is to provide adaptive, personalized, interactive storytelling for museum visits. We sh...