1047 search results - page 78 / 210 » Searching Without a Heuristic: Efficient Use of Abstraction |
106
click to vote
CP
2005
Springer
15 years 7 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...
121
click to vote
WEA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A major task in evolutionary biology is to determine the ancestral relationships among the known species, a process generally referred as phylogenetic reconstruction. In ...
129
Voted
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Improving the precision of information retrieval has been a challenging issue on Chinese Web. As exemplified by Chinese recipes on the Web, it is not easy/natural for people to us...
120
click to vote
SIGMOD
2005
ACM
16 years 1 months ago
2005
ACM
Advanced database systems face a great challenge raised by the emergence of massive, complex structural data in bioinformatics, chem-informatics, and many other applications. The ...
113
click to vote
APLAS
2001
ACM
15 years 5 months ago
2001
ACM
The garbage collection is a safe and efficient method for managing the heap. However it is not efficient for temporary storages that are allocated often and deallocated quickly. R...