1411 search results - page 98 / 283 » Interactive Coding for Interactive Proofs |
COST
2008
Springer
15 years 18 hour ago
2008
Springer
This paper presents a study on multimodal conversation analysis of Greek TV interviews. Specifically, we examine the type of facial, hand and body gestures and their respective com...
121
click to vote
CHI
2009
ACM
14 years 11 months ago
2009
ACM
In this paper, we discuss the potential for effective representations of video data to aid analysis of large datasets of video clips and describe a prototype developed to explore ...
94
Voted
IJHPCA
2007
14 years 10 months ago
2007
This paper presents a design and implementation of a system that leverages interactive scripting environment to the needs of scientific computing. The system allows seamless tran...
ENTCS
2002
14 years 10 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
SIGSOFT
2008
ACM
15 years 11 months ago
2008
ACM
Modern Web 2.0 applications, such as GMail, Live Maps, Facebook and many others, use a combination of Dynamic HTML, JavaScript and other Web browser technologies commonly referred...