509 search results - page 48 / 102 » Standardization and Testing of Mathematical Functions |
102
click to vote
JEI
2008
15 years 2 months ago
2008
We introduce a novel workflow that will hopefully open new directions of processing and improvement in image reproduction. Existing gamut mapping algorithms can be classified into ...
133
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Temporal difference methods are theoretically grounded and empirically effective methods for addressing reinforcement learning problems. In most real-world reinforcement learning ...
111
Voted
FCCM
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper proposes optimizations of the methods and parameters used in both mathematical approximation and hardware design for logarithmic number system (LNS) arithmetic. First, ...
132
click to vote
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
140
Voted
CG
2002
Springer
15 years 2 months ago
2002
Springer
Gentropy is a genetic programming system that evolves two-dimensional procedural textures. It synthesizes textures by combining mathematical and image manipulation functions into ...