502 search results - page 81 / 101 » Declarative Programming with Function Patterns |
186
click to vote
MEMOCODE
2010
IEEE
15 years 3 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
165
click to vote
ICNC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In recent years, support vector machines (SVMs) have become a popular tool for pattern recognition and machine learning. Training a SVM involves solving a constrained qua...
201
click to vote
FLOPS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...
210
click to vote
TFM
2009
Springer
16 years 15 days ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
188
click to vote
ENTCS
2007
15 years 5 months ago
2007
Poly-controlled partial evaluation (PCPE) is a flexible approach for specializing logic programs, which has been recently proposed. It takes into account repertoires of global co...