Sciweavers

414 search results - page 2 / 83
» On discrete norms of polynomials
Sort
View
IANDC
2010
79views more  IANDC 2010»
13 years 3 months ago
Complexity of deciding bisimilarity between normed BPA and normed BPP
We present a polynomial-time algorithm deciding bisimilarity between a normed BPA process and a normed BPP process, with running time O(n7 ). This improves the previously known ex...
Petr Jancar, Martin Kot, Zdenek Sawa
APLAS
2009
ACM
13 years 9 months ago
Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...
Hongfei Fu
TOC
2008
89views more  TOC 2008»
13 years 4 months ago
Norms, XOR Lemmas, and Lower Bounds for Polynomials and Protocols
Abstract: This paper presents a unified and simple treatment of basic questions concerning two computational models: multiparty communication complexity and polynomials over GF(2)....
Emanuele Viola, Avi Wigderson
COCO
2007
Springer
85views Algorithms» more  COCO 2007»
13 years 10 months ago
Norms, XOR Lemmas, and Lower Bounds for GF(2) Polynomials and Multiparty Protocols
This paper presents a unified and simple treatment of basic questions concerning two computational models: multiparty communication complexity and GF(2) polynomials. The key is t...
Emanuele Viola, Avi Wigderson
AUTOMATICA
2005
103views more  AUTOMATICA 2005»
13 years 4 months ago
Norm invariant discretization for sampled-data fault detection
In this paper, the problem of fault detection in sampled-data systems is studied. It is shown that norms of a sampled system are equal to the corresponding norms of a certain disc...
Iman Izadi, Tongwen Chen, Qing Zhao