1818 search results - page 164 / 364 » Granularity-Adaptive Proof Presentation |
102
click to vote
MICS
2008
15 years 3 months ago
2008
We give a new presentation of two results concerning synchronized automata. The first one gives a linear bound on the synchronization delay of complete local automata. The second o...
136
Voted
ENTCS
2007
15 years 3 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
128
click to vote
MOR
2008
15 years 3 months ago
2008
In this paper we present a polynomial-time procedure to find a low rank solution for a system of Linear Matrix Inequalities (LMI). The existence of such a low rank solution was sh...
114
Voted
JUCS
2006
15 years 3 months ago
2006
Abstract: We present two probabilistic leader election algorithms for anonymous unidirectional rings with FIFO channels, based on an algorithm from Itai and Rodeh [Itai and Rodeh 1...
148
Voted
FUIN
2007
15 years 3 months ago
2007
We present a resolution calculus for first-order logic using a more concise formalism for representing sets of clauses. The idea is to represent the clause set at hand as a Direct...