3333 search results - page 133 / 667 » Abstract Proof Search |
145
Voted
WSC
2000
15 years 5 months ago
2000
Many artificial intelligence techniques rely on the notion ate" as an abstraction of the actual state of the nd an "operator" as an abstraction of the actions that ...
112
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—We address the parallelization of a MonteCarlo search algorithm. On a cluster of 64 cores we obtain a speedup of 56 for the parallelization of Morpion Solitaire. An algo...
131
click to vote
PCM
2001
Springer
2001
Springer
Automatic Subject Categorization of Query Terms for Filtering Sensitive Queries in Multimedia Search
15 years 8 months ago
Abstract. The purpose of this paper is to deal with Web query categorization problem. It will present a feasible approach to categorizing Web query terms into pre-defined subject ...
115
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper engineers a new state-of-the-art Stochastic Local Search (SLS) for the Low Autocorrelation Binary Sequence (LABS) problem. The new SLS solver is obtained with ...
173
click to vote
ERCIMDL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract Searching for entities is an emerging task in Information Retrieval for which the goal is finding well defined entities instead of documents matching the query terms. In t...