224 search results - page 39 / 45 » Constraint Reasoning with Uncertain Data Using CDF-Intervals |
ACL
2011
14 years 3 months ago
2011
We learn a joint model of sentence extraction and compression for multi-document summarization. Our model scores candidate summaries according to a combined linear model whose fea...
125
click to vote
PEPM
2011
ACM
14 years 2 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
178
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
207
click to vote
POPL
2005
ACM
16 years 1 hour ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
108
click to vote
ICPP
2002
IEEE
15 years 4 months ago
2002
IEEE
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...