1713 search results - page 323 / 343 » On the Importance of Being Quantum |
IJAR
2008
14 years 9 months ago
2008
Credal networks are models that extend Bayesian nets to deal with imprecision in probability, and can actually be regarded as sets of Bayesian nets. Credal nets appear to be power...
82
Voted
ENTCS
2006
14 years 9 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
103
click to vote
IJCSA
2008
14 years 9 months ago
2008
It is well known that transactional and analytical systems each require different database architecture. In general, the database structure of transactional systems is optimized f...
99
Voted
BMCBI
2007
14 years 9 months ago
2007
Background: Classification studies using gene expression datasets are usually based on small numbers of samples and tens of thousands of genes. The selection of those genes that a...
BMCBI
2007
14 years 9 months ago
2007
Background: Clustered Regularly Interspaced Palindromic Repeats (CRISPRs) are a novel type of direct repeat found in a wide range of bacteria and archaea. CRISPRs are beginning to...