805 search results - page 117 / 161 » On the Semantics of Conditional Commitment |
122
click to vote
IJCNLP
2005
Springer
15 years 10 months ago
2005
Springer
Biomedical named entity recognition (NER) is a difficult problem in biomedical information processing due to the widespread ambiguity of terms out of context and extensive lexical ...
122
click to vote
ERCIMDL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
143
click to vote
NDSS
2003
IEEE
15 years 9 months ago
2003
IEEE
System call interposition is a powerful method for regulating and monitoring application behavior. In recent years, a wide variety of security tools have been developed that use t...
128
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
138
click to vote
ECSQARU
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...