11397 search results - page 280 / 2280 » A Relational Abstraction for Functions |
159
click to vote
ICML
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper investigates the problem of automatically learning how to restructure the reward function of a Markov decision process so as to speed up reinforcement learning. We begi...
232
click to vote
CTRSA
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. The TLS and SSL protocols are widely used to ensure secure communication over an untrusted network. Therein, a client and server first engage in the so-called handshake ...
196
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Recent work has detailed the conditions under which univariate Laurent polynomials have functional decompositions. This paper presents algorithms to compute such univaria...
171
click to vote
ICALP
2004
Springer
16 years 21 days ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
203
click to vote
PADL
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...