Sciweavers

3155 search results - page 521 / 631
» How Are You Doing
Sort
View
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
15 years 1 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
BMCBI
2010
126views more  BMCBI 2010»
15 years 1 months ago
A boosting method for maximizing the partial area under the ROC curve
Background: The receiver operating characteristic (ROC) curve is a fundamental tool to assess the discriminant performance for not only a single marker but also a score function c...
Osamu Komori, Shinto Eguchi
BMCBI
2008
114views more  BMCBI 2008»
15 years 1 months ago
TiGER: A database for tissue-specific gene expression and regulation
Background: Understanding how genes are expressed and regulated in different tissues is a fundamental and challenging question. However, most of currently available biological dat...
Xiong Liu, Xueping Yu, Donald J. Zack, Heng Zhu, J...
103
Voted
BMCBI
2007
111views more  BMCBI 2007»
15 years 1 months ago
Modular co-evolution of metabolic networks
Background: The architecture of biological networks has been reported to exhibit high level of modularity, and to some extent, topological modules of networks overlap with known f...
Jing Zhao, Guohui Ding, Lin Tao, Hong Yu, Zhong-Ha...
CACM
2008
101views more  CACM 2008»
15 years 1 months ago
Just say 'A Class Defines a Data Type'
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...
Chenglie Hu