7167 search results - page 711 / 1434 » Answer Set Programming |
233
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Correctly merged data sets that have been independently genotyped can increase statistical power in linkage and association studies. However, alleles from microsatelli...
186
click to vote
SBACPAD
2008
IEEE
16 years 1 months ago
2008
IEEE
Due to the advent of multi-core processors and the consequent need for better concurrent programming abstractions, new synchronization paradigms have emerged. A promising one, kno...
185
Voted
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
168
click to vote
SAS
2007
Springer
16 years 1 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
179
click to vote
SCAM
2006
IEEE
16 years 1 months ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...