258 search results - page 11 / 52 » Facilitating and automating empirical evaluation |
ISSTA
2010
ACM
13 years 9 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...
LPAR
2004
Springer
14 years 22 days 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 ...
AAAI
2012
11 years 9 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 ...
CVPR
2011
IEEE
12 years 11 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
13 years 11 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...