4617 search results - page 316 / 924 » Automation of Diagrammatic Reasoning |
210
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...
204
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...
181
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...
263
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...
174
click to vote
JLP
2011
15 years 1 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...