Sciweavers

3850 search results - page 415 / 770
» Optimal Linear Broadcast
Sort
View
ICFP
2003
ACM
16 years 6 months ago
An effective theory of type refinements
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
Yitzhak Mandelbaum, David Walker, Robert Harper
CVPR
2010
IEEE
16 years 2 months ago
Convex Shape Decomposition
In this paper, we propose a new shape decomposition method, called convex shape decomposition. We formalize the convex decomposition problem as an integer linear programming probl...
Liu Hairong, Longin Jan Latecki, Liu Wenyu
ICASSP
2009
IEEE
16 years 1 months ago
Distributed adaptive estimation of correlated node-specific signals in a fully connected sensor network
We introduce a distributed adaptive estimation algorithm operating in an ideal fully connected sensor network. The algorithm estimates node-specific signals at each node based on...
Alexander Bertrand, Marc Moonen
ICANN
2009
Springer
16 years 1 months ago
Adaptive Feature Transformation for Image Data from Non-stationary Processes
Abstract. This paper introduces the application of the feature transformation approach proposed by Torkkola [1] to the domain of image processing. Thereto, we extended the approach...
Erik Schaffernicht, Volker Stephan, Horst-Michael ...
ICASSP
2008
IEEE
16 years 1 months ago
Distributed Kalman filtering based on quantized innovations
We consider state estimation of a Markov stochastic process using an ad hoc wireless sensor network (WSN) based on noisy linear observations. Due to power and bandwidth constraint...
Eric J. Msechu, Alejandro Ribeiro, Stergios I. Rou...