134 search results - page 19 / 27 » A Linear Logic of Authorization and Knowledge |
116
click to vote
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
126
click to vote
MICCAI
2003
Springer
16 years 2 months ago
2003
Springer
Abstract. In this paper we propose a novel non-Gaussian MRF for regularization of tensor fields for fiber tract enhancement. Two entities are considered in the model, namely, the l...
117
click to vote
CRIWG
2007
15 years 3 months ago
2007
Abstract. This paper presents Relations Graph – GR a methodology to automate the generation of coordination mechanisms in computational environments. GR explores encapsulation an...
109
click to vote
ICAIL
2007
ACM
15 years 5 months ago
2007
ACM
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
127
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...