14084 search results - page 246 / 2817 » A Theory for Game Theories |
225
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
212
click to vote
LION
2009
Springer
16 years 1 months ago
2009
Springer
This work introduces new bounds on the clique number of graphs derived from a result due to S´os and Straus, which generalizes the Motzkin-Straus Theorem to a specific class of h...
184
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
153
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Emotion has been identified as a salient dimension of organizational life and this has led to the emergence of a growing body of literature that suggests its importance to a wide ...
162
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Weblogs are becoming increasingly popular and bloggers desire traffic. This study seeks to give an overall view of weblog systems including factors that affect weblog traffic. Key...