3228 search results - page 105 / 646 » Computationally Sound Proofs |
FOCS
2002
IEEE
14 years 1 months ago
2002
IEEE
We show new lower bounds and impossibility results for general (possibly non-black-box) zero-knowledge proofs and arguments. Our main results are that, under reasonable complexity...
CIE
2006
Springer
14 years 20 days ago
2006
Springer
Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notio...
IROS
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper proposes a computational model for phoneme acquisition by infants. Human infants perceive speech sounds not as discrete phoneme sequences but as continuous acoustic ...
NIME
2005
Springer
14 years 2 months ago
2005
Springer
The Self-Contained Unified Bass Augmenter (SCUBA) is a new augmentative OSC (Open Sound Control) [5] controller for the tuba. SCUBA adds new expressive possibilities to the existi...
BCSHCI
2008
13 years 10 months ago
2008
This paper presents an exploratory study exploring the potential of audio recording as a form of sentimental memory capture. Drawing on data from four family households, we spotli...