4372 search results - page 302 / 875 » Algorithmic Theories of Everything |
153
Voted
CDC
2008
IEEE
16 years 19 days ago
2008
IEEE
— This paper studies connectivity maintenance of robotic networks that communicate at discrete times and move in continuous space. We propose a distributed algorithm that allows ...
143
Voted
FSTTCS
2007
Springer
16 years 9 days ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
187
click to vote
LICS
2006
IEEE
16 years 5 days ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
147
click to vote
DAC
2006
ACM
16 years 3 days ago
2006
ACM
A novel routing algorithm, namely dynamic XY (DyXY) routing, is proposed for NoCs to provide adaptive routing and ensure deadlock-free and livelock-free routing at the same time. ...
173
Voted
SIGECOM
2006
ACM
16 years 3 days ago
2006
ACM
We present a reduction from graphical games to Markov random fields so that pure Nash equilibria in the former can be found by statistical inference on the latter. Our result, wh...