742 search results - page 55 / 149 » Considerations in Automated Marking |
92
Voted
IJHCI
2002
14 years 10 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...
72
Voted
AIMSA
1990
Springer
15 years 3 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
14 years 11 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 ...
81
Voted
IJSEKE
2011
14 years 2 months 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...
77
Voted
CBMS
2006
IEEE
15 years 5 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...