2736 search results - page 273 / 548 » Implementable allocation rules |
193
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we present a method for semantic annotation of texts, which is based on a deep linguistic analysis (DLA) and Inductive Logic Programming (ILP). The combination of DLA...
231
click to vote
ICAI
2009
15 years 4 months ago
2009
: Previously we have proposed a theoretical framework, called BayesOWL, to model uncertainty in semantic web ontologies based on Bayesian networks. In particular, we have developed...
246
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
148
Voted
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
In an e-service environment, contracts are important for attaining business process interoperability and enforcing their proper enactment. An e-contract is the computerized facili...
183
click to vote
PST
2004
15 years 8 months ago
2004
Syntax-based vulnerability testing is a static black-box testing method for protocol implementations. It involves testing the Implementation Under Test (IUT) with a large number o...