Sciweavers

1368 search results - page 143 / 274
» Generalized Rook Polynomials
Sort
View
LCTRTS
2004
Springer
15 years 10 months ago
Flattening statecharts without explosions
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
Andrzej Wasowski
129
Voted
LPAR
2004
Springer
15 years 10 months ago
Uniform Rules and Dialogue Games for Fuzzy Logics
Abstract. We provide uniform and invertible logical rules in a framework of relational hypersequents for the three fundamental t-norm based fuzzy logics i.e., Łukasiewicz logic, G...
Agata Ciabattoni, Christian G. Fermüller, Geo...
TCC
2004
Springer
101views Cryptology» more  TCC 2004»
15 years 10 months ago
Implementing Oblivious Transfer Using Collection of Dense Trapdoor Permutations
Abstract. Until recently, the existence of collection of trapdoor permutations (TDP) was believed (and claimed) to imply almost all of the major cryptographic primitives, including...
Iftach Haitner
FOCS
2003
IEEE
15 years 10 months ago
The Complexity of Homomorphism and Constraint Satisfaction Problems Seen from the Other Side
We give a complexity theoretic classification of homomorphism problems for graphs and, more generally, relational structures obtained by restricting the left hand side structure ...
Martin Grohe
EUROCRYPT
2003
Springer
15 years 9 months ago
The GHS Attack Revisited
Abstract. We generalize the Weil descent construction of the GHS attack to arbitrary Artin-Schreier extensions. We give a formula for the characteristic polynomial of Frobenius of ...
Florian Hess