Sciweavers

8810 search results - page 384 / 1762
» Open. Closed. Open
Sort
View
FUIN
2008
116views more  FUIN 2008»
15 years 6 months ago
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
Jos de Bruijn, Stijn Heymans
FGCS
2006
61views more  FGCS 2006»
15 years 6 months ago
Long-range static directional stress transfer in a cracked, nonlinear elastic crust
Seeing the Earth crust as criss-crossed by faults filled with fluid at close to lithostatic pressures, we develop a model in which its elastic modulii are different in net tension...
Guy Ouillon, Didier Sornette
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 6 months ago
Guarded Hybrid Knowledge Bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge...
Stijn Heymans, Jos de Bruijn, Livia Predoiu, Crist...
PAMI
2008
142views more  PAMI 2008»
15 years 6 months ago
Concurrent Computation of Attribute Filters on Shared Memory Parallel Machines
Morphological attribute filters have not previously been parallelized mainly because they are both global and nonseparable. We propose a parallel algorithm that achieves efficient ...
Michael H. F. Wilkinson, Hui Gao, Wim H. Hesselink...
IJISEC
2007
87views more  IJISEC 2007»
15 years 6 months ago
Breaking four mix-related schemes based on Universal Re-encryption
Universal Re-encryption allows El-Gamal ciphertexts to be re-encrypted without knowledge of their corresponding public keys. This has made it an enticing building block for anonymo...
George Danezis