2629 search results - page 192 / 526 » complex 2009 |
144
click to vote
FM
2009
Springer
16 years 20 days ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
149
click to vote
FM
2009
Springer
16 years 20 days ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
158
click to vote
FSTTCS
2009
Springer
16 years 19 days ago
2009
Springer
Motivated by the Hadamard product of matrices we define the Hadamard product of multivariate polynomials and study its arithmetic circuit and branching program complexity. We also...
193
click to vote
GBRPR
2009
Springer
16 years 19 days ago
2009
Springer
We present an irregular image pyramid which is derived from multi-scale analysis of segmented watershed regions. Our framework is based on the development of regions in the Gaussia...
149
click to vote
GECCO
2009
Springer
16 years 19 days ago
2009
Springer
Conventional similarity metrics used to sustain diversity in evolving populations are not well suited to sequential decision tasks. Genotypes and phenotypic structure are poor pre...