8766 search results - page 647 / 1754 » Functional logic programming |
139
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...
177
click to vote
IJCNN
2007
IEEE
16 years 18 days ago
2007
IEEE
— Using the classical Parzen window estimate as the target function, the kernel density estimation is formulated as a regression problem and the orthogonal forward regression tec...
173
click to vote
ESERNET
2003
Springer
15 years 11 months ago
2003
Springer
The origin of the study described here is the experiment performed by Basili and Selby, further replicated by Kamsties and Lott, and once again by Wood et al. These experiments inv...
159
click to vote
ICS
1999
Tsinghua U.
15 years 10 months ago
1999
Tsinghua U.
We introduce dependence-based pre-computation as a complement to history-based target prediction schemes. We present pre-computation in the context of virtual function calls (v-ca...
177
Voted
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Machine learning techniques are increasingly being applied to problems in the domain of information retrieval and text mining. In this paper we present an application of ...