42230 search results - page 236 / 8446 » Algorithms and Complexity Results for |
166
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
Estimation of distribution algorithms (EDAs) try to solve an optimization problem by finding a probability distribution focussed around its optima. For this purpose they conduct ...
155
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
This paper considers algorithms and complexity results for the generation of counterexamples in model checking of probabilistic until-formulae in discrete-time Markov chains (DTMCs...
177
click to vote
WAIM
2007
Springer
16 years 21 days ago
2007
Springer
Terms used in search queries often have multiple meanings. Consequently, search results corresponding to different meanings may be retrieved, making identifying relevant results in...
180
click to vote
PVLDB
2008
15 years 6 months ago
2008
The number of successful attacks on the Internet shows that it is very difficult to guarantee the security of online search engines. A breached server that is not detected in time...
167
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Geographic information retrieval (GIR) is, as a branch of traditional information retrieval, a discipline that tries to enrich data with geographical information to make it suitab...