742 search results - page 55 / 149 » Considerations in Automated Marking |
IJHCI
2002
13 years 8 months ago
2002
This article describes automated tools for increasing organizational awareness within a global enterprise. The MITRE Corporation is the context for the current work, however the t...
AIMSA
1990
Springer
14 years 1 months ago
1990
Springer
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Consider partial maps Σ∗ −→ with a rational domain. We show that two families of such series are actually the same: the unambiguous rational series on the one hand, and ...
IJSEKE
2011
13 years 12 days ago
2011
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
CBMS
2006
IEEE
14 years 3 months ago
2006
IEEE
The Communications Engineering Branch of the National Library of Medicine is collaborating with the National Cancer Institute (NCI) in developing applications for medical educatio...