151 search results - page 5 / 31 » A computational framework for institutional agency |
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
The computer aided diagnosis (CAD) problems of detecting
potentially diseased structures from medical images are
typically distinguished by the following challenging characterist...
PODS
2009
ACM
14 years 8 months ago
2009
ACM
d Abstract) Andrea Cal`i2,1 , Georg Gottlob1,2 , and Thomas Lukasiewicz1, 1 Computing Laboratory, University of Oxford, UK firstname.lastname@comlab.ox.ac.uk 2 Oxford-Man Institute...
WMTE
2006
IEEE
14 years 1 months ago
2006
IEEE
The diversity of mobile devices and their limitations have raised many challenges for the actual deployment of mobile learning across institutions. The main objective of this work...
EUROPKI
2009
Springer
13 years 5 months ago
2009
Springer
The trustworthiness of any Public Key Infrastructure (PKI) rests upon the expectations for trust, and the degree to which those expectations are met. Policies, whether implicit as ...