Sciweavers

7393 search results - page 357 / 1479
» Synthesis-for-testability using transformations
Sort
View
160
Voted
BIOCOMP
2009
15 years 2 months ago
Simulating Spatial Partial Differential Equations with Cellular Automata
Abstract-- Spatial partial differential equations are commonly used to describe systems of biological entities, such as patterns created by desert vegetation and biovermiculation g...
Brian Strader, Keith E. Schubert, Ernesto Gomez, J...
GI
2009
Springer
15 years 2 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz
ICASSP
2009
IEEE
15 years 2 months ago
Phoneme cluster based state mapping for text-independent voice conversion
This paper takes phonetic information into account for data alignment in text-independent voice conversion. Hidden Markov Models are used for representing the phonetic structure o...
Meng Zhang, Jiaohua Tao, Jani Nurminen, Jilei Tian...
ICIP
2005
IEEE
16 years 6 months ago
Coarse-level object recognition using interlevel products of complex wavelets
This paper introduces the Interlevel Product (ILP) which is a transform based upon the Dual-Tree Complex Wavelet. Coefficients of the ILP have complex values whose magnitudes indi...
Ryan Anderson, Nick G. Kingsbury, Julien Fauqueur

Publication
265views
16 years 2 months ago
Effective 2D-3D Medical Image Registration using Support Vector Machine
Registration of pre-operative 3D volume dataset and intra-operative 2D images gradually becomes an important technique to assist radiologists in diagnosing complicated diseases. In...
Wenyuan Qi, Lixu Gu