740 search results - page 6 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
UIST
2000
ACM
13 years 11 months ago
2000
ACM
Because of its promise of natural interaction, recognition is coming into its own as a mainstream technology for use with computers. Both commercial and research applications are ...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
The synthesis of facial expression with control of intensity and personal styles is important in intelligent and affective human-computer interaction, especially in face-to-face i...
PPOPP
1993
ACM
13 years 11 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...
MMM
2012
Springer
12 years 2 months ago
2012
Springer
Abstract. The paper presents a new approach on an omni-directional omnistereo multi-camera system that allows the recording of panoramic 3D video with high resolution and quality a...
TABLETOP
2006
IEEE
14 years 1 months ago
2006
IEEE
Tabletops have been used to support a range of colocated activities, from games to image sorting. However, their limited display space and resolution can restrict the kinds of col...