2520 search results - page 450 / 504 » Model-checking behavioral programs |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
In the course allocation problem, a university administrator seeks to efficiently and fairly allocate schedules of over-demanded courses to students with heterogeneous preferences...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
This paper discusses interactive evolutionary algorithms and their application in swarm-based image generation. From an artistās perspective, the computer-generated patterns oļ¬...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
This paper describes a study in the evolution of cooperative behavior, speciļ¬cally the construction of communication networks, through digital evolution and multilevel selection...
GLOBECOM
2008
IEEE
13 years 8 months ago
2008
IEEE
āThe proliferation of wireless systems requires that the coexistence between heterogeneous technologies be addressed. This paper presents a cognitive framework in which sensingba...
BIOSYSTEMS
2007
13 years 7 months ago
2007
The computational process is based on the activity linking mathematical equations to a materialized physical world. It consumes energy which lower limit is deļ¬ned by the set of ...