3913 search results - page 510 / 783 » complexity 2006 |
181
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
180
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Evolutionary algorithms tend to produce solutions that are not evolvable: Although current fitness may be high, further search is impeded as the effects of mutation and crossover ...
195
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Most new words, or neologisms, bubble beneath the surface of widespread usage for some time, perhaps even years, before gaining acceptance in conventional print dictionaries [1]. A...
167
click to vote
AAAI
2006
15 years 8 months ago
2006
We show in this paper that the influential algorithm of iterative belief propagation can be understood in terms of exact inference on a polytree, which results from deleting enoug...
172
click to vote
ISCAS
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract-In this paper we present a new scheme for brain imaginary movement invovles sophisticated spatial-temporalsignal processing and classification for electroencephalogram spe...