1173 search results - page 217 / 235 » Program Derivation Using Analogy |
DLOG
2008
14 years 11 days ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Building adaptive constraint solvers is a major challenge in constraint programming. An important line of research towards this goal is concerned with ways to dynamically adapt th...
NIPS
2007
13 years 11 months ago
2007
We present a novel message passing algorithm for approximating the MAP problem in graphical models. The algorithm is similar in structure to max-product but unlike max-product it ...
BMCBI
2007
13 years 10 months ago
2007
Background: Liquid chromatography coupled with tandem mass spectrometry (LC-MS/MS) has become one of the most used tools in mass spectrometry based proteomics. Various algorithms ...
BMCBI
2007
13 years 10 months ago
2007
Background: Cowpea [Vigna unguiculata (L.) Walp.] is one of the most important food and forage legumes in the semiarid tropics because of its ability to tolerate drought and grow ...