Sciweavers

3995 search results - page 223 / 799
» Linearization of hybrid processes
Sort
View
CATA
2003
15 years 6 months ago
Implementation and Performance Evaluation of Intel VTUNE Image Processing Functions in the MATLAB Environment
Many current general purpose processors use extensions to the instruction set architecture to enhance the performance of digital image processing and multimedia applications. In t...
Phaisit Chewputtanagul, David Jeff Jackson, Kennet...
150
Voted
TSP
2010
14 years 11 months ago
Algebraic signal processing theory: sampling for infinite and finite 1-D space
We derive a signal processing framework, called space signal processing, that parallels time signal processing. As such, it comes in four versions (continuous/discrete, infinite/fi...
Jelena Kovacevic, Markus Püschel
FSTTCS
2006
Springer
15 years 8 months ago
On Decidability of LTL Model Checking for Process Rewrite Systems
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
Laura Bozzelli, Mojmír Kretínsk&yacu...
150
Voted
AUTOMATICA
2007
97views more  AUTOMATICA 2007»
15 years 4 months ago
Control of dynamic keyhole welding process
Weld joint penetration control is a basic research topic in the welding research community. The authors propose using an innovative plasma arc welding process referred to as the q...
Y. M. Zhang, Y. C. Liu
ICASSP
2011
IEEE
14 years 8 months ago
Synthesis filter bank optimization with lattice structure constraints in 2D separable image processing
In one-dimensional signal processing, the perfect reconstruction (PR) synthesis FB is not unique for a given analysis LP oversampled filter bank (FB). Optimal Design methods have...
Li Chai, Yuxia Sheng, Jingxin Zhang