635 search results - page 97 / 127 » Towards the formalization of interaction semantics |
103
click to vote
AISC
2008
Springer
15 years 1 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
ATAL
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The collaboration between two intelligent agents can be greatly enhanced if a third agent, who has some understanding of the communication between the first two, interve...
101
click to vote
SCIENTOMETRICS
2010
14 years 6 months ago
2010
This paper quantitatively explores the social and socio-semantic patterns of constitution of academic collaboration teams. To this end, we broadly underline two critical features ...
106
Voted
WWW
2006
ACM
16 years 13 days ago
2006
ACM
Currently, there is an increasing effort to provide various personalized services on museum web sites. This paper presents an approach for determining user interests in a museum c...
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...