3228 search results - page 324 / 646 » Computationally Sound Proofs |
125
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Shake2Talk is a mobile messaging system that allows users to send sounds and tactile sensations to one another via their mobile phones. Messages are created through gestures and t...
CHI
2006
ACM
16 years 4 months ago
2006
ACM
This paper illustrates work undertaken on the MultiVis project to allow visually impaired users both to construct and browse mathematical graphs effectively. We start by discussin...
CHI
2003
ACM
16 years 4 months ago
2003
ACM
In this paper, we describe a new force-feedback technique termed "inverted damping", which aids users in manually selecting specific items from within a range of possibl...
126
click to vote
RECOMB
2001
Springer
16 years 4 months ago
2001
Springer
Hidden Markov models (HMMs) have been successfully applied to a variety of problems in molecular biology, ranging from alignment problems to gene nding and annotation. Alignment p...
128
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper we develop a probabilistic interpretation and a full Bayesian inference for non-negative matrix deconvolution (NMFD) model. Our ultimate goal is unsupervised extract...