1503 search results - page 233 / 301 » Designing situations |
GECCO
2008
Springer
14 years 11 months ago
2008
Springer
Evolutionary Algorithms’ (EAs’) application to real world optimization problems often involves expensive fitness function evaluation. Naturally this has a crippling effect on ...
SIGCOMM
2010
ACM
14 years 10 months ago
2010
ACM
Recent work on BitTorrent has shown that the choke/unchoke mechanism implements an auction where each peer tries to induce other peers into "unchoking" it by uploading m...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
Automatically annotating or tagging unlabeled audio files has several applications, such as database organization and recommender systems. We are interested in the case where the...
AAMAS
2008
Springer
14 years 10 months ago
2008
Springer
Recommender systems have been developed for a wide variety of applications (ranging from books, to holidays, to web pages). These systems have used a number of different approache...
CACM
2010
14 years 10 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...