Sciweavers

3670 search results - page 33 / 734
» Linear Recursive Functions
Sort
View
RC
2006
69views more  RC 2006»
13 years 9 months ago
The Set of Hausdorff Continuous Functions - The Largest Linear Space of Interval Functions
Hausdorff continuous (H-continuous) functions are special interval-valued functions which are commonly used in practice, e.g. histograms are such functions. However, in order to av...
Roumen Anguelov, Svetoslav Markov, Blagovest Sendo...
ICDIM
2010
IEEE
13 years 7 months ago
High-order functions and their ordering relations
High-order functions are the sole elements in a class of recursive functions. The functions are related to each other through application, i.e., applying a function to an argument...
Kevin H. Xu, Jingsong Zhang, Shelby Gao
POPL
2010
ACM
14 years 7 months ago
Nominal System T
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
Andrew M. Pitts
ISCAS
2005
IEEE
139views Hardware» more  ISCAS 2005»
14 years 3 months ago
The missing observations theorem and a new proof of Levinson's recursion
— A principle of linear mean-square estimation which we call the “missing observations theorem” is presented here and used to provide a simple alternative derivation of Levin...
Charles W. Therrien
CSDA
2006
81views more  CSDA 2006»
13 years 9 months ago
A recursive approach to detect multivariable conditional variance components and conditional random effects
A complex trait like crop yield is determined by its component traits. Multivariable conditional analysis in a general mixed linear model is helpful in dissecting the gene express...
Jixiang Wu, Dongfeng Wu, Johnie N. Jenkins Jr., Ja...