2018 search results - page 176 / 404 » Code Normal Forms |
112
click to vote
DAM
2006
15 years 2 months ago
2006
Abstract. Artin's braid groups currently provide a promising background for cryptographical applications, since the first cryptosystems using braids were introduced in [2, 3, ...
130
click to vote
ENTCS
2006
15 years 2 months ago
2006
In Rutten [13] the theoretical basis was given for the synthesis of binary Mealy machines from specifications in 2-adic arithmetic. This construction is based on the symbolic comp...
128
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
We present an algorithm to compute a parametric description of the totally mixed Nash equilibria of a generic game in normal form with a fixed structure. Using this representatio...
106
click to vote
SYNTHESE
2008
15 years 2 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
118
click to vote
TIP
2008
15 years 2 months ago
2008
Image priors based on products have been recognized to offer many advantages because they allow simultaneous enforcement of multiple constraints. However, they are inconvenient for...