ITA
2002
13 years 11 months ago
2002
Abstract. Two linear numeration systems, with characteristic polynomial equal to the minimal polynomial of two Pisot numbers and respectively, such that and are multiplicatively...
ITA
2002
13 years 11 months ago
2002
It is proposed to compare strategies in a parity game by comparing the sets of behaviours they allow. For such a game, there may be no winning strategy that encompasses all the be...
ITA
2002
13 years 11 months ago
2002
Word and tree codes are studied in a common framework, that of polypodes which are sets endowed with a substitution like operation. Many examples are given and basic properties are...
ITA
2002
13 years 11 months ago
2002
NGC
2000
Springer
13 years 11 months ago
2000
Springer
NGC
2000
Springer
13 years 11 months ago
2000
Springer
With the increasing popularity of the WWW, the main challenge in computer science has become content-based retrieval of multimedia objects. Access to multimedia objects in database...
NGC
2000
Springer
13 years 11 months ago
2000
Springer
NGC
2000
Springer
13 years 11 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
ITA
2000
13 years 11 months ago
2000
ITA
2000
13 years 11 months ago
2000
The purpose of this paper is to show connections between iterated length-preserving rational transductions and linear space computations. Hence, we study the smallest family of tr...