1016 search results - page 67 / 204 » Automatic Analysis of Programming Assignments |
156
click to vote
ICMT
2009
Springer
15 years 9 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
93
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Orthology is one of the cornerstones of gene function prediction. Dividing the phylogenetic relations between genes into either orthologs or paralogs is however an ove...
102
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
160
click to vote
RTA
2010
Springer
15 years 6 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
105
Voted
IJBI
2010
14 years 9 months ago
2010
Size Functions and Support Vector Machines are used to implement a new automatic classifier of melanocytic lesions. This is mainly based on a qualitative assessment of asymmetry, ...