3424 search results - page 371 / 685 » Automated Testing of Classes |
183
click to vote
EDM
2009
15 years 4 months ago
2009
Students in introductory programming classes often articulate their questions and information needs incompletely. Consequently, the automatic classification of student questions to...
206
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
186
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes an agent-based platform for the allocation of loads in distributed transportation logistics, developed as a collaboration between CWI, Dutch National Center f...
193
click to vote
SCFBM
2008
15 years 6 months ago
2008
Background: Biological imaging is an emerging field, covering a wide range of applications in biological and clinical research. However, while machinery for automated experimentin...
239
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...