6 search results - page 1 / 2 » esslli 2009 |
180
Voted
ESSLLI
2009
Springer
14 years 11 months ago
2009
Springer
136
Voted
ESSLLI
2009
Springer
14 years 11 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...
135
Voted
ESSLLI
2009
Springer
14 years 11 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...
130
click to vote
ESSLLI
2009
Springer
14 years 11 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...