12 search results - page 3 / 3 » On Containment of Conjunctive Queries with Arithmetic Compar... |
JAPLL
2010
14 years 8 months ago
2010
We introduce the extended modal logic EML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as nu...
105
click to vote
BMCBI
2005
14 years 9 months ago
2005
Background: Several problems exist with current methods used to align DNA sequences for comparative sequence analysis. Most dynamic programming algorithms assume that conserved se...