Sciweavers

896 search results - page 120 / 180
» On completeness of word reversing
Sort
View
HAPTICS
2007
IEEE
15 years 6 months ago
Braille Display by Lateral Skin Deformation with the STReSS2 Tactile Transducer
Earlier work with a 1-D tactile transducer demonstrated that lateral skin deformation is sufficient to produce sensations similar to those felt when brushing a finger against a ...
Vincent Lévesque, Jérôme Pasqu...
VL
2007
IEEE
15 years 6 months ago
Evaluating an Automated Tool to Assist Evolutionary Document Generation
While using how-to documents for guidance in performing computer-based tasks, users often run into problems due to inaccurate, out-of-date and incomplete documentation. These prob...
Gahgene Gweon, Lawrence D. Bergman, Vittorio Caste...
COCO
2007
Springer
114views Algorithms» more  COCO 2007»
15 years 6 months ago
Directed Planar Reachability is in Unambiguous Log-Space
We make progress in understanding the complexity of the graph reachability problem in the context of unambiguous logarithmic space computation; a restricted form of nondeterminism....
Chris Bourke, Raghunath Tewari, N. V. Vinodchandra...
CONCUR
2007
Springer
15 years 6 months ago
Mobility Control Via Passports
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
Samuel Hym
CRYPTO
2007
Springer
145views Cryptology» more  CRYPTO 2007»
15 years 6 months ago
Chernoff-Type Direct Product Theorems
Consider a challenge-response protocol where the probability of a correct response is at least α for a legitimate user and at most β < α for an attacker. One example is a CAP...
Russell Impagliazzo, Ragesh Jaiswal, Valentine Kab...