220 search results - page 13 / 44 » tcs 2008 |
TCS
2002
14 years 11 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
14 years 11 months ago
2002
We describe a general automata-theoretic approach for analyzing the veri
TCS
2002
14 years 11 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
14 years 11 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
14 years 12 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 ...