4573 search results - page 279 / 915 » Automated Reasoning |
171
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. We show that the description logic SOQ with number restrictions on transitive roles is decidable by a terminating tableau calculus. The language decided by the calculus i...
212
click to vote
ESSLLI
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdip...
206
click to vote
ESSLLI
2009
Springer
15 years 4 months ago
2009
Springer
This paper addresses the problem of selecting the `optimal' variable subset in a logistic regression model for a medium-sized data set. As a case study, we take the British En...
183
click to vote
GIS
2009
ACM
15 years 4 months ago
2009
ACM
Future driver assistance systems will require highly accurate positioning. One way to achieve this is by using on-board sensors to measure the relative location of landmarks for w...
265
click to vote
CLASSIFICATION
2010
15 years 4 months ago
2010
Abstract: Suppose two judges each classify a group of objects into one of several nominal categories. It has been observed in the literature that, for fixed observed agreement betw...