3510 search results - page 213 / 702 » Searching with numbers |
163
click to vote
SEFM
2007
IEEE
16 years 28 days ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
143
click to vote
CEC
2005
IEEE
16 years 8 days ago
2005
IEEE
Despite the existence of a number of procedures for real-parameter optimization using evolutionary algorithms, there is still a need of a systematic and unbiased comparison of diļ...
162
click to vote
WEBI
2009
Springer
15 years 11 months ago
2009
Springer
Clickthrough rate and cost-per-click are known to be among the factors that impact the rank of an ad shown on a search result page. Hence, search engines can beneļ¬t from estimat...
204
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
This paper presents a new form of Genetic Programming called Cartesian Genetic Programming in which a program is represented as an indexed graph. The graph is encoded in the form o...
163
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we describe our submission for iCLEF2006: an interface that allows users to search FLICKR in Arabic for images with captions in a range of languages. We report and di...