2043 search results - page 108 / 409 » Reasoning About Security Models |
131
click to vote
KR
1998
Springer
15 years 4 months ago
1998
Springer
This paper presents a formal theory for reasoning about motion of spatial entities, in a qualitative framework. Taking over a theory intended forspatial entities, we enrich ittoac...
83
Voted
FLAIRS
2003
15 years 2 months ago
2003
It has been discovered about a decade ago that autistic people cannot properly understand and reproduce mental states and emotions. In this study we suggest a particular emotion r...
102
Voted
ICML
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper, we consider online prediction from expert advice in a situation where each expert observes its own loss at each time while the loss cannot be disclosed to others fo...
122
Voted
EUROCRYPT
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...