4488 search results - page 265 / 898 » Focusing Search by Using Problem Solving Experience |
137
click to vote
SC
1995
ACM
15 years 8 months ago
1995
ACM
The problem of determining the evolutionary history of species in the form of phylogenetic trees is known as the phylogeny problem. We present a parallelization of the character c...
124
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
Table analysis is a complex problem, involving searching solutions from a large search space. Studies show that finding the most credible answers to complex problems often requir...
136
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability proble...
137
click to vote
ICCD
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
139
click to vote
PVLDB
2008
15 years 4 months ago
2008
Unlike traditional database queries, keyword queries do not adhere to predefined syntax and are often dirty with irrelevant words from natural languages. This makes accurate and e...