1411 search results - page 83 / 283 » Interactive Coding for Interactive Proofs |
87
Voted
UIST
1996
ACM
15 years 4 months ago
1996
ACM
This paper presents XXL, a new interactive development system for building user interfaces which is based on the concept of textual and visual equivalence. XXL includes an interac...
108
Voted
ACMIDC
2009
15 years 3 months ago
2009
We propose simple tangible language elements for very young children to use when constructing programmes. The equivalent Turtle Talk instructions are given for comparison. Two exa...
138
Voted
ASE
2004
15 years 12 days ago
2004
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
129
Voted
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
Improving coding and spatial pooling for bag-of-words based feature design have gained a lot of attention in recent works addressing object recognition and scene classification. ...
154
click to vote
ECEASST
2010
14 years 10 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...