3066 search results - page 70 / 614 » On Facilitating Automated Evaluation |
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Automation of transportation systems and promotion of the operations are becoming an international demand on seaport container terminals. For this issue, we propose an ...
ICSM
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a human–guided automated approach to refactoring object oriented programs to the aspect oriented paradigm. The approach is based upon the iterative applicati...
PRICAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
IWC
2006
13 years 7 months ago
2006
This paper identifies a number of factors involved in current practices of usability testing and presents profiles for three prototype methods: think-aloud, subjective ratings, an...
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrit...