6 search results - page 1 / 2 » esslli 2009 |
ESSLLI
2009
Springer
13 years 2 months ago
2009
Springer
ESSLLI
2009
Springer
13 years 2 months ago
2009
Springer
ESSLLI
2009
Springer
13 years 2 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...
ESSLLI
2009
Springer
13 years 2 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...
ESSLLI
2009
Springer
13 years 2 months ago
2009
Springer
The polynomial path order (POP for short) is a termination method that induces polynomial bounds on the innermost runtime complexity of term rewrite systems (TRSs for short). Seman...