220 search results - page 13 / 44 » tcs 2008 |
TCS
2002
13 years 9 months ago
2002
Under the hypothesis that NP has positive p-dimension, we prove that any approximation algorithm A for MAX3SAT must satisfy at least one of the following:
TCS
2002
13 years 9 months ago
2002
We describe a general automata-theoretic approach for analyzing the veri
TCS
2002
13 years 9 months ago
2002
Membrane systems are models of computation which are inspired by some basic features of biological membranes. In a membrane system multisets of objects are placed in the compartme...
TCS
2002
13 years 9 months ago
2002
We show that the coding of a rotation by on m intervals can be recoded over m Sturmian words of angle . c 2002 Elsevier Science B.V. All rights reserved.
TCS
2008
13 years 9 months ago
2008
We exhibit a finite family of functions over a finite set (i.e. a finite algebra) such that the problem whether a given function can be obtained as a composition of the members of ...