1566 search results - page 16 / 314 » Contification Using Dominators |
SIGGRAPH
2010
ACM
14 years 11 days ago
2010
ACM
In many scenes with human characters, interacting groups are an important factor for maintaining a sense of realism. However, little is known about what makes these characters app...
CAV
2006
Springer
14 years 5 days ago
2006
Springer
Abstract. The problem of finding a small unsatisfiable core of an unsatisfiable CNF formula is addressed. The proposed algorithm, Trimmer, iterates over each internal node d in the...
SBP
2012
Springer
12 years 4 months ago
2012
Springer
Interactions between individuals, both economic and social, are increasingly mediated by technological systems. Such platforms facilitate interactions by controlling and regularizi...
AAAI
2012
11 years 10 months ago
2012
In AI research, mechanism design is typically used to allocate tasks and resources to agents holding private information about their values for possible allocations. In this conte...
COMPGEOM
1995
ACM
14 years 13 hour ago
1995
ACM
We consider the problem of reporting the pairwise enclosures in a set of n axesparallel rectangles in IR2, which is equivalent to reporting dominance pairs in a set of n points in...