Stem monomi$ (all stems)
3 papers:
- CASE-2011-ColP #detection #performance #recursion
- Fast and accurate object detection by means of recursive monomial feature elimination and cascade of SVM (LDC, FAP), pp. 304–309.
- CADE-2009-LahiriQ #abstraction #algorithm #complexity
- Complexity and Algorithms for Monomial and Clausal Predicate Abstraction (SKL, SQ), pp. 214–229.
- LICS-2008-LaurentM #proving
- Cut Elimination for Monomial MALL Proof Nets (OL, RM), pp. 486–497.