635 search results - page 18 / 127 » Towards the formalization of interaction semantics |
GCC
2003
Springer
15 years 2 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
110
click to vote
AMR
2006
Springer
15 years 1 months ago
2006
Springer
Most of the currently existing image retrieval systems make use of either low-level features or semantic (textual) annotations. A combined usage during annotation and retrieval is ...
87
Voted
SAC
2009
ACM
15 years 2 months ago
2009
ACM
The ever increasing adoption of software technologies has bring closer technology to users with disabilities and users that interact with devices other than a PC. This diversific...
80
Voted
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...
ECMDAFA
2008
Springer
14 years 11 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...