1760 search results - page 59 / 352 » A System to Mark Programs Automatically |
108
click to vote
ISM
2006
IEEE
14 years 11 months ago
2006
IEEE
We describe an automatic classroom capture system that detects and records significant (stable) points in lectures by sampling and analyzing a sequence of screen capture frames fr...
APLAS
2004
ACM
15 years 3 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
125
click to vote
ANLP
1992
15 years 1 months ago
1992
While complete understanding of arbitrary input text remains in the future, it is currently possible to construct natural language processing systems that provide a partial unders...
108
click to vote
C5
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we present a novel framework for asynchronous Web-based training. The proposed system has two distinguishing features. Firstly, it is based on P2P architecture for ...
IPPS
2002
IEEE
15 years 4 months ago
2002
IEEE
Future high-end computers will offer great performance improvements over today’s machines, enabling applications of far greater complexity. However, designers must solve the cha...