3066 search results - page 226 / 614 » On Facilitating Automated Evaluation |
182
click to vote
ECIR
2003
Springer
15 years 8 months ago
2003
Springer
This paper describes a new method for the classification of a HTML document into a hierarchy of categories. The hierarchy of categories is involved in all phases of automated docum...
191
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is abl...
159
click to vote
GIS
2008
ACM
15 years 7 months ago
2008
ACM
This paper introduces an ant-based colony system for the representation of a verbal route description. It is grounded on a natural metaphor that mimics the behavior of ant colonie...
193
click to vote
JAR
2006
15 years 7 months ago
2006
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...
166
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
The most popular model used in automatic speech recognition is the hidden Markov model (HMM). Though good performance has been obtained with such models there are well known limit...