Sciweavers

55 search results - page 6 / 11
» Weak Kernels
Sort
View
112
Voted
ISBI
2008
IEEE
16 years 3 months ago
Coupled nonparametric shape priors for segmentation of multiple basal ganglia structures
This paper presents a new method for multiple structure segmentation, using a maximum a posteriori (MAP) estimation framework, based on prior shape densities involving nonparametr...
Aytül Erçil, Gozde B. Unal, Müjda...
ICSE
2003
IEEE-ACM
16 years 2 months ago
Modular Verification of Software Components in C
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh ...
101
Voted
ISPASS
2007
IEEE
15 years 9 months ago
Performance Impact of Unaligned Memory Operations in SIMD Extensions for Video Codec Applications
—Although SIMD extensions are a cost effective way to exploit the data level parallelism present in most media applications, we will show that they had have a very limited memory...
Mauricio Alvarez, Esther Salamí, Alex Ram&i...
100
Voted
DATE
2006
IEEE
102views Hardware» more  DATE 2006»
15 years 8 months ago
Pseudorandom functional BIST for linear and nonlinear MEMS
Pseudorandom test techniques are widely used for measuring the impulse response (IR) for linear devices and Volterra kernels for nonlinear devices, especially in the acoustics dom...
Achraf Dhayni, Salvador Mir, Libor Rufer, Ahc&egra...
147
Voted
DAGM
2007
Springer
15 years 6 months ago
Greedy-Based Design of Sparse Two-Stage SVMs for Fast Classification
Cascades of classifiers constitute an important architecture for fast object detection. While boosting of simple (weak) classifiers provides an established framework, the design of...
Rezaul Karim, Martin Bergtholdt, Jörg H. Kapp...