338 search results - page 36 / 68 » Locally checkable proofs |
ECEASST
2010
14 years 8 months ago
2010
Abstract. We present Local Church-Rosser, Parallelism, and Concurrency Theorems for rules with nested application conditions in the framework of weak adhesive HLR categories includ...
112
click to vote
STACS
2010
Springer
15 years 9 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
101
click to vote
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
— We describe a distributed boundary detection algorithm suitable for use on multi-robot systems with dynamic network topologies. We assume that each robot has access to its loca...
SIAMJO
2008
15 years 1 months ago
2008
We provide a rule to calculate the subdifferential of the pointwise supremum of an arbitrary family of convex functions defined on a real locally convex topological vector space. ...
124
click to vote
APPROX
2008
Springer
15 years 4 months ago
2008
Springer
: We continue the study of robustly testable tensor codes and expand the class of base codes that can be used as a starting point for the construction of locally testable codes via...