3228 search results - page 57 / 646 » Computationally Sound Proofs |
CHI
2008
ACM
14 years 9 months ago
2008
ACM
CSL
2009
Springer
14 years 3 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
SG
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Multi-modal capabilities can be added to a simulation system in order to enhance data comprehension. We describe a system for adding sonification capabilities to a real-...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
In this video we present a special guitar that combines physical acoustic properties with virtual capabilities. A wooden resonator - a unique, replaceable piece of wood that gives...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
We developed two visual displays for providing awareness of environmental audio to deaf individuals. Based on fieldwork with deaf and hearing participants, we focused on supportin...