1054 search results - page 5 / 211 » A Logic Language of Granular Computing |
94
Voted
TISSEC
2010
14 years 6 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
120
Voted
POPL
1997
ACM
15 years 3 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
EMNLP
2011
13 years 11 months ago
2011
122
click to vote
ICFP
2010
ACM
15 years 21 days ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
97
Voted
TSD
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Rhetorical structuring is field approached mostly by research in natural language (pragmatic) interpretation. However, in natural language generation (NLG) the rhetorica...