1743 search results - page 61 / 349 » Generalized Modal Satisfiability |
IMAMS
2007
13 years 11 months ago
2007
In this paper a method is presented to fair the limit surface of a subdivision algorithm around an extraordinary point. The eigenvalues and eigenvectors of the subdivision matrix d...
EXACT
2007
14 years 9 days ago
2007
This study describes a discourse approach to explanation aware knowledge representation. It presents a reasoning model that adheres to argumentation as found in written discourse,...
SIGMOD
2010
ACM
13 years 10 months ago
2010
ACM
Most previous research on privacy-preserving data publishing, based on the k-anonymity model, has followed the simplistic approach of homogeneously giving the same generalized val...
SIGECOM
2008
ACM
13 years 10 months ago
2008
ACM
We introduce a class of voting rules called generalized scoring rules. Under such a rule, each vote generates a vector of k scores, and the outcome of the voting rule is based onl...
SOSP
2007
ACM
14 years 6 months ago
2007
ACM
Reliable storage systems depend in part on “write-before” relationships where some changes to stable storage are delayed until other changes commit. A journaled file system, ...