153
Voted
ESSLLI
2009
Springer
15 years 1 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...
203
Voted
ESSLLI
2009
Springer
15 years 1 months ago
2009
Springer
152
Voted
ESSLLI
2009
Springer
15 years 1 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...
150
Voted
ESSLLI
2009
Springer
15 years 1 months ago
2009
Springer
We present an implemented model for speech recognition in natural environments which relies on contextual information about salient entities to prime utterance recognition. The hyp...
158
Voted
ESSLLI
2009
Springer
15 years 1 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...
118
Voted
ESSLLI
2009
Springer
15 years 1 months ago
2009
Springer
