4266 search results - page 85 / 854 » Search for More Declarativity |
HT
2005
ACM
14 years 3 months ago
2005
ACM
We describe Eureka, a file system search engine that takes into account the inherent relationships among files in order to improve the rankings of search results. The key idea b...
CEC
2010
IEEE
13 years 10 months ago
2010
IEEE
—Common explanations of DE’s search behaviour as its crossover rate Cr is varied focus on the directionality of the search, as low values make moves aligned with a small number...
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
Today, in many practical E-Commerce systems, the real stored data usually are short strings, such as names, addresses, or other information. Searching data within these short stri...
SIGIR
2011
ACM
13 years 1 months ago
2011
ACM
As the Internet grows explosively, search engines play a more and more important role for users in effectively accessing online information. Recently, it has been recognized that ...
SPIN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...