1016 search results - page 12 / 204 » Automatic Analysis of Programming Assignments |
105
Voted
ICDAR
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper concerns a study of information content in postal address fields for automatic address interpretation. Information provided by a combination of address components and i...
EMNLP
2006
15 years 2 months ago
2006
This paper proposes an unsupervised lexicon building method for the detection of polar clauses, which convey positive or negative aspects in a specific domain. The lexical entries...
130
Voted
WORDS
2003
IEEE
15 years 6 months ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
90
Voted
CAV
2006
Springer
15 years 4 months ago
2006
Springer
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation rogram's heap. We first describe how an abstrac...
113
Voted
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...