698 search results - page 65 / 140 » dagstuhl 2007 |
89
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
Abstract. An overview of the concept of program similarity is presented. It divides similarity into two types--syntactic and semantic-and provides a review of eight categories of m...
101
click to vote
DAGSTUHL
2007
15 years 2 months ago
2007
BiCEP is a new project being started at the University of Coimbra to benchmark Complex Event Processing systems (CEP). Although BiCEP is still in the early stages, we list here som...
DAGSTUHL
2007
15 years 2 months ago
2007
In this paper we give the first deterministic polynomial time algorithm for testing whether a diagonal depth-3 circuit C(x1, . . . , xn) (i.e. C is a sum of powers of linear funct...
96
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
Semantic structures for belief revision are proposed. We start with one-stage revision structures that generalize the notion of choice function from rational choice theory. A corr...
83
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
In this paper we define a notion of leak extraction from a block cipher. We demonstrate this new concept on an example of AES. A result is LEX: a simple AES-based stream cipher wh...