1411 search results - page 70 / 283 » Interactive Coding for Interactive Proofs |
75
Voted
ICSE
2008
IEEE-ACM
16 years 17 days ago
2008
IEEE-ACM
CODECITY is a language-independent interactive 3D visualization tool for the analysis of large software systems. Using a city metaphor, it depicts classes as buildings and package...
107
click to vote
HCI
2007
15 years 1 months ago
2007
Abstract. This paper proposed a new visual tag system for enhancing realworld media interaction using handheld camera devices. This paper also described performance evaluations of ...
98
Voted
WCRE
2005
IEEE
15 years 6 months ago
2005
IEEE
— Chuck is a new code browser that allows navigation of a code base along semantic structures, such as data-flow and higher-order control-flow relationships. Employing the fast...
125
click to vote
ASSETS
2006
ACM
15 years 6 months ago
2006
ACM
The VoxBoox system makes digital books accessible to visually impaired individuals via audio and voice. It automatically translates a book published in HTML to VoiceXML, and then ...
70
Voted
PRIMA
2007
Springer
15 years 6 months ago
2007
Springer
Agent interactions where the agents hold conflicting goals could be modelled as adversarial argumentation games. In many real-life situations (e.g., criminal litigation, consumer ...