Sciweavers

1490 search results - page 36 / 298
» Interactive semantics
Sort
View
ICALP
2004
Springer
14 years 2 months ago
A Categorical Model for the Geometry of Interaction
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. ...
Esfandiar Haghverdi, Philip J. Scott
ATAL
2007
Springer
14 years 3 months ago
Dynamic semantics for agent communication languages
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...
Michael Rovatsos
MM
1999
ACM
120views Multimedia» more  MM 1999»
14 years 1 months ago
SIVOG: smart interactive video object generation system
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...
Ju Guo, Jongwon Kim, C. C. Jay Kuo
CSWWS
2006
14 years 14 days ago
A Distributed Agent System upon Semantic Web Technologies to Provide Biological Data
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....
IC
2004
13 years 10 months ago
A Markup Language for Generic User Interaction
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...
Stephan Steglich, Bernd Mrohs