1016 search results - page 71 / 204 » Automatic Analysis of Programming Assignments |
133
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: An important problem in genomics is the automatic inference of groups of homologous proteins from pairwise sequence similarities. Several approaches have been proposed...
120
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: The expressed sequence tag (EST) methodology is an attractive option for the generation of sequence data for species for which no completely sequenced genome is availa...
114
click to vote
PASTE
2010
ACM
15 years 7 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
129
Voted
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more efficient data flo...
126
Voted
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...