Sciweavers

22 search results - page 2 / 5
» rp 2010
Sort
View
ACMSE
2010
ACM
13 years 3 months ago
Generating three binary addition algorithms using reinforcement programming
Reinforcement Programming (RP) is a new technique for automatically generating a computer program using reinforcement learning methods. This paper describes how RP learned to gene...
Spencer K. White, Tony R. Martinez, George L. Rudo...
RP
2010
Springer
118views Control Systems» more  RP 2010»
13 years 2 months ago
Efficient Construction of Semilinear Representations of Languages Accepted by Unary NFA
Chrobak (1986) proved that a language accepted by a given nondeterministic finite automaton with one-letter alphabet, i.e., a unary NFA, with n states can be represented as the uni...
Zdenek Sawa
RP
2010
Springer
133views Control Systems» more  RP 2010»
13 years 3 months ago
Behavioral Cartography of Timed Automata
We aim at finding a set of timing parameters for which a given timed automaton has a “good” behavior. We present here a novel approach based on the decomposition of the parame...
Étienne André, Laurent Fribourg
RP
2010
Springer
150views Control Systems» more  RP 2010»
13 years 2 months ago
Rewriting Systems for Reachability in Vector Addition Systems with Pairs
We adapt hypergraph rewriting system to a generalization of Vector Addition Systems with States (VASS) that we call vector addition systems with pairs (VASP). We give rewriting sys...
Paulin Jacobé de Naurois, Virgile Mogbil
ICASSP
2010
IEEE
13 years 5 months ago
An estimation method for the relative phase parameters of complex wavelet coefficients in noise
This paper proposes a method to estimate the parameters of the relative phase probability density function (RP pdf) of the complex coefficients when the image is corrupted by add...
Yothin Rakvongthai, Soontorn Oraintara