3066 search results - page 69 / 614 » On Facilitating Automated Evaluation |
CAEPIA
2003
Springer
13 years 11 months ago
2003
Springer
CBR systems are normally used to assist experts in the resolution of problems. During the last few years, researchers have been working in the development of techniques to automate...
IJBRA
2006
13 years 7 months ago
2006
: This paper proposes a novel statistical evaluation model for automated protein NMR sequential resonance assignment. It can be bound to any assignment program and provides confide...
CADE
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
AIED
2009
Springer
14 years 2 months ago
2009
Springer
We describe an automated method to assess the expressiveness of children’s oral reading by measuring how well its prosodic contours correlate in pitch, intensity, pauses, and wor...
BPM
2009
Springer
14 years 2 months ago
2009
Springer
The effect of using automated auditing tools to detect compliance failures in unmanaged business processes is investigated. In the absence of a process execution engine, compliance...