338 search results - page 20 / 68 » Locally checkable proofs |
23
Voted
AROBOTS
2006
13 years 8 months ago
2006
This paper aims at a discussion of the structure of the SLAM problem. The analysis is not strictly formal but based both on informal studies and mathematical derivation. The first ...
CANS
2009
Springer
13 years 5 months ago
2009
Springer
Group signatures allow users to anonymously sign messages in the name of a group. Membership revocation has always been a critical issue in such systems. In 2004, Boneh and Shacham...
RSA
2011
13 years 2 months ago
2011
We prove that for fixed integer D and positive reals α and γ, there exists a constant C0 such that for all p satisfying p(n) ≥ C0/n, the random graph G(n, p) asymptotically a...
AUTOMATICA
2006
13 years 8 months ago
2006
This note presents a stabilizing decentralized model predictive control (MPC) algorithm for nonlinear discrete time systems. No information is assumed to be exchanged between loca...
EJC
2006
13 years 8 months ago
2006
A class C of graphs is said to be H-bounded if each graph in the class C admits a homomorphism to H. We give a general necessary and sufficient condition for the existence of boun...