7988 search results - page 1397 / 1598 » A Useful Undecidable Theory |
138
click to vote
SPAA
2010
ACM
15 years 4 months ago
2010
ACM
We study the communication complexity of rumor spreading in the random phone-call model. Suppose n players communicate in parallel rounds, where in each round every player calls a...
133
Voted
AI
2010
Springer
15 years 4 months ago
2010
Springer
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
144
Voted
ALGORITHMICA
2010
15 years 4 months ago
2010
We investigate the convergence of the price of anarchy after a limited number of moves in the classical multicast communication game when the underlying communication networks is ...
117
click to vote
APAL
2007
15 years 4 months ago
2007
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurentâ...
152
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: One of main aims of Molecular Biology is the gain of knowledge about how molecular components interact each other and to understand gene function regulations. Using mi...