112 search results - page 16 / 23 » Research on the Sheepdog Problem Using Cellular Automata |
PODS
2004
ACM
15 years 9 months ago
2004
ACM
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...
CPAIOR
2007
Springer
15 years 3 months ago
2007
Springer
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes ongoing work on creating a benchmarking and validation dataset for biological image segmentation. While the primary target is biological images, we believe th...
GECCO
2008
Springer
14 years 10 months ago
2008
Springer
We propose a new class of crossover operators for genetic algorithms (CrossNet) which use a network-based (or graphbased) chromosomal representation. We designed CrossNet with the...
INFOCOM
2007
IEEE
15 years 3 months ago
2007
IEEE
— Channel allocation was extensively studied in the framework of cellular networks. But the emergence of new system concepts, such as cognitive radio systems, has brought this to...