Sciweavers

7 search results - page 2 / 2
» Consistency Check Algorithms for Multi-Dimensional Preferenc...
Sort
View
ATAL
2008
Springer
13 years 7 months ago
Checking correctness of business contracts via commitments
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
Nirmit Desai, Nanjangud C. Narendra, Munindar P. S...
CORR
2010
Springer
150views Education» more  CORR 2010»
13 years 5 months ago
Stable partitions in additively separable hedonic games
Abstract. We present computational results concerning stable partitions in additively separable hedonic games. First, we propose a polynomial-time algorithm to compute a contractua...
Haris Aziz, Felix Brandt, Hans Georg Seedig