Sciweavers

6800 search results - page 832 / 1360
» Testing with Functions as Specifications
Sort
View
COLING
2010
15 years 1 months ago
Discriminative Training for Near-Synonym Substitution
Near-synonyms are useful knowledge resources for many natural language applications such as query expansion for information retrieval (IR) and paraphrasing for text generation. Ho...
Liang-Chih Yu, Hsiu-Min Shih, Yu-Ling Lai, Jui-Fen...
253
Voted
IFIP
2010
Springer
15 years 1 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
IJNSEC
2010
151views more  IJNSEC 2010»
15 years 1 months ago
Performance Evaluation of Mobility Speed over MANET Routing Protocols
Ad-hoc networking is a concept in computer communications. Each node participating in the network acts both as host and a router and must therefore is willing to forward packets f...
Yasser Kamal Hassan, Mohamed Hashim Abd El-Aziz, A...
INTERSPEECH
2010
15 years 1 months ago
Landmark-based automated pronunciation error detection
We present a pronunciation error detection method for second language learners of English (L2 learners). The method is a combination of confidence scoring and landmark-based Suppo...
Su-Youn Yoon, Mark Hasegawa-Johnson, Richard Sproa...
INTERSPEECH
2010
15 years 1 months ago
Topic and style-adapted language modeling for Thai broadcast news ASR
The amount of available Thai broadcast news transcribed text for training a language model is still very limited, comparing to other major languages. Since the construction of a b...
Markpong Jongtaveesataporn, Sadaoki Furui