1016 search results - page 10 / 204 » Automatic Analysis of Programming Assignments |
WLP
2004
Springer
14 years 1 days ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
TGC
2007
Springer
14 years 25 days ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
AAAI
1990
13 years 7 months ago
1990
Identifying the regularities underlying speaker decisions to emphasize or de-emphasize an item intonationally has long been the subject of speculation and controversy. This paper ...
JMM2
2007
13 years 6 months ago
2007
— This paper presents an assignment scheme to control multiple Pan/Tilt (PT) cameras for 3D video of a moving object. The system combines static wide field of view (FOV) cameras...
CAV
2011
Springer
12 years 10 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...