534 search results - page 6 / 107 » Efficient polynomial L-approximations |
JC
2000
13 years 7 months ago
2000
EMNLP
2009
13 years 5 months ago
2009
This paper proposes a method that speeds up a classifier trained with many conjunctive features: combinations of (primitive) features. The key idea is to precompute as partial res...
TSP
2010
13 years 2 months ago
2010
VLSISP
2010
13 years 2 months ago
2010
AISC
2008
Springer
13 years 9 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...