58 search results - page 8 / 12 » Satisfiability and Computing van der Waerden Numbers |
CGF
2008
14 years 9 months ago
2008
Color is widely used in data visualization to show data values. The proper selection of colors is critical to convey information correctly. In this paper, we present a technique f...
CCGRID
2008
IEEE
15 years 4 months ago
2008
IEEE
—The application and research area of Multimedia Content Analysis (MMCA) considers all aspects of the automated extraction of new knowledge from large multimedia data streams and...
WAOA
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We consider a Stackelberg pricing problem in directed networks. Tariffs have to be defined by an operator, the leader, for a subset of the arcs, the tariff arcs. Clien...
113
Voted
PE
2007
Springer
14 years 9 months ago
2007
Springer
Grid computing is an emerging technology by which huge numbers of processors over the world create a global source of processing power. Their collaboration makes it possible to pe...
89
Voted
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...