2701 search results - page 2 / 541 » On the form of witness terms |
106
click to vote
FSTTCS
2010
Springer
14 years 9 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 ...
111
click to vote
PRESENCE
2008
14 years 11 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
14 years 12 months ago
2010
Springer
60
Voted
JASIS
2002
14 years 11 months ago
2002
CRYPTO
1994
Springer
15 years 3 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...