4207 search results - page 566 / 842 » Adaptive control allocation |
174
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
278
click to vote
AFPAC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Most of the processing in vision today uses spatially invariant operations. This gives efficient and compact computing structures, with the conventional convenient separa...
147
click to vote
ICIP
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper studies linear prediction algorithms for packet-delay modeling. A detailed examination of the delay traces collected from video streams encoded at different bitrates, s...
158
Voted
FROCOS
2009
Springer
16 years 21 days ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
173
Voted
IWSOS
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. In this paper, we describe an approach to activity recognition, which is based on a self-organizing, ad hoc network of body-worn sensors. It makes best use of the availab...