3446 search results - page 639 / 690 » A Reasoning Algorithm for pD* |
116
click to vote
KDD
2004
ACM
16 years 1 months ago
2004
ACM
Transformation of both the response variable and the predictors is commonly used in fitting regression models. However, these transformation methods do not always provide the maxi...
121
click to vote
KDD
2002
ACM
16 years 1 months ago
2002
ACM
Data on individuals and entities are being collected widely. These data can contain information that explicitly identifies the individual (e.g., social security number). Data can ...
217
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
215
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
224
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...