2373 search results - page 201 / 475 » On the Theory of Structural Subtyping |
205
click to vote
SAGT
2010
Springer
15 years 5 months ago
2010
Springer
We study the computational complexity of finding stable outcomes in symmetric additively-separable hedonic games. These coalition formation games are specified by an undirected e...
181
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
180
click to vote
FOCM
2011
14 years 10 months ago
2011
The theory of intersection homology was developed to study the singularities of a topologically stratified space. This paper incorporates this theory into the already developed f...
350
click to vote
BIS
2011
14 years 6 months ago
2011
This paper presents concept of the strategic knowledge resource network for SMEs. A strategic-knowledge resource in a company represents the knowledge, skills and capabilities of t...
212
click to vote
SODA
2012
ACM
13 years 9 months ago
2012
ACM
Bidimensionality theory was introduced by Demaine et al. [JACM 2005 ] as a framework to obtain algorithmic results for hard problems on minor closed graph classes. The theory has ...