We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...
A smart interactive video object generation (SIVOG) system is proposed in this work. SIVOG provides a semantic layer to interact with the user. It interprets user’s input and ch...
Bioinformaticians are accustomed to going through analysis steps, in which they employ several data sources, like protein sequence and protein interaction databases, to carry out t...
Farzad Kohantorabi, Gregory Butler, Christopher J....
Individuals are interested in the semantic and not necessarily in the presentation of services. The service interaction has to support the quality of the human senses, and since q...