Sciweavers

1655 search results - page 235 / 331
» Stemming in the language modeling framework
Sort
View
101
Voted
AAAI
2008
15 years 3 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
90
Voted
ACL
2008
15 years 2 months ago
Joint Processing and Discriminative Training for Letter-to-Phoneme Conversion
We present a discriminative structureprediction model for the letter-to-phoneme task, a crucial step in text-to-speech processing. Our method encompasses three tasks that have bee...
Sittichai Jiampojamarn, Colin Cherry, Grzegorz Kon...
121
Voted
LREC
2010
138views Education» more  LREC 2010»
15 years 2 months ago
FOLKER: An Annotation Tool for Efficient Transcription of Natural, Multi-party Interaction
This paper presents FOLKER, an annotation tool developed for the efficient transcription of natural, multi-party interaction in a conversation analysis framework. FOLKER is being ...
Thomas Schmidt, Wilfried Schütte
95
Voted
ECIR
2006
Springer
15 years 2 months ago
Lexical Entailment for Information Retrieval
Abstract. Textual Entailment has recently been proposed as an application independent task of recognising whether the meaning of one text may be inferred from another. This is pote...
Stéphane Clinchant, Cyril Goutte, Ér...
119
Voted
JSA
2008
131views more  JSA 2008»
15 years 4 days ago
Formal verification of ASMs using MDGs
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
Amjad Gawanmeh, Sofiène Tahar, Kirsten Wint...