5114 search results - page 733 / 1023 » Complex networks |
167
click to vote
EVOW
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we propose a new tabu search hyperheuristic which makes individual low level heuristics tabu dynamically using an analogy with the Binary Exponential Back Off (BEBO) ...
164
click to vote
ISMVL
2009
IEEE
16 years 1 months ago
2009
IEEE
For formal verification of hardware Satisfiability Modulo Theory (SMT) solvers are increasingly applied. Today’s state-of-the-art SMT solvers use different techniques like ter...
185
click to vote
CCIW
2009
Springer
16 years 1 months ago
2009
Springer
The paper presents a novel Motor Map neural network for re-indexing color mapped images. The overall learning process is able to smooth the local spatial redundancy of the indexes ...
186
click to vote
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
Systems of ordinary differential equations (ODEs) are often used to model the dynamics of complex biological pathways. We construct a discrete state model as a probabilistic appro...
148
click to vote
ICANN
2009
Springer
16 years 1 months ago
2009
Springer
The processes giving rise to an event related potential engage several evoked and induced oscillatory components, which reflect phase or non-phase locked activity throughout the mu...