Sciweavers

57 search results - page 2 / 12
» Sequential Continuity of Functions in Constructive Analysis
Sort
View
TIM
2010
79views Education» more  TIM 2010»
14 years 7 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
84
Voted
MST
2008
101views more  MST 2008»
15 years 1 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
94
Voted
ICML
2007
IEEE
16 years 1 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
99
Voted
EOR
2010
116views more  EOR 2010»
15 years 1 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
15 years 6 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