315 search results - page 30 / 63 » Using Logic in the Generation of Referring Expressions |
115
click to vote
TISSEC
2010
14 years 8 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'...
158
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: The Cell Ontology (CL) is an ontology for the representation of in vivo cell types. As biological ontologies such as the CL grow in complexity, they become increasingl...
109
click to vote
RE
2001
Springer
15 years 6 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
137
click to vote
AIPS
2008
15 years 4 months ago
2008
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
109
click to vote
CRYPTO
2004
Springer
15 years 7 months ago
2004
Springer
We study both distinguishing and key-recovery attacks against E0, the keystream generator used in Bluetooth by means of correlation. First, a powerful computation method of correla...