Biblioteca Digital

119 resultados para Automatic theorem proving

Spectral methods for automatic multiscale data clustering

Relevância:

20.00% 20.00%

Publicador:

Toward automatic bloodspatter analysis in crime scenes

Relevância:

20.00% 20.00%

Publicador:

Automatic cost estimation of injection-moulded components using medial object transformation technology feature recognition

Relevância:

20.00% 20.00%

Publicador:

Automatic transcription of Czech, Russian, and Slovak spontaneous speech in the MALACH project

Relevância:

20.00% 20.00%

Publicador:

Uncertainty decoding for noise robust automatic speech recognition

Relevância:

20.00% 20.00%

Publicador:

Likelihood models for template matching using the PDF projection theorem

Relevância:

20.00% 20.00%

Publicador:

Automatic model complexity control and compression using discriminative growth functions

Relevância:

20.00% 20.00%

Publicador:

Predictive automatic relevance determination by expectation propagation

Relevância:

20.00% 20.00%

Publicador:

Generating and evaluating segmentations for automatic speech recognition of conversational telephone speech

Relevância:

20.00% 20.00%

Publicador:

Towards automatic transcription of spontaneous Czech speech in the MALACH project

Relevância:

20.00% 20.00%

Publicador:

The use of a formal optimisation procedure in automatic parameter extraction of power semiconductor devices

Relevância:

20.00% 20.00%

Publicador:

Minimum Bayes-risk automatic speech recognition

Relevância:

20.00% 20.00%

Publicador:

Automatic transcription of conversational telephone speech: development of the CU-HTK 2002 system

Relevância:

20.00% 20.00%

Publicador:

An automatic design optimisation system for axial compressors. Part II: Experimental validation

Relevância:

20.00% 20.00%

Publicador:

An automatic design optimisation system for axial compressors. Part I: software development

Relevância:

20.00% 20.00%

Publicador:

«
1
2
3
4
5
6
7
8
»