3228 search results - page 474 / 646 » Computationally Sound Proofs |
188
click to vote
SIGIR
2005
ACM
16 years 2 days 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...
154
click to vote
FOSSACS
2005
Springer
16 years 1 days 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...
168
click to vote
IWQOS
2005
Springer
16 years 14 hour 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...
167
click to vote
NIME
2005
Springer
16 years 9 hour 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...
158
click to vote
NIME
2005
Springer
16 years 8 hour 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...