Sciweavers

1603 search results - page 166 / 321
» Multi-Dimensional Heuristic Searching
Sort
View
CIKM
2009
Springer
15 years 9 months ago
A comparative study of methods for estimating query language models with pseudo feedback
We systematically compare five representative state-of-theart methods for estimating query language models with pseudo feedback in ad hoc information retrieval, including two var...
Yuanhua Lv, ChengXiang Zhai
SAT
2009
Springer
103views Hardware» more  SAT 2009»
15 years 9 months ago
Instance-Based Selection of Policies for SAT Solvers
Execution of most of the modern DPLL-based SAT solvers is guided by a number of heuristics. Decisions made during the search process are usually driven by some fixed heuristic pol...
Mladen Nikolic, Filip Maric, Predrag Janicic
EUROMICRO
2000
IEEE
15 years 9 months ago
Task Assignment and Scheduling under Memory Constraints
Many DSP and image processing embedded systems have hard memory constraints which makes it difficult to find a good task assignment and scheduling which fulfill these constrain...
Radoslaw Szymanek, Krzysztof Kuchcinski
ICCAD
1993
IEEE
81views Hardware» more  ICCAD 1993»
15 years 8 months ago
Inverter minimization in multi-level logic networks
In this paper, we look at the problem of inverter minimization in multi-level logic networks. The network is specified in terms of a set of base functions and the inversion opera...
Alok Jain, Randal E. Bryant
EVOW
2006
Springer
15 years 8 months ago
Fast EAX Algorithm Considering Population Diversity for Traveling Salesman Problems
This paper proposes an evolutionary algorithm (EA) that is applied to the traveling salesman problem (TSP). Existing approximation methods to address the TSP known to be state-of-t...
Yuichi Nagata