1016 search results - page 62 / 204 » Automatic Analysis of Programming Assignments |
114
click to vote
SPIESR
2004
15 years 2 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...
97
Voted
ICPP
1996
IEEE
15 years 5 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 ...
97
Voted
ICMS
2010
14 years 11 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...
108
Voted
ICMB
2006
IEEE
15 years 7 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...
184
Voted
POPL
2005
ACM
16 years 1 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...