742 search results - page 61 / 149 » Considerations in Automated Marking |
FPL
2004
Springer
14 years 3 months ago
2004
Springer
Many System-on-a-Chip devices would benefit from the inclusion of reprogrammable logic on the silicon die, as it can add general computing ability, provide run -time reconfigurabil...
LPAR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
SEMWEB
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We have seen an increasing amount of interest in the application of Semantic Web technologies to Web services. The aim is to support automated discovery and composition o...
ILP
2003
Springer
14 years 3 months ago
2003
Springer
Propositionalization has already been shown to be a particularly promising approach for robustly and effectively handling relational data sets for knowledge discovery. In this pap...
PRIB
2009
Springer
14 years 2 months ago
2009
Springer
Protein-protein interaction (PPI) identification is an integral component of many biomedical research and database curation tools. Automation of this task through classification ...