Sciweavers

8776 search results - page 1335 / 1756
» Robust Data Clustering
Sort
View
HPCA
1999
IEEE
15 years 11 months ago
Comparative Evaluation of Fine- and Coarse-Grain Approaches for Software Distributed Shared Memory
Symmetric multiprocessors (SMPs) connected with low-latency networks provide attractive building blocks for software distributed shared memory systems. Two distinct approaches hav...
Sandhya Dwarkadas, Kourosh Gharachorloo, Leonidas ...
CAV
2010
Springer
194views Hardware» more  CAV 2010»
15 years 10 months ago
LTSmin: Distributed and Symbolic Reachability
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
Stefan Blom, Jaco van de Pol, Michael Weber
CLEF
2008
Springer
15 years 8 months ago
RAVE: A Fast Logic-Based Answer Validator
RAVE (Real-time Answer Validation Engine) is a logic-based answer validator/selector designed for real-time question answering. Instead of proving a hypothesis for each answer, RAV...
Ingo Glöckner
173
Voted
BMCBI
2010
100views more  BMCBI 2010»
15 years 6 months ago
Using genomic signatures for HIV-1 sub-typing
Background: Human Immunodeficiency Virus type 1 (HIV-1), the causative agent of Acquired Immune Deficiency Syndrome (AIDS), exhibits very high genetic diversity with different var...
Aridaman Pandit, Somdatta Sinha
BMCBI
2008
112views more  BMCBI 2008»
15 years 6 months ago
Evaluation of genomic island predictors using a comparative genomics approach
Background: Genomic islands (GIs) are clusters of genes in prokaryotic genomes of probable horizontal origin. GIs are disproportionately associated with microbial adaptations of m...
Morgan G. I. Langille, William W. L. Hsiao, Fiona ...
« Prev « First page 1335 / 1756 Last » Next »