5499 search results - page 355 / 1100 » Generalized Rewrite Theories |
169
Voted
EUROCRYPT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper describes new methods for fast correlation attacks, based on the theory of convolutional codes. They can be applied to arbitrary LFSR feedback polynomials, in ...
170
click to vote
SAC
1994
ACM
15 years 11 months ago
1994
ACM
In this paper, the interest of fuzzy sets and possibility theory in the context of databases is presented. It is shown that these " notions provide an homogeneous framework f...
186
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
206
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...
154
click to vote
RTA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We extend first-order order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The set of basic sorts is ...