147 search results - page 8 / 30 » Expressive typing: a new way to sense typing pressure and it... |
LREC
2008
13 years 9 months ago
2008
Notwithstanding its acknowledged richness, the SIMPLE semantic model does not offer the representational vocabulary for encoding some conceptual links holding between events and t...
PLDI
2003
ACM
14 years 24 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
CADE
2001
Springer
14 years 7 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
ISM
2006
IEEE
14 years 1 months ago
2006
IEEE
We propose a hydraulic user interface consisting of an array of spray jets and the appropriate fluid sensing and fluid flow control systems for each jet, so that the device fun...
BCSHCI
2009
13 years 8 months ago
2009
This paper presents a comparative analysis of group interaction around two display types, shared and individual, using a `new media' arts application as a way to explore the ...