460 search results - page 87 / 92 » New Tools for Graph Coloring |
155
Voted
CCA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...
160
Voted
PEPM
2010
ACM
15 years 4 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
140
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: The increasing amount of published literature in biomedicine represents an immense source of knowledge, which can only efficiently be accessed by a new generation of a...
127
Voted
MOBIHOC
2006
ACM
16 years 2 months ago
2006
ACM
Traditionally, ad hoc networks have been viewed as a connected graph over which end-to-end routing paths had to be established. Mobility was considered a necessary evil that inval...
143
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Bargaining networks model the behavior of a set of players who need to reach pairwise agreements for making profits. Nash bargaining solutions in this context correspond to soluti...