2935 search results - page 195 / 587 » An Integrated Approach to High Integrity Software Verificati... |
222
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper combines a parameter generation algorithm and a model optimization approach with the model-integration-based voice conversion (MIVC). We have proposed probabilistic int...
150
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Component-based reuse is a hopeful solution to the software crisis. Research on software architecture (SA) has revealed a component-based vision of the gross structure of software...
149
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
174
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
As the technology node progresses, thermal problems are becoming more prominent especially in the developing technology of three-dimensional (3D) integrated circuits. The thermal ...
176
click to vote
CSDA
2006
15 years 6 months ago
2006
We propose a simulation-based method for calculating maximum likelihood estimators in latent variable models. The proposed method integrates a recently developed sampling strategy...