450 search results - page 15 / 90 » Satisfiability with Exponential Families |
EJC
2010
14 years 9 months ago
2010
The objective of this paper is to study a special family of Minkowski sums, that is of polytopes relatively in general position. We show that the maximum number of faces in the su...
ACL
1997
14 years 10 months ago
1997
This paper introduces new methods based on exponential families for modeling the correlations between words in text and speech. While previous work assumed the effects of word co-...
ICPADS
2008
IEEE
15 years 3 months ago
2008
IEEE
The resolution of combinatorial assortments of protein sequences into domains is a prerequisite for protein sequence interpretation. However the recognition and clustering of homo...
100
click to vote
MYCRYPT
2005
Springer
15 years 3 months ago
2005
Springer
Recently, some collisions have been exposed for a variety of cryptographic hash functions [20,21] including some of the most widely used today. Many other hash functions using simi...
SIAMCOMP
2000
14 years 9 months ago
2000
An exponential lower bound for the size of tree-like cutting planes refutations of a certain family of conjunctive normal form (CNF) formulas with polynomial size resolution refuta...