98 search results - page 17 / 20 » Towards a Formal Framework for Computational Trust |
ASM
2003
ASM
13 years 10 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
EACL
2006
ACL Anthology
13 years 7 months ago
2006
ACL Anthology
We place synchronous tree-adjoining grammars and tree transducers in the single overarching framework of bimorphisms, continuing the unification of synchronous grammars and tree t...
ECCV
2004
Springer
14 years 7 months ago
2004
Springer
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...
SSDBM
2010
IEEE
13 years 10 months ago
2010
IEEE
The Resource Description Framework (RDF) format is being used by a large number of scientific applications to store and disseminate their datasets. The provenance information, desc...
COLCOM
2009
IEEE
13 years 10 months ago
2009
IEEE
The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs thro...