2362 search results - page 155 / 473 » Programming in Standard ML |
129
click to vote
NIPS
2000
15 years 5 months ago
2000
We present an expressive agent design language for reinforcement learning that allows the user to constrain the policies considered by the learning process.The language includes s...
100
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper proposes a theory of encapsulation, taking the internationally standardized definition of that term and establishing a relationship between subsets and the elements tha...
CORR
2006
Springer
15 years 4 months ago
2006
Springer
In a previous paper we have suggested a number of ideas to attack circuit size complexity with cohomology. As a simple example, we take circuits that can only compute the AND of t...
146
Voted
CISIS
2008
IEEE
15 years 10 months ago
2008
IEEE
Hardware/software partitioning is a crucial problem in embedded system design. In this paper, we provide an alternative approach to solve this problem using Particle Swarm Optimiz...
120
Voted
MPC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Folds and unfolds are at the heart of the algebra of programming. They allow the cognoscenti to derive and manipulate programs rigorously and effectively. Fundamental la...