258 search results - page 11 / 52 » Facilitating and automating empirical evaluation |
ISSTA
2010
ACM
14 years 11 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
130
click to vote
LPAR
2004
Springer
15 years 2 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...
110
click to vote
AAAI
2012
12 years 12 months ago
2012
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
104
click to vote
CVPR
2011
IEEE
14 years 1 months ago
2011
IEEE
In the square jigsaw puzzle problem one is required to reconstruct the complete image from a set of non-overlapping, unordered, square puzzle parts. Here we propose a fully automa...
GROUP
2007
ACM
15 years 1 months ago
2007
ACM
Many approaches to learning and teaching rely upon students working in groups. So far, many Computer-Supported Group Formation systems have been designed to facilitate the formati...