1351 search results - page 13 / 271 » An Analysis of Inference with the Universum |
FMOODS
2008
14 years 11 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
134
click to vote
BMCBI
2011
14 years 1 months ago
2011
Background: The ever increasing sizes of population genetic datasets pose great challenges for population structure analysis. The Tracy-Widom (TW) statistical test is widely used ...
IWPC
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
ICDM
2008
IEEE
15 years 4 months ago
2008
IEEE
Privacy-Preserving Data Re-publishing (PPDR) deals with publishing microdata in dynamic scenarios. Due to privacy concerns, data must be disguised before being published. Research...
SAS
2005
Springer
15 years 3 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...