Sciweavers

Share
RR
2010
Springer
8 years 8 months ago
Query-Based Access Control for Ontologies
Role-based access control is a standard mechanism in information systems. Based on the role a user has, certain information is kept from the user even if requested. For ontologies ...
Martin Knechtel, Heiner Stuckenschmidt
MLQ
2000
72views more  MLQ 2000»
8 years 10 months ago
Paracompactness of Metric Spaces and the Axiom of Multiple Choice
The axiom of multiple choice implies that metric spaces are paracompact but the reverse implication cannot be proved in set theory without the axiom of choice.
Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin,...
JSYML
2006
97views more  JSYML 2006»
8 years 10 months ago
The proper forcing axiom and the singular cardinal hypothesis
We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof uses the reflection principle MRP introduced by Moore in [11].
Matteo Viale
KR
2004
Springer
9 years 3 months ago
Distance Semantics for Relevance-Sensitive Belief Revision
Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider addition...
Pavlos Peppas, Samir Chopra, Norman Y. Foo
ICCS
2007
Springer
9 years 4 months ago
On the Virtues of Generic Programming for Symbolic Computation
The purpose of this study is to measure the impact of C level code polynomial arithmetic on the performances of AXIOM highlevel algorithms, such as polynomial factorization. More p...
Xin Li, Marc Moreno Maza, Éric Schost
books