6608 search results - page 1013 / 1322 » On the Completeness of Model Checking |
183
click to vote
EC
2007
15 years 6 months ago
2007
Steady-State models of Evolutionary Algorithms are widely used, yet surprisingly little attention has been paid to the effects arising from different replacement strategies. This ...
180
click to vote
NECO
2008
15 years 6 months ago
2008
One of the central problems in cognitive science is determining the mental representations that underlie human inferences. Solutions to this problem often rely on the analysis of ...
163
click to vote
MP
2006
15 years 6 months ago
2006
We present a distribution-free model of incomplete-information games, both with and without private information, in which the players use a robust optimization approach to contend ...
159
click to vote
RAS
2006
15 years 6 months ago
2006
Mobile robots must cope with uncertainty from many sources along the path from interpreting raw sensor inputs to behavior selection to execution of the resulting primitive actions...
183
click to vote
AIR
2005
15 years 6 months ago
2005
Term-weighting schemes are vital to the performance of Information Retrieval models that use term frequency characteristics to determine the relevance of a document. The vector spa...