321 search results - page 56 / 65 » Relating complexity and precision in control flow analysis |
NDSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Anti-malware companies receive thousands of malware samples every day. To process this large quantity, a number of automated analysis tools were developed. These tools execute a m...
BMCBI
2008
13 years 7 months ago
2008
Background: Leishmania and other members of the Trypanosomatidae family diverged early on in eukaryotic evolution and consequently display unique cellular properties. Their appare...
BMCBI
2008
13 years 7 months ago
2008
Background: Genome survey sequences (GSS) offer a preliminary global view of a genome since, unlike ESTs, they cover coding as well as non-coding DNA and include repetitive region...
JANCL
2008
13 years 7 months ago
2008
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
Background: Diagnosis techniques using urine are non-invasive, inexpensive, and easy to perform in clinical settings. The metabolites in urine, as the end products of cellular pro...