3228 search results - page 162 / 646 » Computationally Sound Proofs |
188
click to vote
IEEEICCI
2008
IEEE
16 years 28 days ago
2008
IEEE
—A new abstract model of computation, the computational manifold, provides a framework for approaching the problems of consciousness, awareness, cognition and symbolic processing...
172
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Computational Indistinguishability Logic (CIL) is a logic for reasoning about cryptographic primitives in computational models. It captures reasoning patterns that are common in p...
140
click to vote
LFP
1992
15 years 7 months ago
1992
We propose a syntactic approach to performing fixed point computation on finite domains. Finding fixed points in finite domains for monotonic functions is an essential task when c...
181
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
A conventional automatic speech recognizer does not perform well in the presence of multiple sound sources, while human listeners are able to segregate and recognize a signal of i...
150
click to vote
IJON
2008
15 years 6 months ago
2008
A computational model of the peripheral auditory system is used to explain the paradoxical observation that discriminating between broadband noise sounds with and without high-fre...