Sciweavers

3557 search results - page 377 / 712
» Reviews
Sort
View
CONSTRAINTS
2006
76views more  CONSTRAINTS 2006»
15 years 6 months ago
Symmetry Definitions for Constraint Satisfaction Problems
We review the many different definitions of symmetry for constraint satisfaction problems (CSPs) that have appeared in the literature, and show that a symmetry can be defined in tw...
David A. Cohen, Peter Jeavons, Christopher Jeffers...
CSDA
2006
142views more  CSDA 2006»
15 years 6 months ago
Automatic approximation of the marginal likelihood in non-Gaussian hierarchical models
Fitting of non-Gaussian hierarchical random effects models by approximate maximum likelihood can be made automatic to the same extent that Bayesian model fitting can be automated ...
Hans J. Skaug, David A. Fournier
CVGIP
2006
121views more  CVGIP 2006»
15 years 6 months ago
Tetrahedral and hexahedral invertible finite elements
We review an algorithm for the finite element simulation of elastoplastic solids which is capable of robustly and efficiently handling arbitrarily large deformation. In fact, the ...
Geoffrey Irving, Joseph Teran, Ronald Fedkiw
DEBU
2006
82views more  DEBU 2006»
15 years 6 months ago
Structured Queries Over Web Text
The Web contains a vast amount of text that can only be queried using simple keywords-in, documentsout search queries. But Web text often contains structured elements, such as hot...
Michael J. Cafarella, Oren Etzioni, Dan Suciu
ECCC
2006
88views more  ECCC 2006»
15 years 6 months ago
On Probabilistic versus Deterministic Provers in the Definition of Proofs Of Knowledge
Abstract. This article points out a gap between two natural formulations of the concept of a proof of knowledge, and shows that in all natural cases (e.g., NP-statements) this gap ...
Mihir Bellare, Oded Goldreich