3134 search results - page 91 / 627 » Computing full disjunctions |
116
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Protein-protein interactions are fundamental for the majority of cellular processes and their study is of enormous biotechnological and therapeutic interest. In recent...
139
click to vote
CAL
2002
15 years 2 months ago
2002
Abstract-- Computer architects must determine how to most effectively use finite computational resources when running simulations to evaluate new architectural ideas. To facilitate...
141
Voted
KDD
2006
ACM
16 years 2 months ago
2006
ACM
This paper describes a novel classification method for computer aided detection (CAD) that identifies structures of interest from medical images. CAD problems are challenging larg...
120
Voted
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
122
Voted
WETICE
2009
IEEE
15 years 9 months ago
2009
IEEE
— The skyrocketing demand for a new generation of cloud-based consumer and business applications is driving the need for next generation of datacenters that must be massively sca...