1411 search results - page 36 / 283 » Interactive Coding for Interactive Proofs |
ENTCS
2008
13 years 11 months ago
2008
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
Incompatibility of component interaction styles is identified as a major obstacle to interoperability when using off-the-shelf components or dealing with legacy software in compos...
ICMCS
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper describes issues and consideration on authoring of interactive multi-view visual content based on MPEG-4. The issues include types of multi-view visual content; functio...
NOSSDAV
2005
Springer
14 years 4 months ago
2005
Springer
We propose an efficient placement algorithm and per-disk prefetching method to effectively support interactive operations in the media server. Our placement policy is incorporate...
IWPC
2002
IEEE
14 years 3 months ago
2002
IEEE
While code understanding is the primary program comprehension activity, it is quite challenging to recognize the application requirements from code, since they have usually been o...