5525 search results - page 758 / 1105 » Verification of Model Transformations |
163
click to vote
PAMI
2006
15 years 6 months ago
2006
We describe an algorithm for context-based segmentation of visual data. New frames in an image sequence (video) are segmented based on the prior segmentation of earlier frames in ...
155
click to vote
IVC
2007
15 years 6 months ago
2007
This paper tackles the problem of the computation of a planar polygonal curve from a digital planar curve, such that the digital data can be exactly retrieved from the polygonal c...
175
click to vote
ANSOFT
2002
15 years 6 months ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
161
Voted
NN
1998
Springer
15 years 6 months ago
1998
Springer
The cusp bifurcation provides one of the simplest routes leading to bistability and hysteresis in neuron dynamics. We show that weakly connected networks of neurons near cusp bifu...
165
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper introduces a HMM-based speech synthesis system which uses a new method for the Separation of Vocal-tract and LiljencrantsFant model plus Noise (SVLN). The glottal sourc...