88 search results - page 15 / 18 » New Inference Rules for Efficient Max-SAT Solving |
DASFAA
2005
IEEE
2005
IEEE
NNF: An Effective Approach in Medicine Paring Analysis of Traditional Chinese Medicine Prescriptions
14 years 1 months ago
Medicine Paring Analysis is one of the most important tasks in the research of Traditional Chinese Medicine Prescriptions. The most essential and difficult step is to mine associat...
SARA
2007
Springer
14 years 1 months ago
2007
Springer
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
JUCS
2006
13 years 7 months ago
2006
: The need for processing biological information is rapidly growing, owing to the masses of new information in digital form being produced at this time. Old methodologies for proce...
BMCBI
2010
13 years 2 months ago
2010
Background: The Ensembl project produces updates to its comparative genomics resources with each of its several releases per year. During each release cycle approximately two week...
IJCAI
1989
13 years 8 months ago
1989
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the kno...