1760 search results - page 59 / 352 » A System to Mark Programs Automatically |
137
Voted
ISM
2006
IEEE
15 years 2 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...
119
Voted
APLAS
2004
ACM
15 years 6 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 ...
150
Voted
ANLP
1992
15 years 3 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...
130
Voted
C5
2005
IEEE
15 years 8 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 ...
103
Voted
IPPS
2002
IEEE
15 years 7 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...