Sciweavers

2636 search results - page 193 / 528
» Linear Programming
Sort
View
ICCV
2009
IEEE
16 years 7 months ago
Filter Flow
The filter flow problem is to compute a space-variant linear filter that transforms one image into another. This framework encompasses a broad range of transformations including...
Steven M. Seitz, Simon Baker
83
Voted
ICASSP
2008
IEEE
15 years 9 months ago
Decoding real-field codes by an iterative Expectation-Maximization (EM) algorithm
In this paper, a new approach for decoding real-field codes based on finding sparse solutions of underdetermined linear systems is proposed. This algorithm iteratively estimates...
Hadi Zayyani, Massoud Babaie-Zadeh, Christian Jutt...
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
15 years 7 months ago
Piecewise-linear constrained control for timed continuous Petri nets
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
Carlos Renato Vázquez, Manuel Silva
80
Voted
EOR
2006
71views more  EOR 2006»
15 years 2 months ago
Control and optimal response problems for quasilinear impulsive integrodifferential equations
One of the central results of the paper is the Pontryagin maximum principle [16] which is considered in sufficient form for the linear case of impulsive differential equations. Th...
M. U. Akhmet, M. Kirane, M. A. Tleubergenova, Gerh...
118
Voted
POPL
2010
ACM
15 years 12 months ago
Dependent Types from Counterexamples
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
Tachio Terauchi