1016 search results - page 92 / 204 » Automatic Analysis of Programming Assignments |
94
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Successful application of crosslinking combined with mass spectrometry for studying proteins and protein complexes requires specifically-designed crosslinking reagents...
143
Voted
ENVSOFT
2006
15 years 3 months ago
2006
Nestedness is a property of binary matrices of ecological data and quantified by the matrix's temperature, T. The program widely used to calculate T is Nestedness Temperature...
114
Voted
ICMCS
2009
IEEE
15 years 1 months ago
2009
IEEE
Automatic labeling of chords in original audio recordings is challenging due to heavy acoustic overlay by melody and percussion sections, detuning and arpeggios that demand for a ...
120
Voted
PASTE
2004
ACM
15 years 9 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
113
Voted
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...