5634 search results - page 457 / 1127 » About Abstract Classes |
175
click to vote
CSFW
2005
IEEE
16 years 13 days ago
2005
IEEE
In the analysis of security protocols, the knowledge of attackers is often described in terms of message deducibility and indistinguishability relations. In this paper, we pursue ...
152
click to vote
FDL
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper explores the suitability of UML techniques for defining hierarchical relationships in AMS (analogue and mixed-signal) circuit blocks, and XML for storing soft AMS IP de...
127
Voted
ISCAS
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract— In this paper, we present a new description of the XCode, a class of MDS array code, using skews, named S-Code. The X-Codes result in codewords that are arrays of size ...
156
click to vote
APLAS
2005
ACM
16 years 11 days ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
169
click to vote
APPROX
2005
Springer
16 years 10 days ago
2005
Springer
Abstract: We study the average-case learnability of DNF formulas in the model of learning from uniformly distributed random examples. We define a natural model of random monotone ...