867 search results - page 117 / 174 » On Two Forms of Structural Recursion |
119
Voted
PLPV
2010
ACM
15 years 9 months ago
2010
ACM
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...
105
Voted
PAKDD
2009
ACM
15 years 7 months ago
2009
ACM
Abstract. Clustering high dimensional data with sparse features is challenging because pairwise distances between data items are not informative in high dimensional space. To addre...
DFT
2009
IEEE
15 years 7 months ago
2009
IEEE
Pre-fabrication design verification and post-fabrication chip testing are two important stages in the product realization process. These two stages consume a large part of resourc...
IJCNN
2008
IEEE
15 years 7 months ago
2008
IEEE
— Machine learning has made great progress during the last decades and is being deployed in a wide range of applications. However, current machine learning techniques are far fro...
SAT
2007
Springer
15 years 6 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...