1411 search results - page 19 / 283 » Interactive Coding for Interactive Proofs |
SOFTVIS
2010
ACM
13 years 11 months ago
2010
ACM
When software developers work with a program's source code, the structure of the source code often requires that they split their attention simultaneously across several docu...
IASTEDSEA
2004
14 years 9 days ago
2004
Software engineering is hampered by the fact that software systems quickly become so complex that they are hard to understand, evolve and maintain. Closer integration of code and ...
ICDCSW
2005
IEEE
14 years 4 months ago
2005
IEEE
We present a set of graphical user interface elements, called widgets, for 2-dimensional visual codes. The proposed widgets are suitable for printing on paper as well as showing o...
MMSP
2008
IEEE
14 years 5 months ago
2008
IEEE
—While most multiview coding techniques focus on compressing all frames in a multiview video sequence in a ratedistortion optimal manner, in this paper we address the problem of ...
ICMCS
2008
IEEE
14 years 5 months ago
2008
IEEE
Highly interactive real-time music applications like network music performance (NMP) currently lack appropriate audio codecs that meet both demands for low delay and high audio qu...