11 search results - page 3 / 3 » Graph Ranking for Sentiment Transfer |
CAV
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...