1411 search results - page 48 / 283 » Interactive Coding for Interactive Proofs |
USENIX
2001
14 years 10 days 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...
HPN
1992
14 years 4 days 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...
SIGCSE
1998
ACM
14 years 3 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...
VL
1997
IEEE
14 years 2 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...
ESM
1998
14 years 10 days 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...