2043 search results - page 323 / 409 » Reasoning About Security Models |
118
Voted
IGPL
2010
14 years 11 months ago
2010
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
127
click to vote
JLP
2008
14 years 11 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
120
Voted
SCP
2010
14 years 11 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
105
Voted
EMNLP
2010
14 years 10 months ago
2010
We define a probabilistic morphological analyzer using a data-driven approach for Syriac in order to facilitate the creation of an annotated corpus. Syriac is an under-resourced S...
124
click to vote
ICTAI
2007
IEEE
15 years 7 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...