898 search results - page 163 / 180 » A Linear Tabling Mechanism |
121
click to vote
STOC
2007
ACM
16 years 3 months ago
2007
ACM
This work is at the intersection of two lines of research. One line, initiated by Dinur and Nissim, investigates the price, in accuracy, of protecting privacy in a statistical dat...
127
Voted
POPL
2010
ACM
16 years 22 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
113
Voted
DNA
2009
Springer
15 years 10 months ago
2009
Springer
Recently we have shown how molecular logic circuits with many components arranged in multiple layers can be built using DNA strand displacement reactions. The potential application...
129
click to vote
SIGECOM
2009
ACM
15 years 9 months ago
2009
ACM
Restricting the preferences of the agents by assuming that their utility functions linearly depend on a payment allows for the positive results of the Vickrey auction and the Vick...
141
Voted
APCSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, a runtime performance projection model for dynamic power management is proposed. The model is built as a first-order linear equation using a linear regression model....