3228 search results - page 65 / 646 » Computationally Sound Proofs |
ACMDIS
2004
ACM
14 years 18 days ago
2004
ACM
This paper describes the usage of a force feedback steering wheel interface in sound environments focusing on the example of sound.toy. Sound.toy is a student's project for c...
CADE
2009
Springer
14 years 9 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
In the Special Moment project we prototype and evaluate the design of interfaces for casual sound recording devices. These devices are envisioned to be used by a casual user to ca...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
Two hundred and fifty years ago the Japanese Zen master Hakuin asked the question, "What is the Sound of the Single Hand?" This koan has long served as an aid to meditat...