103
Voted
ITA
2002
15 years 23 days 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...
118
Voted
ITA
2002
15 years 23 days 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...
98
Voted
ITA
2002
15 years 23 days 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...
72
Voted
ITA
2002
15 years 23 days ago
2002
NGC
2000
Springer
15 years 26 days ago
2000
Springer
115
Voted
NGC
2000
Springer
15 years 26 days 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
15 years 26 days ago
2000
Springer
110
click to vote
NGC
2000
Springer
15 years 26 days 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
15 years 27 days ago
2000
113
Voted
ITA
2000
15 years 27 days 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...