2520 search results - page 450 / 504 » Model-checking behavioral programs |
115
click to vote
ATAL
2010
Springer
15 years 3 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...
112
click to vote
GECCO
2008
Springer
15 years 3 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ļ¬...
128
click to vote
GECCO
2008
Springer
15 years 3 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...
119
click to vote
GLOBECOM
2008
IEEE
15 years 3 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
15 years 2 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 ...