Sciweavers

835 search results - page 13 / 167
» Characterizing rosy theories
Sort
View
PODC
2010
ACM
15 years 1 months ago
Brief announcement: capacity of byzantine agreement with finite link capacity - complete characterization of four-node networks
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...
Guanfeng Liang, Nitin Vaidya
ATAL
2010
Springer
15 years 26 days ago
Pure Nash equilibria: complete characterization of hard and easy graphical games
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...
Albert Xin Jiang, MohammadAli Safari
BMCBI
2004
128views more  BMCBI 2004»
14 years 11 months ago
Structural characterization of genomes by large scale sequence-structure threading: application of reliability analysis in struc
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...
Artem Cherkasov, Shannan J. Ho Sui, Robert C. Brun...
EUSFLAT
2007
125views Fuzzy Logic» more  EUSFLAT 2007»
15 years 1 months ago
Representations of Archimedean t-norms in Interval-valued Fuzzy Set Theory
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...
Glad Deschrijver
CUZA
2002
84views more  CUZA 2002»
14 years 11 months ago
Testing Theories for Broadcasting Processes
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...
Cristian Ene, Traian Muntean