150 search results - page 18 / 30 » Simply Normal Numbers to Different Bases |
BMCBI
2008
13 years 7 months ago
2008
Background: Several semantic similarity measures have been applied to gene products annotated with Gene Ontology terms, providing a basis for their functional comparison. However,...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
For video summarization and retrieval, one of the important modules is to group temporal-spatial coherent shots into high-level semantic video clips namely scene segmentation. In ...
BMCBI
2006
13 years 7 months ago
2006
Background: High throughput gene expression experiments yield large amounts of data that can augment our understanding of disease processes, in addition to classifying samples. He...
BIBE
2007
IEEE
14 years 1 months ago
2007
IEEE
— The prognosis for many cancers could be improved dramatically if they could be detected while still at the microscopic disease stage. We are investigating the possibility of de...
ACSD
2007
IEEE
13 years 8 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...