2465 search results - page 102 / 493 » Automata on Linear Orderings |
LFCS
2007
Springer
14 years 3 months ago
2007
Springer
Density elimination by substitutions is introduced as a uniform method for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi....
ICARCV
2006
IEEE
14 years 3 months ago
2006
IEEE
—This paper presents a multi-estimation adaptive control strategy for stabilizing a potentially noninversely stable, linear and time-invariant plant. Such a strategy works with s...
IEEECGIV
2005
IEEE
14 years 2 months ago
2005
IEEE
We use two fourth order geometric partial differential equations to efficiently solve several surface modelling problems, including the surface blending, the N-sided hole fillin...
IJIT
2004
13 years 10 months ago
2004
Minimization methods for training feed-forward networks with Backpropagation are compared. Feedforward network training is a special case of functional minimization, where no expli...
TWC
2011
13 years 4 months ago
2011
—This paper describes a new blind channel estimation algorithm for Space-Time Block Coded (STBC) systems. The proposed method exploits the statistical independence of sources bef...