220 search results - page 15 / 44 » tcs 2008 |
TCS
2002
13 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
13 years 9 months ago
2002
A threshold counter is a shared data structure that assumes integer values. It provides two operations:Increment changesthe current counter value from v to v
TCS
2002
13 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
13 years 9 months ago
2002
In this paper we present two non-standard-type inference systems for conjunctive strictness and totality analyses of higher-order-typed functional programs and prove completeness ...
TCS
2002
13 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...