835 search results - page 13 / 167 » Characterizing rosy theories |
113
Voted
PODC
2010
ACM
15 years 3 months ago
2010
ACM
In this paper, we consider the problem of maximizing the throughput of Byzantine agreement, when communication links have finite capacity. Byzantine agreement is a classical probl...
143
Voted
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
We consider the computational complexity of pure Nash equilibria in graphical games. It is known that the problem is NP-complete in general, but tractable (i.e., in P) for special...
115
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: We establish that the occurrence of protein folds among genomes can be accurately described with a Weibull function. Systems which exhibit Weibull character can be int...
106
click to vote
EUSFLAT
2007
15 years 3 months ago
2007
In this paper the Archimedean property and the nilpotency of t-norms on the lattice LI is investigated, where LI is the underlying lattice of interval-valued fuzzy set theory (Sam...
100
click to vote
CUZA
2002
15 years 1 months ago
2002
This paper presents a theory of testing for processes calculi which have broadcast as basic communication primitive. Firstly, we justify the necessity of an alternative theory to b...