1757 search results - page 7 / 352 » Alternating Refinement Relations |
CIVR
2007
Springer
14 years 3 months ago
2007
Springer
AES
2004
Springer
14 years 1 months ago
2004
Springer
The best upper bounds on the maximum expected linear probability (MELP) and the maximum expected differential probability
CORR
2008
Springer
13 years 9 months ago
2008
Springer
SIAMCOMP
2000
13 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...
DLOG
2009
13 years 7 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...