JCSS
2011
13 years 3 months ago
2011
JCSS
2011
13 years 7 months ago
2011
JCSS
2011
13 years 7 months ago
2011
Abstract. We show how to represent an interval of real numbers in an abstract numeration system built on a language that is not necessarily regular. As an application, we consider ...
JCSS
2011
13 years 7 months ago
2011
JCSS
2011
13 years 7 months ago
2011
JCSS
2011
13 years 7 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
JCSS
2011
13 years 7 months ago
2011
The bandwidth of an n-vertex graph G is the minimum value b such that the vertices of G can be mapped to distinct integer points on a line without any edge being stretched to a di...
JCSS
2011
13 years 7 months ago
2011
JCSS
2011
13 years 7 months ago
2011
JCSS
2011
13 years 7 months ago
2011
For any class C closed under TC0 reductions, and for any measure u of uniformity containing Dlogtime, it is shown that all sets complete for C under u-uniform AC0 reductions are i...