Sciweavers

TCS
2008
13 years 4 months ago
Finding a minimum medial axis of a discrete shape is NP-hard
The medial axis is a classical representation of digital objects widely used in many applications. However, such a set of balls may not be optimal: subsets of the medial axis may ...
David Coeurjolly, Jérôme Hulin, Isabe...
TCS
2008
13 years 4 months ago
The supercover of an m-flat is a discrete analytical object
The aim of this paper is to show that the supercover of an m-flat (i.e. a Euclidean affine subspace of dimension m) in Euclidean n-space is a discrete analytical object. The super...
Eric Andres
TCS
2008
13 years 4 months ago
Reconstruction of convex lattice sets from tomographic projections in quartic time
Filling operations are procedures which are used in Discrete Tomography for the reconstruction of lattice sets having some convexity constraints. Many algorithms have been publish...
Sara Brunetti, Alain Daurat
TCS
2008
13 years 4 months ago
Fine hierarchies and m-reducibilities in theoretical computer science
This is a survey of results about versions of fine hierarchies and many-one reducibilities that appear in different parts of theoretical computer science. These notions and relate...
Victor L. Selivanov
TCS
2008
13 years 4 months ago
Static space-times naturally lead to quasi-pseudometrics
The standard 4-dimensional Minkowski space-time of special relativity is based on the 3-dimensional Euclidean metric. In 1967, H. Busemann showed that similar static space-time mo...
Hans-Peter A. Künzi, Vladik Kreinovich
TCS
2008
13 years 4 months ago
Information systems revisited - the general continuous case
In this paper a new notion of continuous information system is introduced. It is shown that the information systems of this kind generate exactly the continuous domains. The new i...
Dieter Spreen, Luoshan Xu, Xuxin Mao
TCS
2008
13 years 4 months ago
Kernel methods for learning languages
This paper studies a novel paradigm for learning formal languages from positive and negative examples which consists of mapping strings to an appropriate highdimensional feature s...
Leonid Kontorovich, Corinna Cortes, Mehryar Mohri
TCS
2008
13 years 4 months ago
Automatic generation of path conditions for concurrent timed systems
Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros...