6978 search results - page 172 / 1396 » On Proofs in System P |
163
click to vote
CSJM
2006
15 years 6 months ago
2006
It is known that P systems with two membranes and minimal symport/antiport rules are "almost" computationally complete as generators of number or vector sets. Interpreti...
154
click to vote
ACTA
2004
15 years 6 months ago
2004
The generative capability of several variants of P systems with symport/antiport is studied via the simulation of counter automata. This leads to the reduction of the complexity, e...
213
click to vote
NC
2011
15 years 1 months ago
2011
We consider recognizer P systems having three polarizations associated to the membranes, and we show that they are able to solve the PSPACEcomplete problem Quantified 3SAT when wo...
171
click to vote
CSCW
2004
ACM
15 years 6 months ago
2004
ACM
Abstract. In this paper we examine an emerging class of systems that link People-to-People-toGeographical-Places; we call these P3-Systems. Through analyzing the literature, we hav...
211
click to vote
GLOBECOM
2008
IEEE
16 years 29 days ago
2008
IEEE
—Peer-to-Peer (P2P) based live video streaming system has emerged as a promising solution for the Internet video streaming applications, partly evident from commercial deployment...