2465 search results - page 102 / 493 » Automata on Linear Orderings |
130
click to vote
LFCS
2007
Springer
15 years 10 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....
129
click to vote
ICARCV
2006
IEEE
15 years 10 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...
210
click to vote
IEEECGIV
2005
IEEE
15 years 10 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...
152
click to vote
IJIT
2004
15 years 5 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...
160
click to vote
TWC
2011
14 years 11 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...