Sciweavers

3995 search results - page 410 / 799
» Linearization of hybrid processes
Sort
View
CORR
2011
Springer
207views Education» more  CORR 2011»
15 years 1 months ago
Detection of Spatial Changes using Spatial Data Mining
This paper uses the techniques of spatial data mining (SDM) and change detection (CD) in the field of geospatial information processing. Assuming the feasibility of discovering kno...
B. G. Kodge, P. S. Hiremath
TIP
2010
119views more  TIP 2010»
15 years 1 months ago
Fast Cartoon + Texture Image Filters
Abstract--Can images be decomposed into the sum of a geometric part and a textural part? In a theoretical breakthrough, [Y. Meyer, Oscillating Patterns in Image Processing and Nonl...
Antoni Buades, Triet M. Le, Jean-Michel Morel, Lum...
TSP
2010
15 years 1 months ago
A dual perspective on separable semidefinite programming with applications to optimal downlink beamforming
This paper considers the downlink beamforming optimization problem that minimizes the total transmission power subject to global shaping constraints and individual shaping constrai...
Yongwei Huang, Daniel Pérez Palomar
CVPR
2012
IEEE
13 years 9 months ago
Cross-based local multipoint filtering
This paper presents a cross-based framework of performing local multipoint filtering efficiently. We formulate the filtering process as a local multipoint regression problem, c...
Jiangbo Lu, Keyang Shi, Dongbo Min, Liang Lin, Min...
DAC
2002
ACM
16 years 7 months ago
Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
Malay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao ...