962 search results - page 48 / 193 » Optimal Testing of Structured Knowledge |
123
click to vote
KR
1992
Springer
15 years 6 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
182
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
We address the problem of weakly supervised semantic segmentation. The training images are labeled only by the classes they contain, not by their location in the image. On test im...
125
click to vote
AIEDU
2005
15 years 1 months ago
2005
The Bayesian framework offers a number of techniques for inferring an individual's knowledge state from evidence of mastery of concepts or skills. A typical application where ...
103
click to vote
ICAIL
1995
ACM
15 years 5 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
146
click to vote
DLOG
1998
15 years 3 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...