3624 search results - page 308 / 725 » Abstract Algebraic Logic |
223
click to vote
RSKT
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Decision-theoretic rough set models are a probabilistic extension of the algebraic rough set model. The required parameters for defining probabilistic lower and upper ap...
161
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
172
click to vote
SACRYPT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Synchronous stream ciphers need perfect synchronization between sender and receiver. In practice, this is ensured by a resync mechanism. Daemen et al. [10] first describ...
186
click to vote
WAOA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A strong vertex coloring of a hypergraph assigns distinct colors to vertices that are contained in a common hyperedge. This captures many previously studied graph colorin...
143
click to vote
ASIACRYPT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Khazad is a new block cipher initially proposed as a candidate to the NESSIE project. Its design is very similar to Rijndael, although it is a 64-bit block cipher. In thi...