4255 search results - page 250 / 851 » Cover |
115
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract: This document contains the Intellectual Property Statement and the technical description of the MQQ-SIG - a new public key digital signature scheme. The complete scientif...
192
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
171
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The maximum-likelihood decoding problem is known to be NP-hard for general linear and Reed-Solomon codes [1, 4]. In this paper, we introduce the notion of A-covered codes, that is...
151
click to vote
APAL
2006
15 years 6 months ago
2006
If a locale is presented by a "flat site", it is shown how its frame can be presented by generators and relations as a dcpo. A necessary and sufficient condition is deri...
137
click to vote
CAGD
2006
15 years 6 months ago
2006
ed/Indexed in: MathSci, INSPEC, Current Contents, Pascal, UnCover, Ei Compendex, Inside Conferences. This journal is part of ContentsDirect, the free alerting service which sends t...