1546 search results - page 112 / 310 » Context-Aware Computing with Sound |
140
click to vote
IWFM
2003
15 years 6 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
159
click to vote
IEEEICCI
2008
IEEE
15 years 11 months 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...
144
Voted
CCS
2010
ACM
15 years 5 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...
114
click to vote
LFP
1992
15 years 6 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...
160
click to vote
CSL
2010
Springer
15 years 5 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...