3468 search results - page 366 / 694 » An open logical framework |
153
click to vote
SWAP
2007
15 years 5 months ago
2007
Abstract. A nearest neighbor search procedure is presented, for retrieving resources in knowledge bases expressed in OWL. The procedure exploits a semidistance for annotated resour...
206
click to vote
IFIPTM
2010
15 years 3 months ago
2010
Enforcing complex policies that span organizational domains is an open challenge. Current work on SOA policy enforcement splits security in logical components that can be distribut...
220
click to vote
ICAI
2010
15 years 2 months ago
2010
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...
174
click to vote
IEEEHPCS
2010
15 years 2 months ago
2010
The performance (in term of error rate) of biometric systems can be improved by combining them. Multiple fusion techniques can be applied from classical logical operations to more...
146
click to vote
RP
2010
Springer
15 years 2 months ago
2010
Springer
We adapt hypergraph rewriting system to a generalization of Vector Addition Systems with States (VASS) that we call vector addition systems with pairs (VASP). We give rewriting sys...