Sciweavers

1546 search results - page 176 / 310
» Context-Aware Computing with Sound
Sort
View
CHI
2003
ACM
16 years 6 months ago
Designing effective haptic interaction: inverted damping
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...
Jason Williams, Georg Michelitsch
POPL
2004
ACM
16 years 6 months ago
A bisimulation for dynamic sealing
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
Eijiro Sumii, Benjamin C. Pierce
RECOMB
2001
Springer
16 years 6 months ago
Applications of generalized pair hidden Markov models to alignment and gene finding problems
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...
Lior Pachter, Marina Alexandersson, Simon Cawley
ICPR
2010
IEEE
16 years 1 months ago
Bayesian Inference for Nonnegative Matrix Factor Deconvolution Models
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...
Serap Kirbiz, Ali Taylan Cemgil, Bilge Gunsel
CHI
2010
ACM
16 years 1 months ago
Learning basic dance choreographies with different augmented feedback modalities
We plan to evaluate different kinds of augmented feedback (tactile, video, sound) for learning basic dance choreographies. Therefore we develop a dance training system based on mo...
Dieter Drobny, Jan Borchers