3521 search results - page 314 / 705 » Algorithmic Control in Concurrent Computations |
124
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
164
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
Studying the association between quantitative phenotype (such as height or weight) and single nucleotide polymorphisms (SNPs) is an important problem in biology. To understand und...
134
click to vote
DIS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Information networks, such as social networks and that extracted from bibliographic data, are changing dynamically over time. It is crucial to discover time-evolving comm...
168
Voted
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
New multimedia embedded applications are increasingly dynamic, and rely on Dynamically-allocated Data Types (DDTs) to store their data. The optimization of DDTs for each target em...
150
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Computational identification of blood-secretory proteins, especially proteins with differentially expressed genes in diseased tissues, can provide highly useful inform...