Sciweavers

2449 search results - page 58 / 490
» Tensor Embedding Methods
Sort
View
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
14 years 2 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
TSP
2010
13 years 3 months ago
Methods for sparse signal recovery using Kalman filtering with embedded pseudo-measurement norms and quasi-norms
We present two simple methods for recovering sparse signals from a series of noisy observations. The theory of compressed sensing (CS) requires solving a convex constrained minimiz...
Avishy Carmi, Pini Gurfil, Dimitri Kanevsky
ICIP
2001
IEEE
14 years 10 months ago
Study of embedded font context and kernel space methods for improved videotext recognition
Videotext refers to text superimposed on video frames. A videotext based Multimedia Description Scheme has recently been adopted into the MPEG-7 standard. A study of published wor...
Chitra Dorai, Hrishikesh Aradhye, Jae-Chang Shim
ESTIMEDIA
2008
Springer
13 years 10 months ago
Parallelization of belief propagation method on embedded multicore processors for stereo vision
Markov random field models provide a robust formulation of low-level vision problems. Among the problems, stereo vision remains the most investigated field. The belief propagation...
Chi-Hua Lai, Kun-Yuan Hsieh, Shang-Hon Lai, Jenq K...
DAC
2000
ACM
14 years 9 months ago
Efficient methods for embedded system design space exploration
Harry Hsieh, Felice Balarin, Luciano Lavagno, Albe...