Sciweavers

57 search results - page 2 / 12
» Sequential Continuity of Functions in Constructive Analysis
Sort
View
TIM
2010
79views Education» more  TIM 2010»
12 years 12 months ago
Desired Order Continuous Polynomial Time Window Functions for Harmonic Analysis
Abstract--An approach for the construction of a family of desired order continuous polynomial time window functions is presented without self-convolution of the parent window. The ...
P. Singla, T. Singh
MST
2008
101views more  MST 2008»
13 years 5 months ago
Realizability interpretation of proofs in constructive analysis
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
Helmut Schwichtenberg
ICML
2007
IEEE
14 years 6 months ago
Constructing basis functions from directed graphs for value function approximation
Basis functions derived from an undirected graph connecting nearby samples from a Markov decision process (MDP) have proven useful for approximating value functions. The success o...
Jeffrey Johns, Sridhar Mahadevan
EOR
2010
116views more  EOR 2010»
13 years 5 months ago
Speeding up continuous GRASP
Continuous GRASP (C-GRASP) is a stochastic local search metaheuristic for finding cost-efficient solutions to continuous global optimization problems subject to box constraints (Hi...
Michael J. Hirsch, Panos M. Pardalos, Mauricio G. ...
BIRTHDAY
2003
Springer
13 years 10 months ago
Digital Algebra and Circuits
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...
Jean Vuillemin