1943 search results - page 58 / 389 » Ordering Default Theories |
141
click to vote
PTS
2010
14 years 9 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
120
click to vote
DLOG
2009
14 years 9 months ago
2009
Abstract This paper analyzes the probabilistic description logic PSHIQ by looking at it as a fragment of probabilistic first-order logic with semantics based on possible worlds. We...
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
We present a method to measure the amount of structural distortion carried by an alignment between two taxonomic cores of ontologies represented as semantic hierarchies. We present...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
In this paper, an intersection theory for generic differential polynomials is presented. The intersection of an irreducible differential variety of dimension d and order h with a g...
ECAI
1998
Springer
15 years 4 months ago
1998
Springer
An experiment was conducted in order to evaluate what normative framework is pertinent for dealing with confidence judgements in human experts. 24 films were shown to 4 experimente...