Sciweavers

6976 search results - page 326 / 1396
» The Oil Searching Problem
Sort
View
CONSTRAINTS
2010
101views more  CONSTRAINTS 2010»
15 years 6 months ago
Evaluating the impact of AND/OR search on 0-1 integer linear programming
AND/OR search spaces accommodate advanced algorithmic schemes for graphical models which can exploit the structure of the model. We extend and evaluate the depth-first and best-fi...
Radu Marinescu 0002, Rina Dechter
ICGA
2007
85views Optimization» more  ICGA 2007»
15 years 6 months ago
Searching Solitaire in Real Time
This article presents a new real-time heuristic search method for planning problems with distinct stages. Our multistage nested rollout algorithm allows the user to apply separate...
Ronald Bjarnason, Prasad Tadepalli, Alan Fern
172
Voted
JAR
2007
80views more  JAR 2007»
15 years 6 months ago
Integrating Searching and Authoring in Mizar
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
Paul A. Cairns, Jeremy Gow
IJMSO
2010
90views more  IJMSO 2010»
15 years 5 months ago
Measuring intrinsic quality of semantic search based on feature vectors
: Search is probably the most frequent activity on the Web. Yet it is not effortless, mainly due to heterogeneous information resources. Semantic search is a means to tackle the pr...
Stein L. Tomassen, Darijus Strasunskas
COLING
2010
15 years 1 months ago
A Novel Method for Bilingual Web Page Acquisition from Search Engine Web Records
A new approach has been developed for acquiring bilingual web pages from the result pages of search engines, which is composed of two challenging tasks. The first task is to detec...
Yanhui Feng, Yu Hong, Zhenxiang Yan, Jian-Min Yao,...