3690 search results - page 45 / 738 » Computation with classical sequents |
TCS
2002
14 years 9 months ago
2002
In this article, we consider unsupervised learning from the point of view of applying neural computation on signal and data analysis problems. The article is an introductory surve...
ASM
2005
ASM
15 years 3 months ago
2005
ASM
Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of...
AAAI
2006
14 years 11 months ago
2006
Computational humor is a challenge with implications for many classical fields in AI such as, for example, natural language processing, intelligent human-computer interaction, rea...
TCC
2005
Springer
15 years 3 months ago
2005
Springer
For computationally bounded adversarial models of error, we construct appealingly simple, efficient, cryptographic encoding and unique decoding schemes whose error-correction capab...
JAT
2010
14 years 8 months ago
2010
We give a bivariate analog of the Micchelli-Rivlin quadrature for computing the integral of a function over the unit disk using its Radon projections. AMS subject classification:...