Sciweavers

537 search results - page 36 / 108
» Connectivity Models for Optoelectronic Computing Systems
Sort
View
CORR
2008
Springer
73views Education» more  CORR 2008»
13 years 9 months ago
On acceptance conditions for membrane systems: characterisations of L and NL
In this paper we investigate the affect of various acceptance conditions on recogniser membrane systems without dissolution. We demonstrate that two particular acceptance conditio...
Niall Murphy, Damien Woods
COGSCI
2007
109views more  COGSCI 2007»
13 years 9 months ago
Understanding the Emergence of Modularity in Neural Systems
: Modularity in the human brain remains a controversial issue, with disagreement over the nature of the modules that exist, and why, when and how they emerge. It is a natural assum...
John A. Bullinaria
PPSN
1992
Springer
14 years 28 days ago
Hyperplane Annealing and Activator-Inhibitor-Systems
This paper introduces a new optimization technique called hyperplane annealing. It is similar to the mean field annealing approach to combinatorial optimization. Both annealing te...
Thomas Laußermair
PRDC
2006
IEEE
14 years 2 months ago
Detecting and Exploiting Symmetry in Discrete-state Markov Models
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
W. Douglas Obal II, Michael G. McQuinn, William H....
CIE
2008
Springer
13 years 11 months ago
Many Facets of Complexity in Logic
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
Antonina Kolokolova