3624 search results - page 105 / 725 » Abstract Algebraic Logic |
142
click to vote
FUIN
2006
15 years 4 months ago
2006
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
117
click to vote
STACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper solves the unambiguity and the sequentiality problem for polynomially ambiguous min-plus automata. This result is proved through a decidable algebraic characte...
129
click to vote
ISPEC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we discuss the problem of collusion secure fingerprinting. In the first part of our contribution we prove the existence of equidistant codes that can be u...
146
click to vote
FSE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper we compare systems of multivariate polynomials, which completely define the block ciphers Khazad, Misty1, Kasumi, Camellia, Rijndael and Serpent in the vie...
125
Voted
FORTE
2004
15 years 6 months ago
2004
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...