1016 search results - page 12 / 204 » Automatic Analysis of Programming Assignments |
ICDAR
1999
IEEE
13 years 11 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
13 years 8 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...
WORDS
2003
IEEE
13 years 12 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...
CAV
2006
Springer
13 years 10 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...
ICLP
2010
Springer
13 years 10 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...