2049 search results - page 12 / 410 » Normalization and Partial Evaluation |
CC
2003
Springer
15 years 4 months ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
89
Voted
FGR
2008
IEEE
15 years 6 months ago
2008
IEEE
Linear Discriminant Analysis (LDA) has been a popular method for feature extracting and face recognition. As a supervised method, it requires manually labeled samples for training...
95
Voted
ICFP
2005
ACM
15 years 5 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
IJAC
2007
14 years 11 months ago
2007
There exist two well-known quotients of the position automaton of a regular expression. The first one, called the equation automaton, has first been introduced by Mirkin from th...
91
Voted
DAC
2001
ACM
16 years 19 days ago
2001
ACM
An approach for factoring general boolean functions was described in [15, 16] which is based on graph partitioning algorithms. In this paper, we present a very fast algorithm for ...