Sciweavers

3825 search results - page 352 / 765
» The Language of Time: A Reader
Sort
View
IV
2002
IEEE
95views Visualization» more  IV 2002»
16 years 13 days 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
177
Voted
ICALP
2010
Springer
16 years 9 days 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
188
Voted
ICALP
2010
Springer
16 years 9 days 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
ADAEUROPE
2001
Springer
16 years 1 days 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
16 years 3 hour 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