3710 search results - page 387 / 742 » A new calculus of contexts |
169
click to vote
FOIS
2001
15 years 8 months ago
2001
-- Representation theorems for systems of regions have been of interest for some time, and various contexts have been used for this purpose: Mormann [17] has demonstrated the fruit...
166
click to vote
DBSEC
2003
15 years 8 months ago
2003
The SDSD-system offers state-dependent access control in distributed object systems. The system enforces protocols which declare sets of activity sequences as allowed, thereby for...
195
click to vote
DLT
2003
15 years 8 months ago
2003
Past proposals for applying to pictures or 2D languages the generative grammar approach do not match in our opinion the elegance and descriptive adequacy that made Context Free gr...
171
click to vote
LANMR
2004
15 years 8 months ago
2004
This paper explores the role of some basic notions in the study of non-monotonic reasoning, such as validity, logical consequence, context, rules and assumptions.1 It offers some ...
187
click to vote
IJCAI
2001
15 years 8 months ago
2001
We propose a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key dimensions: the succinctness of the target compil...