Sciweavers

2940 search results - page 346 / 588
» Adaptive control of PDEs
Sort
View
AFPAC
2000
Springer
341views Mathematics» more  AFPAC 2000»
15 years 8 months ago
An Associative Perception-Action Structure Using a Localized Space Variant Information Representation
Abstract. Most of the processing in vision today uses spatially invariant operations. This gives efficient and compact computing structures, with the conventional convenient separa...
Gösta H. Granlund
ICIP
2006
IEEE
16 years 6 months ago
Predictive Modeling of Video Packet Delay in IP Networks
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...
Ali C. Begen, Mehmet A. Begen, Yucel Altunbasak
FROCOS
2009
Springer
15 years 11 months ago
Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme
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...
Stéphane Lescuyer, Sylvain Conchon
IWSOS
2009
Springer
15 years 11 months ago
A Self-organizing Approach to Activity Recognition with Wireless Sensors
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...
Clemens Holzmann, Michael Haslgrübler
CDC
2008
IEEE
161views Control Systems» more  CDC 2008»
15 years 10 months ago
Distributed policies for equitable partitioning: Theory and applications
Abstract— The most widely applied resource allocation strategy is to balance, or equalize, the total workload assigned to each resource. In mobile multi-agent systems, this princ...
Marco Pavone, Emilio Frazzoli, Francesco Bullo