1172 search results - page 19 / 235 » Using Small Screen Space More Efficiently |
147
Voted
AAAI
2004
15 years 3 months ago
2004
A memory-based heuristic is a heuristic function that is stored in a lookup table. Very accurate heuristics have been created by building very large lookup tables, sometimes calle...
140
Voted
FOCS
2009
IEEE
15 years 6 months ago
2009
IEEE
Given a set D = {d1, d2, ..., dD} of D strings of total length n, our task is to report the "most relevant" strings for a given query pattern P. This involves somewhat mo...
124
click to vote
TCBB
2008
15 years 2 months ago
2008
Two efficient and complementary sampling algorithms are presented to explore the space of closed clash-free conformations of a flexible protein loop. The "seed sampling" ...
142
click to vote
ENTCS
2006
15 years 2 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
124
Voted
RECOMB
2006
Springer
16 years 2 months ago
2006
Springer
We study the problem of enumerating substrings that are common amongst genomes that share evolutionary descent. For example, one might want to enumerate all identical (therefore co...