1411 search results - page 48 / 283 » Interactive Coding for Interactive Proofs |
USENIX
2001
15 years 1 months ago
2001
Simultaneous editing is a new method for automating repetitive text editing. After describing a set of regions to edit (the records), the user can edit any one record and see equi...
91
Voted
HPN
1992
15 years 1 months ago
1992
Multimediacommunication,with its strong requirementsfor high speed, assured quality, and reliable networking, is stimulating a great research e ort towards the development of real...
88
Voted
SIGCSE
1998
ACM
15 years 4 months ago
1998
ACM
Programs that use animations or visualizations attract student interest and offer feedback that can enhance different learning styles as students work to master programming and pr...
119
Voted
VL
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper shows how language technologies such as the automatic generation of parsers for analyzing user actions and visual parsing can be applied to build a flexible tool specia...
114
Voted
ESM
1998
15 years 1 months ago
1998
Bandwidth consumption in distributed real-time simulation, or networked real-time simulation, is a major problem as the number of participants and the sophistication of joint simu...