Sciweavers

2960 search results - page 558 / 592
» The Culture Based Model: Constructing a Model of Culture
Sort
View
BMCBI
2007
160views more  BMCBI 2007»
15 years 18 days ago
Identifying protein complexes directly from high-throughput TAP data with Markov random fields
Background: Predicting protein complexes from experimental data remains a challenge due to limited resolution and stochastic errors of high-throughput methods. Current algorithms ...
Wasinee Rungsarityotin, Roland Krause, Arno Sch&ou...
121
Voted
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 17 days ago
Termination Detection of Local Computations
Contrary to the sequential world, the processes involved in a distributed system do not necessarily know when a computation is globally finished. This paper investigates the proble...
Emmanuel Godard, Yves Métivier, Gerard Tel
101
Voted
ENTCS
2008
140views more  ENTCS 2008»
15 years 16 days ago
Higher-Order Separation Logic in Isabelle/HOLCF
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...
Carsten Varming, Lars Birkedal
109
Voted
BMCBI
2006
142views more  BMCBI 2006»
15 years 16 days ago
Improving the Performance of SVM-RFE to Select Genes in Microarray Data
Background: Recursive Feature Elimination is a common and well-studied method for reducing the number of attributes used for further analysis or development of prediction models. ...
Yuanyuan Ding, Dawn Wilkins
91
Voted
COMCOM
2006
81views more  COMCOM 2006»
15 years 15 days ago
A case for tree evolution in QoS multicasting
The phenomenal growth of group communications and QoS-aware applications over the Internet have accelerated the development of multicasting technologies. The Core-Based Tree (CBT) ...
Anirban Chakrabarti, G. Manimaran