238 search results - page 5 / 48 » On Tractability and Congruence Distributivity |
133
Voted
CONCUR
2011
Springer
14 years 12 days ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
115
click to vote
PODS
2010
ACM
15 years 5 months ago
2010
ACM
Abiteboul et al. initiated the systematic study of distributed XML documents consisting of several logical parts, possibly located on different machines. The physical distributio...
110
Voted
UAI
2000
15 years 1 months ago
2000
In this paper we present decomposable priors, a family of priors over structure and parameters of tree belief nets for which Bayesian learning with complete observations is tracta...
96
Voted
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
The inhomogeneous Poisson process is a point process that has varying intensity across its domain (usually time or space). For nonparametric Bayesian modeling, the Gaussian proces...
86
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Recent results have established that a variety of voting rules are computationally hard to manipulate in the worst-case; this arguably provides some guarantee of resistance to man...