3228 search results - page 474 / 646 » Computationally Sound Proofs |
151
Voted
SIGIR
2005
ACM
15 years 9 months ago
2005
ACM
We demonstrate a phonotactic-semantic paradigm for spoken document categorization. In this framework, we define a set of acoustic words instead of lexical words to represent acous...
117
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
119
Voted
IWQOS
2005
Springer
15 years 9 months ago
2005
Springer
Network coding has been recently proposed in information theory as a new dimension of the information multicast problem that helps achieve optimal transmission rate or cost. End ho...
125
Voted
NIME
2005
Springer
15 years 9 months ago
2005
Springer
Tangible Acoustic Interfaces (TAI) rely on various acousticsensing technologies, such as sound source location and acoustic imaging, to detect the position of contact of users int...
119
click to vote
NIME
2005
Springer
15 years 9 months ago
2005
Springer
An experimental study comparing different user interfaces for a virtual drum is reported. Virtual here means that the drum is not a physical object. 16 subjects played the drum on...