10061 search results - page 1822 / 2013 » Statistical Models of Conditioning |
133
Voted
AAECC
2007
Springer
15 years 3 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
128
Voted
AHSWN
2010
15 years 3 months ago
2010
Considerations of realistic channel dynamics motivate the design of a new breed of opportunistic schemes, such as opportunistic transmission, scheduling and routing. Compared to t...
139
Voted
ANOR
2007
15 years 3 months ago
2007
Abstract The pervasiveness and impact on society and on every day human life of technology has led to a growing awareness that science and technology cannot be considered above or ...
117
Voted
AUTOMATICA
2008
15 years 3 months ago
2008
The accuracy of plant parameters estimated in closed-loop operation is investigated for a class of multivariable systems and for the situation where only some of the reference inp...
174
Voted
CCE
2008
15 years 3 months ago
2008
Deterministic optimization approaches have been well developed and widely used in the process industry to accomplish off-line and on-line process optimization. The challenging tas...