488 search results - page 98 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
BMCBI
2007
13 years 5 months ago
2007
Background: Human endogenous retroviruses (HERVs) are surviving traces of ancient retrovirus infections and now reside within the human DNA. Recently HERV expression has been dete...
TCSV
2011
13 years 12 days ago
2011
—We present in this paper an integrated solution to rapidly recognizing dynamic objects in surveillance videos by exploring various contextual information. This solution consists...
IUI
2010
ACM
14 years 2 months ago
2010
ACM
We present an extension of a computational cognitive model of social tagging and exploratory search called the semantic imitation model. The model assumes a probabilistic represen...