3653 search results - page 317 / 731 » On Recognizable Timed Languages |
199
Voted
TOOLS
2010
IEEE
16 years 16 days ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
174
click to vote
IV
2002
IEEE
16 years 11 days ago
2002
IEEE
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...
176
Voted
ICALP
2010
Springer
16 years 8 days ago
2010
Springer
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...
186
Voted
ICALP
2010
Springer
16 years 8 days ago
2010
Springer
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...
173
click to vote
ADAEUROPE
2001
Springer
15 years 12 months ago
2001
Springer
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...