1092 search results - page 219 / 219 » Polynomial Interpretations and the Complexity of Algorithms |
IANDC
2011
13 years 8 days ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
BMCBI
2011
12 years 9 months ago
2011
Background: The ever increasing sizes of population genetic datasets pose great challenges for population structure analysis. The Tracy-Widom (TW) statistical test is widely used ...