288 search results - page 23 / 58 » An algebraic generalization of Kripke structures |
94
Voted
CISC
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. In 2002, algebraic attacks using overdefined systems of equations have been proposed as a potentially very powerful cryptanalysis technique against block ciphers. However...
80
Voted
CP
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Most previous theoretical study of the complexity of the constraint satisfaction problem has considered a simplified version of the problem in which all variables have t...
84
Voted
CORR
2011
Springer
14 years 2 months ago
2011
Springer
—Multiple Input Double Output (MIDO) asymmetric space-time codes for 4 transmit antennas and 2 receive antennas can be employed in the downlink from base stations to portable dev...
FUIN
2007
14 years 10 months ago
2007
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
82
Voted
CORR
2006
Springer
14 years 10 months ago
2006
Springer
A Space-Time Block Code (STBC) in K symbols (variables) is called g-group decodable STBC if its maximumlikelihood decoding metric can be written as a sum of g terms such that each ...