8025 search results - page 1523 / 1605 » Combinators Introduction: An Algorithm |
177
click to vote
INDOCRYPT
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we analyse the algebraic immunity of symmetric Boolean functions. We identify a set of lowest degree annihilators for symmetric functions and propose an efficient al...
148
click to vote
KDD
2005
ACM
15 years 10 months ago
2005
ACM
We propose a new text mining system which extracts characteristic contents from given documents. We define Key semantics as characteristic sub-structures of syntactic dependencie...
161
Voted
LCTRTS
2005
Springer
15 years 10 months ago
2005
Springer
Software pipelining is a critical optimization for producing efficient code for VLIW/EPIC and superscalar processors in highperformance embedded applications such as digital sign...
161
click to vote
PREMI
2005
Springer
15 years 10 months ago
2005
Springer
In the typical nonparametric approach to classification in instance-based learning and data mining, random data (the training set of patterns) are collected and used to design a d...
147
click to vote
RTA
2005
Springer
15 years 10 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...