2905 search results - page 186 / 581 » Formal Memetic Algorithms |
IDA
2006
Springer
13 years 10 months ago
2006
Springer
This paper presents new textural features which are based on association rules. We give a texture representation, which is an appropriate formalism, that allows straightforward app...
RIA
2006
13 years 10 months ago
2006
ABSTRACT. The design of spatial coordination mechanisms for dynamical and continuous multiagent setting is a difficult challenge. While the top-down decomposition approach is ineff...
SIGMETRICS
2008
ACM
13 years 10 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
TCS
2008
13 years 10 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
TOCL
2008
13 years 10 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...