450 search results - page 45 / 90 » Algorithmic uses of the Feferman-Vaught Theorem |
124
click to vote
SODA
2003
ACM
15 years 3 months ago
2003
ACM
In this paper we present a simple deterministic algorithm for testing whether a multivariate polynomial f(x1, . . . , xn) is identically zero, in time polynomial in m, n, log(d + ...
111
click to vote
MA
2010
Springer
15 years 11 days ago
2010
Springer
We consider Bayesian analysis of data from multivariate linear regression models whose errors have a distribution that is a scale mixture of normals. Such models are used to analy...
122
click to vote
ALT
2005
Springer
15 years 11 months ago
2005
Springer
Efficient learnability using the state merging algorithm is known for a subclass of probabilistic automata termed µ-distinguishable. In this paper, we prove that state merging alg...
112
click to vote
SIAMDM
2010
14 years 8 months ago
2010
Inspired by the convex program of Eisenberg and Gale which captures Fisher markets with linear utilities, Jain and Vazirani [STOC, 2007] introduced the class of EisenbergGale (EG)...
156
click to vote
CSFW
1999
IEEE
15 years 6 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...