3228 search results - page 409 / 646 » Computationally Sound Proofs |
136
click to vote
CHI
2004
ACM
16 years 7 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...
164
click to vote
CHI
2003
ACM
16 years 7 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...
210
click to vote
MM
2009
ACM
16 years 1 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...
208
click to vote
LICS
2007
IEEE
16 years 27 days 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...
147
click to vote
ICCSA
2005
Springer
16 years 4 days 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 ...