2586 search results - page 72 / 518 » Automatic Abstraction for Congruences |
TASLP
2002
14 years 9 months ago
2002
Abstract--In this paper, we report on the performance of automatic speech recognition (ASR) systems on voicemail transcription. Voicemail is spontaneous telephone speech recorded o...
PCM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. The semantic contextual information is shown to be an important resource for improving the scene and image recognition, but is seldom explored in the literature of previo...
TAL
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. This paper describes experiments to extract discourse relations holding between two text spans in Swedish. We considered three relation types: cause-explanation-evidence ...
100
click to vote
MICCAI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Even with the recent advances in multidetector computed tomography (MDCT) imaging techniques, detection of calcified coronary lesions remains a highly tedious task. Noise...
106
click to vote
FAC
2010
14 years 7 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...