1102 search results - page 213 / 221 » Generalizing Updates: From Models to Programs |
BMCBI
2008
13 years 7 months ago
2008
Background: Phylogenetic networks are a generalization of phylogenetic trees that allow for the representation of evolutionary events acting at the population level, like recombin...
ENTCS
2008
13 years 7 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
IJHPCN
2006
13 years 7 months ago
2006
As symmetric multiprocessors become commonplace, the interconnection networks and the communication system software in clusters of multiprocessors become critical to achieving high...
CIVR
2010
Springer
13 years 5 months ago
2010
Springer
In many applications, we find large video collections from different genres where the user is often only interested in one or two specific video genres. So, when users are queryin...
BMCBI
2011
13 years 2 months ago
2011
Background: The prediction of the structure of large RNAs remains a particular challenge in bioinformatics, due to the computational complexity and low levels of accuracy of state...