2 search results - page 1 / 1 » Closeness and Distance Relations in Order of Magnitude Quali... |
CAEPIA
2009
Springer
13 years 5 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
BMCBI
2010
13 years 4 months ago
2010
Background: Improving the accuracy and efficiency of motif recognition is an important computational challenge that has application to detecting transcription factor binding sites...