115 search results - page 3 / 23 » Generating All Sets With Bounded Unions |
CSL
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
FOCS
2009
IEEE
14 years 15 days ago
2009
IEEE
We generalize the Kahn-Kalai-Linial (KKL) Theorem to random walks on Cayley and Schreier graphs, making progress on an open problem of Hoory, Linial, and Wigderson. In our general...
ORL
2008
13 years 5 months ago
2008
We show that using max-algebraic techniques it is possible to generate the set of all solutions to a system of inequalities xi xj bij; i; j = 1; :::; n using n generators. This e
IACR
2011
12 years 5 months ago
2011
We put forward a generalization of lossy trapdoor functions (LTFs). Namely, all-but-many lossy trapdoor functions (ABM-LTFs) are LTFs that are parametrized with tags. Each tag can...
DLT
2006
13 years 7 months ago
2006
Duplication is an operation generating a language from a single word by iterated application of rewriting rules u uu on factors. We extend this operation to entire languages and i...