2701 search results - page 2 / 541 » On the form of witness terms |
FSTTCS
2010
Springer
13 years 3 months ago
2010
Springer
Uniqueness of normal forms (UN= ) is an important property of term rewrite systems. UN= is decidable for ground (i.e., variable-free) systems and undecidable in general. Recently ...
PRESENCE
2008
13 years 5 months ago
2008
The current study investigated the value of using immersive virtual environment technology as a tool for assessing eyewitness identification. Participants witnessed a staged crime...
AAECC
2010
Springer
13 years 5 months ago
2010
Springer
JASIS
2002
13 years 5 months ago
2002
CRYPTO
1994
Springer
13 years 10 months ago
1994
Springer
Suppose we are given a proof of knowledge P in which a prover demonstrates that he knows a solution to a given problem instance. Suppose also that we have a secret sharing scheme S...