1054 search results - page 5 / 211 » A Logic Language of Granular Computing |
111
click to vote
TISSEC
2010
14 years 7 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'...
134
click to vote
POPL
1997
ACM
15 years 4 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
14 years 27 days ago
2011
139
click to vote
ICFP
2010
ACM
15 years 2 months 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...
112
click to vote
TSD
2007
Springer
15 years 7 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...