1142 search results - page 108 / 229 » Set Variables and Local Search |
142
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: The problem of protein structure prediction consists of predicting the functional or native structure of a protein given its linear sequence of amino acids. This probl...
148
Voted
CORR
2010
Springer
15 years 21 days ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
105
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
173
Voted
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
Given that commercial search engines cover billions of web pages, efficiently managing the corresponding volumes of disk-resident data needed to answer user queries quickly is a f...
119
click to vote
ICDE
2005
IEEE
15 years 9 months ago
2005
IEEE
In recent years, content-based image retrieval has become more and more important in many application areas. Similarity retrieval is inherently a very demanding process, in partic...