2651 search results - page 436 / 531 » Experiences with the Use of a Configuration Language |
103
click to vote
SIGCSE
2008
ACM
14 years 11 months ago
2008
ACM
Novices find it difficult to understand and use compiler error messages. It is useful to refine this observation and study the effect of different message styles on how well and q...
TASLP
2008
14 years 11 months ago
2008
Abstract-- Traditional methods of spoken utterance classification (SUC) adopt two independently trained phases. In the first phase, an automatic speech recognition (ASR) module ret...
103
click to vote
JAIR
2007
14 years 11 months ago
2007
Wikipedia provides a semantic network for computing semantic relatedness in a more structured fashion than a search engine and with more coverage than WordNet. We present experime...
100
click to vote
IEEECIT
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper, we describe experiments into the application of term weighting techniques from text retrieval to support the automatic identification of significant locations from ...
116
click to vote
TAP
2010
Springer
14 years 9 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...