536 search results - page 96 / 108 » Unsupervised evidence integration |
177
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
142
click to vote
SIGMOD
2008
ACM
15 years 11 months ago
2008
ACM
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
147
Voted
SIGMOD
2007
ACM
15 years 11 months ago
2007
ACM
The use of any modern computer system leaves unintended traces of expired data and remnants of users' past activities. In this paper, we investigate the unintended persistenc...
100
click to vote
ICS
2010
Tsinghua U.
15 years 8 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
101
click to vote
MICRO
2009
IEEE
15 years 5 months ago
2009
IEEE
Process variations in integrated circuits have significant impact on their performance, leakage and stability. This is particularly evident in large, regular and dense structures...