8824 search results - page 90 / 1765 » On the Complexity of Real Functions |
116
click to vote
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to...
132
click to vote
FBIT
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper describes our first experiments on Reinforcement Learning to steer a real robot car. The applied method, Neural Fitted Q Iteration (NFQ) is purely data-driven based on ...
115
click to vote
CIE
2006
Springer
15 years 7 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
130
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- The efficiency of distributed sensor networks depends on an optimal trade-off between the usage of resources and data quality. The work in this paper addresses the probl...