3228 search results - page 409 / 646 » Computationally Sound Proofs |
102
Voted
CHI
2004
ACM
16 years 4 months ago
2004
ACM
Musical feedback can aid in learning to move properly, for example in physical therapy, sports medicine, or training. By appropriately instrumenting the body to detect the correct...
127
Voted
CHI
2003
ACM
16 years 4 months ago
2003
ACM
Mobile and wearable computers present input/output problems due to limited screen space and interaction techniques. When mobile, users typically focus their visual attention on na...
154
Voted
MM
2009
ACM
15 years 10 months ago
2009
ACM
The following paper presents a novel audio-visual approach for unsupervised speaker locationing. Using recordings from a single, low-resolution room overview camera and a single f...
153
Voted
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
102
Voted
ICCSA
2005
Springer
15 years 9 months ago
2005
Springer
Cryo-electron microscopy has recently been recognized as a useful alternative to obtain three-dimensional density maps of macromolecular complexes, especially when crystallography ...