3527 search results - page 263 / 706 » Test Automation in Practice |
170
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
By Courcelle's Theorem we know that any property of finite structures definable in monadic second-order logic (MSO) becomes tractable over structures with bounded treewidth. T...
160
click to vote
DLOG
2009
15 years 3 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...
186
click to vote
DLOG
2009
15 years 3 months ago
2009
Abstract. I will begin by explaining an optimal tableau-based algorithm for checking ALC-satisfiability which uses "global caching" and which appears to work well in prac...
170
click to vote
ECSQARU
2009
Springer
15 years 3 months ago
2009
Springer
For a presented case, a Bayesian network classifier in essence computes a posterior probability distribution over its class variable. Based upon this distribution, the classifier&#...
178
click to vote
DLOG
2011
14 years 9 months ago
2011
We study a restriction of the classification procedure for EL++ where the inference rule for complex role inclusion axioms (RIAs) is applied in a “left-linear” way in analogy ...