1268 search results - page 135 / 254 » One Logic to Use Them All |
110
Voted
AAAI
2010
15 years 2 months ago
2010
In computational social choice, one important problem is to take the votes of a subelectorate (subset of the voters), and summarize them using a small number of bits. This needs t...
173
Voted
SIGMOD
2006
ACM
16 years 28 days ago
2006
ACM
In this paper, we propose a methodological approach for the model driven development of secure XML databases (DB). This proposal is within the framework of MIDAS, a model driven m...
102
Voted
LOPSTR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is t...
125
click to vote
GIS
1992
ACM
15 years 4 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
291
click to vote
ACTA
2011
14 years 7 months ago
2011
A simple mutual exclusion algorithm is presented that only uses nonatomic shared variables of bounded size, and that satisfies bounded overtaking. When the shared variables behave...