61 search results - page 6 / 13 » tcs 2002 |
TCS
2002
14 years 9 months ago
2002
We describe a general automata-theoretic approach for analyzing the veri
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...
TCS
2002
14 years 9 months ago
2002
We discuss several complexity measures for Boolean functions: certi cate complexity, sensitivity, block sensitivity, and the degree of a representing or approximating polynomial. ...
TCS
2002
14 years 9 months ago
2002
Streams are acyclic directed subgraphs of the logical ow graph of a proof representing bundles of paths with the same origin and the same end. The notion of stream is used to desc...
TCS
2002
14 years 9 months ago
2002
The first example of an absolutely normal number was given by Sierpinski in 1916, twenty years before the concept of computability was formalized. In this note we give a recursive...