4716 search results - page 165 / 944 » Tangible functional programming |
226
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...
123
click to vote
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
147
click to vote
ECML
2004
Springer
15 years 6 months ago
2004
Springer
The kernel function plays a central role in kernel methods. Most existing methods can only adapt the kernel parameters or the kernel matrix based on empirical data. Recently, Ong e...
136
click to vote
INFORMATICALT
2000
15 years 2 months ago
2000
Abstract. In this paper we suggest a three-language (3L) paradigm for building the program generator models. The basis of the paradigm is a relationship model of the specification,...
122
click to vote
EUROPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Complex software systems use many shared libraries frequently composed of large off-the-shelf components. Only a limited number of functions are used from these shared li...