98 search results - page 13 / 20 » Towards a Formal Framework for Computational Trust |
IFL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
ENTCS
2008
13 years 7 months ago
2008
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...
IANDC
2007
13 years 7 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
AGI
2011
12 years 11 months ago
2011
Under Legg’s and Hutter’s formal measure [1], performance in easy environments counts more toward an agent’s intelligence than does performance in difficult environments. An ...
BMVC
2010
13 years 2 months ago
2010
Specular flow is an important class of optical flow whose utility in visual tasks has gained much interest in contemporary vision research. Unfortunately, however, reliably estima...