Sciweavers

3384 search results - page 407 / 677
» More Testable Properties
Sort
View
ICANNGA
2009
Springer
203views Algorithms» more  ICANNGA 2009»
16 years 1 months ago
NEAT in HyperNEAT Substituted with Genetic Programming
In this paper we present application of genetic programming (GP) [1] to evolution of indirect encoding of neural network weights. We compare usage of original HyperNEAT algorithm w...
Zdenek Buk, Jan Koutník, Miroslav Snorek
ICCS
2009
Springer
16 years 1 months ago
Simulating Individual-Based Models of Epidemics in Hierarchical Networks
Current mathematical modeling methods for the spreading of infectious diseases are too simplified and do not scale well. We present the Simulator of Epidemic Evolution in Complex ...
Rick Quax, David A. Bader, Peter M. A. Sloot
IWPEC
2009
Springer
16 years 1 months ago
Boolean-Width of Graphs
Abstract. We introduce the graph parameter boolean-width, related to the number of different unions of neighborhoods across a cut of a graph. For many graph problems this number is...
Binh-Minh Bui-Xuan, Jan Arne Telle, Martin Vatshel...
MDM
2009
Springer
135views Communications» more  MDM 2009»
16 years 1 months ago
Topology of the Prism Model for 3D Indoor Spatial Objects
Topological relationships between spatial objects are an essential property of spatial objects. They are used for spatial analysis and query processing. In this paper, we first i...
Joon-Seok Kim, Hye-Young Kang, Tae-Hoon Lee, Ki-Jo...
MEMBRANE
2009
Springer
16 years 1 months ago
Conformon P Systems and Topology of Information Flow
would be an abstract answer (because it would not immediately link a formal model with the biological reality that inspired it or with possible implementations) from the other hand...
Pierluigi Frisco