2006 search results - page 300 / 402 » Heuristic Security-Testing Methods |
114
click to vote
ECAI
2004
Springer
15 years 4 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
109
click to vote
BMCBI
2010
15 years 24 days ago
2010
Background: In cancer, gene networks and pathways often exhibit dynamic behavior, particularly during the process of carcinogenesis. Thus, it is important to prioritize those gene...
119
Voted
BMCBI
2010
15 years 24 days ago
2010
Background: There are many important clustering questions in computational biology for which no satisfactory method exists. Automated clustering algorithms, when applied to large,...
121
Voted
EOR
2010
15 years 23 days ago
2010
Abstract: Probabilistically constrained problems, in which the random variables are finitely distributed, are nonconvex in general and hard to solve. The p-efficiency concept has b...
BMCBI
2006
15 years 22 days ago
2006
Background: Determining whether a gene is differentially expressed in two different samples remains an important statistical problem. Prior work in this area has featured the use ...