4743 search results - page 186 / 949 » Introduction to Functional Programming |
162
Voted
ICML
2003
IEEE
16 years 7 months ago
2003
IEEE
We investigate methods for planning in a Markov Decision Process where the cost function is chosen by an adversary after we fix our policy. As a running example, we consider a rob...
140
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...
184
click to vote
ETFA
2008
IEEE
16 years 24 days ago
2008
IEEE
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
180
click to vote
IJCNN
2007
IEEE
16 years 20 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...
175
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...