3228 search results - page 68 / 646 » Computationally Sound Proofs |
CHI
2004
ACM
14 years 9 months ago
2004
ACM
Aphasia is a cognitive disorder that impairs speech and language. From interviews with aphasic individuals, their caregivers, and speech-language pathologists, the need was identi...
ACMACE
2005
ACM
14 years 2 months ago
2005
ACM
We examine the role of sound design in pervasive mobile games. As a case study, we present the sound design and evaluation of a working prototype game called The Songs of North. A...
ICCHP
2010
Springer
14 years 1 months ago
2010
Springer
Crossing an urban traffic intersection is one of the most dangerous activities of a blind or visually impaired person's travel. Building on past work by the authors on the iss...
AAAI
2008
13 years 11 months ago
2008
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
ISVD
2007
IEEE
14 years 3 months ago
2007
IEEE
We introduce the use of weighted medial graph structures to represent sounds and musical events. Such structures permit the building of hierarchical neighborhood relationships (sy...