4255 search results - page 220 / 851 » Cover |
129
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
We propose a multi-document generic summarization model based on the budgeted median problem. Our model selects sentences to generate a summary so that every sentence in the docum...
142
click to vote
ESA
2009
Springer
15 years 11 months ago
2009
Springer
We give a general framework for the problem of finding all minimal hitting sets of a family of objects in Rd by another. We apply this framework to the following problems: (i) hit...
130
click to vote
FC
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a hierarchy of privacy notions that covers multiple anonymity and unlinkability variants. The underlying definitions, which are based on the idea of indistingu...
127
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
129
click to vote
ISSAC
2009
Springer
15 years 11 months ago
2009
Springer
We extend Zeilberger’s approach to special function identities to cases that are not holonomic. The method of creative telescoping is thus applied to definite sums or integrals...