Sciweavers

315 search results - page 43 / 63
» Reactive Turing Machines
Sort
View
JUCS
2007
126views more  JUCS 2007»
13 years 8 months ago
Accepting Networks of Evolutionary Processors with Filtered Connections
: In this paper we simplify a recent model of computation considered in [Margenstern et al. 2005], namely accepting network of evolutionary processors, by moving the filters from ...
Cezara Dragoi, Florin Manea, Victor Mitrana
IANDC
1998
64views more  IANDC 1998»
13 years 8 months ago
Positive Versions of Polynomial Time
We show that restricting a number of characterizations of the complexity class P to be positive (in natural ways) results in the same class of (monotone) problems which we denote ...
Clemens Lautemann, Thomas Schwentick, Iain A. Stew...
SSS
2010
Springer
134views Control Systems» more  SSS 2010»
13 years 6 months ago
Storage Capacity of Labeled Graphs
We consider the question of how much information can be stored by labeling the vertices of a connected undirected graph G using a constant-size set of labels, when isomorphic label...
Dana Angluin, James Aspnes, Rida A. Bazzi, Jiang C...
NC
2011
175views Neural Networks» more  NC 2011»
13 years 3 months ago
P systems with active membranes: trading time for space
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...
Antonio E. Porreca, Alberto Leporati, Giancarlo Ma...
NC
2011
219views Neural Networks» more  NC 2011»
12 years 11 months ago
Complexity-preserving simulations among three variants of accepting networks of evolutionary processors
In this paper we consider three variants of accepting networks of evolutionary processors. It is known that two of them are equivalent to Turing machines. We propose here a direct ...
Paolo Bottoni, Anna Labella, Florin Manea, Victor ...