7924 search results - page 54 / 1585 » Non-Malleable Functions and Their Applications |
COMBINATORICS
1999
13 years 8 months ago
1999
An asymptotic estimate is given for the coefficients of products of large powers of generating functions. This theorem and another local limit theorem which is useful for conditio...
WWW
2011
ACM
13 years 3 months ago
2011
ACM
Web pages are usually highly structured documents. In some documents, content with different functionality is laid out in blocks, some merely supporting the main discourse. In ot...
ACL2
2006
ACM
14 years 2 months ago
2006
ACM
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
MLQ
2006
13 years 8 months ago
2006
This paper is a companion to work of Feferman, J
ETFA
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...