1546 search results - page 214 / 310 » Context-Aware Computing with Sound |
155
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 2 days ago
2009
ACM
Auditory display research for driving has mainly focused on collision warning signals, and recent studies on auditory invehicle information presentation have examined only a limit...
149
click to vote
GW
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, we introduce some exploratory ideas and applications involving the gestural control of sonic textures. Three examples of how the gestural control of synthe...
145
click to vote
ICDCS
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we focus on automated techniques to enhance the fault-tolerance of a nonmasking fault-tolerant program to masking. A masking program continually satisfies its spec...
189
click to vote
TLCA
1997
Springer
15 years 9 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
130
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: The use of novel algorithmic techniques is pivotal to many important problems in life science. For example the sequencing of the human genome [1] would not have been p...