Sign languages are the main visual communication medium between hard-hearing people and their societies. Similar to spoken languages, they not universal vary from region region, but relatively under-resourced. Arabic sign language (ArSL) is one of these that has attracted increasing attention in research community. However, most existing available works on recognition systems focus manual gestu...

How are word recognition circuits organized in the left temporal lobe? We used functional magnetic resonance imaging to dissect cortical word-processing circuits using three diagnostic criteria: the capacity of an area (1) to respond to words in a single modality (visual or auditory) or in both modalities; (2) to modulate its response in a top-down manner as a function of the graphemic or phone...

It is well known that MTL with integer endpoints is unable to express all of monadic first-order logic of order and metric (FO(<,+1)). Indeed, MTL is unable to express the counting modalities Cn that assert a properties holds n times in the next time interval. We show that MTL with the counting modalities, MTL+C, is expressively complete for FO(<,+1). This result strongly supports the assertion...

Recently, complexity issues related to the decidability of the μ-calculus, when the universal and existential quantifiers are augmented with graded modalities, have been investigated by Kupfermann, Sattler and Vardi ([19]). Graded modalities refer to the use of the universal and existential quantifiers with the added capability to express the concept of at least k or all but k, for a non-negati...

In order to understand the general principles along which sensory processing is organized, several recent studies optimized particular coding objectives on natural inputs for different modalities. The homogeneity of neocortex indicates that a sensitive objective should be able to explain response properties of different sensory modalities. The temporal stability objective was successfully appli...

Our somatosensory system deals with not only spatial but also temporal imprecision, resulting in characteristic spatiotemporal illusions. Repeated rapid stimulation at the wrist, then near the elbow, can create the illusion of touch at intervening locations along the arm (as if a rabbit is hopping along the arm). This is known as the "cutaneous rabbit effect" (CRE). Previous studies have sugges...

Alternating-time temporal logic (ATL) is a branching time temporal logic in which statements about what coalitions of agents can achieve by strategic cooperation can be expressed. Alternating-time temporal epistemic logic (ATEL) extends ATL by adding knowledge modalities, with the usual possible worlds interpretation. This paper investigates how properties of agents’ actions can be expressed in...

How are word recognition circuits organized in the left temporal lobe? We used functional magnetic resonance imaging to dissect cortical word-processing circuits using three diagnostic criteria: the capacity of an area (1) to respond to words in a single modality (visual or auditory) or in both modalities; (2) to modulate its response in a top-down manner as a function of the graphemic or phone...

HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temporal or spatial ones. Both frameworks have linear logic (LL) as a common ground and they admit (cut-free) complete focused proof systems. The difference between the two logics relies on the way modalities are handled....

Most previoua approaches to tempoml modelling and querying have eztended the relational model with special constructs. In this paper, we start, instead, with an objectoriented data model and query language, OODAPLEX, that we had defined earlier for non-tempoml applications. We show that our approach not only provides a richer model than the relational for capturing the semantics of complex temp...