179
click to vote
GC
2016
Springer
10 years 1 months ago
2016
Springer
The pseudoachromatic index of a graph is the maximum number of colors that can be assigned to its edges, such that each pair of different colors is incident to a common vertex. I...
39
Voted
GAMES
2016
10 years 1 months ago
2016
Two experimental treatments are used to study the e↵ects of auction risk across five mechanisms. The first canonical, baseline treatment features only strategic risk and repli...
FUIN
2016
10 years 1 months ago
2016
Abstract. In this paper, we propose a new method for choosing implications. Our method allows to compare two fuzzy implications. If the truth value of the antecedent and the truth ...
108
Voted
FUIN
2016
10 years 1 months ago
2016
Abstract. We consider the model checking problem for Gap-order Constraint Systems (GCS) w.r.t. the branching-time temporal logic CTL, and in particular its fragments EG and EF. GCS...
55
Voted
FUIN
2016
10 years 1 months ago
2016
based Rewriting through Abstraction Paolo Bottoni1, Esther Guerra2, Juan de Lara2 1 Computer Science Department, “Sapienza” Universit`a di Roma (Italy) 2 Computer Science Depar...