5863 search results - page 246 / 1173 » On Model-Checking of P Systems |
189
click to vote
IPL
2006
15 years 7 months ago
2006
In this paper we investigate P systems whose compartments contain sets of symbolobjects rather than multisets of objects, as it is common in membrane computing. If the number of m...
205
click to vote
MSS
2005
IEEE
16 years 24 days ago
2005
IEEE
To meet enterprise and grand challenge-scale performance and interoperability requirements, a group of engineers—initially ad-hoc but now integrated into the IETF—is designing...
211
click to vote
IJFCS
2007
15 years 7 months ago
2007
We characterize the computational power of several restricted variants of communicating P systems. We show that 2-deterministic communicating P systems with 2 membranes, working in...
176
click to vote
FLAIRS
1998
15 years 8 months ago
1998
In this paper wesuggest a wayof using the rules of System P to propagate lower bounds on conditional probabilities. Usinga knowledgebase of default rules whichart, consideredto be...
177
click to vote
MEMBRANE
2004
Springer
16 years 17 days ago
2004
Springer
We introduce in the P systems area a mechanism, inspired from neural-cell behavior, which controls computations by inhibiting and de-inhibiting evolution rules. We investigate the ...