742 search results - page 8 / 149 » Considerations in Automated Marking |
BMCBI
2010
13 years 7 months ago
2010
Background: Data generated using `omics' technologies are characterized by high dimensionality, where the number of features measured per subject vastly exceeds the number of...
DAC
2007
ACM
14 years 8 months ago
2007
ACM
Thermal problems and limitations on interlayer via densities are important design constraints on three-dimensional integrated circuits (3D ICs), and need to be considered during g...
TSD
2000
Springer
13 years 11 months ago
2000
Springer
stic and Automated Analysis of Texts Applied to a Scientific Abstract by Mark Sergot and Others . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...
JSS
2010
13 years 6 months ago
2010
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...