5387 search results - page 371 / 1078 » Generating generic functions |
179
click to vote
STACS
2007
Springer
16 years 26 days ago
2007
Springer
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. Performances of an MDP are evaluated by a payoff function. The controller of ...
180
click to vote
TPHOL
2003
IEEE
16 years 8 hour ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
165
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
Abstract— A disjoint support decomposition (DSD) is a representation of a Boolean function F obtained by composing two or more simpler component functions such that the component...
172
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We consider the problem of multi-task reinforcement learning where the learner is provided with a set of tasks, for which only a small number of samples can be generated for any g...
155
click to vote
AEI
1998
15 years 6 months ago
1998
Functional labels provide a simple but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representa...