1466 search results - page 67 / 294 » Complexity of Reasoning over Temporal Data Models |
129
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Although testing for simultaneous divergence (vicariance) across different population-pairs that span the same barrier to gene flow is of central importance to evoluti...
115
click to vote
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
We are in the process of constructing a high resolution, high signal to noise ratio (SNR) dynamic MRI dataset for the human heart using methodology similar to that employed to cons...
148
click to vote
ECRTS
2010
IEEE
15 years 4 months ago
2010
IEEE
—In distributed real-time embedded systems (DRE), it is common to model an application as a set of task chains. Each chain is activated cyclically and must complete before an end...
145
click to vote
LOGCOM
2007
15 years 3 months ago
2007
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
134
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Determination of protein-DNA complex structures with both NMR and X-ray crystallography remains challenging in many cases. High Ambiguity-Driven DOCKing (HADDOCK) is a...