1743 search results - page 74 / 349 » Generalized Modal Satisfiability |
104
click to vote
JLP
2006
15 years 19 days ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
91
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Very large interactive wall displays do not lend themselves to use with traditional interaction modalities such as mice and keyboards. It is necessary that we develop new interact...
90
Voted
CHI
2005
ACM
16 years 1 months ago
2005
ACM
This paper describes a novel approach to improve blind and visually impaired people's access to the Web by using a content-aware Web browser plug-in coupled with audio and ha...
113
Voted
CHI
2004
ACM
16 years 1 months ago
2004
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech, gesture and eye gaze tracking. The flexibility they offer results in ...
91
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
A cord, although simple in form, has many interesting physical affordances that make it powerful as an input device. Not only can a length of cord be grasped in different location...