Sciweavers

351 search results - page 39 / 71
» Combining Semantic Wikis and Controlled Natural Language
Sort
View
BIRTHDAY
2005
Springer
15 years 3 months ago
Compiled Labelled Deductive Systems for Access Control
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
Krysia Broda, Alessandra Russo
LFP
1990
171views more  LFP 1990»
14 years 11 months ago
Operational and Axiomatic Semantics of PCF
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
Brian T. Howard, John C. Mitchell
EACL
2006
ACL Anthology
14 years 11 months ago
Exploiting Shallow Linguistic Information for Relation Extraction from Biomedical Literature
We propose an approach for extracting relations between entities from biomedical literature based solely on shallow linguistic information. We use a combination of kernel function...
Claudio Giuliano, Alberto Lavelli, Lorenza Romano
JBI
2008
127views Bioinformatics» more  JBI 2008»
14 years 9 months ago
Infrastructure for dynamic knowledge integration - Automated biomedical ontology extension using textual resources
We present a novel ontology integration technique that explicitly takes the dynamics and data-intensiveness of e-health and biomedicine application domains into account. Changing ...
Vít Novácek, Loredana Laera, Siegfri...
FOSSACS
2001
Springer
15 years 2 months ago
On Garbage and Program Logic
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
Cristiano Calcagno, Peter W. O'Hearn