output
20032005
most citedSeeing stars: Exploiting class relationships for sentiment categorization with respect to rating scales

727 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2004

Predicate Abstraction with Indexed Predicates

Shuvendu K. Lahiri, Randal E. Bryant

Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and…