1016 search results - page 139 / 204 » Automatic Analysis of Programming Assignments |
113
Voted
CLA
2007
15 years 4 months ago
2007
This paper presents SearchSleuth, a program developed to experiment with a form of automatic local analysis that extends the standard Web search interface to include a conceptual n...
120
click to vote
TCAD
2008
15 years 2 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
125
Voted
LRE
2010
14 years 9 months ago
2010
We propose a method for automatically identifying individual instances of English verb-particle constructions (VPCs) in raw text. Our method employs the RASP parser and analysis of...
128
Voted
ICML
2004
IEEE
16 years 3 months ago
2004
IEEE
Markov networks are extensively used to model complex sequential, spatial, and relational interactions in fields as diverse as image processing, natural language analysis, and bio...
117
click to vote
CC
2004
Springer
15 years 8 months ago
2004
Springer
An important issue in embedded systems design is the size of programs. As computing devices decrease in size, yet with more and more functions, better code size optimizations are i...