Sciweavers

3825 search results - page 352 / 765
» The Language of Time: A Reader
Sort
View
IV
2002
IEEE
95views Visualization» more  IV 2002»
15 years 11 months ago
Visualising Human Dialog
Human dialogue is so complex that definitively analysing patterns of conversation may well be impossible. Within a conversation, all the complexities and ambiguities of natural la...
Annie Tat, M. Sheelagh T. Carpendale
ICALP
2010
Springer
15 years 11 months ago
Mean-Payoff Games and Propositional Proofs
We associate a CNF-formula to every instance of the mean-payoff game problem in such a way that if the value of the game is non-negative the formula is satisfiable, and if the va...
Albert Atserias, Elitza N. Maneva
ICALP
2010
Springer
15 years 11 months ago
Inapproximability of Hypergraph Vertex Cover and Applications to Scheduling Problems
Assuming the Unique Games Conjecture (UGC), we show optimal inapproximability results for two classic scheduling problems. We obtain a hardness of 2 − ε for the problem of mini...
Nikhil Bansal, Subhash Khot
150
Voted
ADAEUROPE
2001
Springer
15 years 11 months ago
Building Modern Distributed Systems
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...
Laurent Pautet, Thomas Quinot, Samuel Tardieu
ICALP
2001
Springer
15 years 11 months ago
Testing Hypergraph Coloring
In this paper we initiate the study of testing properties of hypergraphs. The goal of property testing is to distinguish between the case whether a given object has a certain prope...
Artur Czumaj, Christian Sohler