1016 search results - page 62 / 204 » Automatic Analysis of Programming Assignments |
132
click to vote
SPIESR
2004
15 years 4 months ago
2004
The production of closed captions is an important but expensive process in video broadcasting. We propose a method to generate highly accurate off-line captions efficiently. Our s...
114
click to vote
ICPP
1996
IEEE
15 years 7 months ago
1996
IEEE
The ability to automatically parallelize standard programming languages results in program portability across a wide range of machine architectures. It is the goal of the Polaris ...
121
click to vote
ICMS
2010
15 years 1 months ago
2010
Abstract. Most optimization software performs numerical computation, in the sense that the main interest is to find numerical values to assign to the decision variables, e.g. a so...
119
click to vote
ICMB
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper discusses a personalized heart monitoring system using smart phones and wireless (bio) sensors. We combine ubiquitous computing with mobile health technology to monitor...
200
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...