research
∙
10/31/2022
Max Pooling with Vision Transformers reconciles class and shape in weakly supervised semantic segmentation
Weakly Supervised Semantic Segmentation (WSSS) research has explored man...
share
research
∙
09/13/2017
Computing the Shapley Value in Allocation Problems: Approximations and Bounds, with an Application to the Italian VQR Research Assessment Program
In allocation problems, a given set of goods are assigned to agents in s...
research
∙
04/26/2012
On the Complexity of Finding Second-Best Abductive Explanations
While looking for abductive explanations of a given set of manifestation...
research
∙
12/14/2010
On the size of data structures used in symbolic model checking
Temporal Logic Model Checking is a verification method in which we descr...
research
∙
10/09/2002