Sciweavers

8 search results - page 2 / 2
» ita 2002
Sort
View
ITA
2002
163views Communications» more  ITA 2002»
14 years 9 months ago
Permissive strategies: from parity games to safety games
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...
Julien Bernet, David Janin, Igor Walukiewicz
ITA
2002
14 years 9 months ago
Density of Critical Factorizations
Abstract. We investigate the density of critical factorizations of infinte sequences of words. The density of critical factorizations of a word is the ratio between the number of p...
Tero Harju, Dirk Nowotka
ACSC
2002
IEEE
15 years 3 months ago
Intelligent Agents for Automated One-to-Many e-Commerce Negotiation
Negotiation is a process in which two or more parties with different criteria, constraints, and preferences, jointly reach an agreement on the terms of a transaction. Many current...
Iyad Rahwan, Ryszard Kowalczyk, H. H. Pham